Formal requirements modeling for simulation-based verification M Otter, N Thuy, D Bouskela, L Buffoni, H Elmqvist, P Fritzson, A Garro, ... | 45 | 2015 |
Contribution à une méthodologie de dimensionnement des systèmes mécatroniques: analyse structurelle et couplage à l'optimisation dynamique A Jardin INSA de Lyon, 2010 | 37 | 2010 |
Formal requirements modeling for cyber-physical systems engineering: An integrated solution based on FORM-L and Modelica D Bouskela, A Falcone, A Garro, A Jardin, M Otter, N Thuy, A Tundis Requirements Engineering 27 (1), 1-30, 2022 | 29 | 2022 |
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution A Garro, A Tundis, D Bouskela, A Jardin, N Thuy, M Otter, L Buffoni, ... 2016 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2016 | 28 | 2016 |
Modelling of system properties in a Modelica framework A Jardin, D Bouskela, T Nguyen, N Ruel, E Thomas, L Chastanet, ... | 21 | 2011 |
ETL: A new temporal language for the verification of cyber-physical systems D Bouskela, A Jardin 2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018 | 16 | 2018 |
Toward a rigorous approach for verifying cyber-physical systems against requirements D Bouskela, T Nguyen, A Jardin Canadian Journal of Electrical and Computer Engineering 40 (2), 66-73, 2017 | 16 | 2017 |
Optimal control problem in bond graph formalism O Mouhib, A Jardin, W Marquis-Favre, E Bideaux, D Thomasset Simulation Modelling Practice and Theory 17 (1), 240-256, 2009 | 16 | 2009 |
A new kind of training for obstetric residents: simulator training R Moreau, A Jardin, MT Pham, T Redarce, O Olaby, O Dupuis 2006 International Conference of the IEEE Engineering in Medicine and …, 2006 | 14 | 2006 |
Modelling of uncertainties with Modelica D Bouskela, A Jardin, Z Benjelloun-Touimi, P Aronsson, P Fritzson | 13 | 2011 |
A survey on systems engineering methodologies for large multi-energy cyber-physical systems E Azzouzi, A Jardin, D Bouskela, F Mhenni, JY Choley 2019 IEEE international systems conference (SysCon), 1-8, 2019 | 11 | 2019 |
Study of a sizing methodology and a modelica code generator for the bond graph tool ms1 A Jardin, W Marquis-Favre, D Thomasset, F Guillemard, F Lorenz MODELICA, 125-134, 2008 | 9 | 2008 |
Bond graph pour la conception de systèmes mécatroniques W Marquis-Favre, A Jardin Editions TI| Techniques de l'Ingénieur, 2011 | 7 | 2011 |
Bond graphs and inverse modeling for mechatronic system design W Marquis-Favre, A Jardin Bond Graph Modelling of Engineering Systems: Theory, Applications and …, 2011 | 7 | 2011 |
Bond graph sizing of mechatronic systems: Coupling of inverse modelling with dynamic optimization A Jardin, W Marquis-Favre, D Thomasset MATHMOD, 1929-1938, 2009 | 6 | 2009 |
A medical simulator for subcutaneous contraceptive implant insertion A Jardin, MT Pham, A Mallet, T Redarce, O Dupuis Medical engineering & physics 30 (9), 1134-1142, 2008 | 6 | 2008 |
Use of structural analysis in a bond graph-based methodology for sizing mechatronic systems A Jardin, M El Feki, W Marquis-Favre, D Thomasset, E Bideaux MECATRONICS, paper 224, 2008 | 6 | 2008 |
Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts M Bouquerel, E Kremers, J van der Kamp, N Thuy, A Jardin Proceedings of the 2019 Summer Simulation Conference, 1-12, 2019 | 5 | 2019 |
Determination of essential orders from a bond graph model M El Feki, A Jardin, W Marquis-Favre, L Krähenbühl, E Bideaux, ... Journal of dynamic systems, measurement, and control 134 (6), 061006, 2012 | 5 | 2012 |
Structural analysis by bond graph approach: duality between causal and bicausal procedures M El Feki, A Jardin, W Marquis-Favre, L Krähenbühl, D Thomasset Proceedings of the Institution of Mechanical Engineers, Part I: Journal of …, 2012 | 4 | 2012 |