Audrey Jardin

Orcid: 0000-0003-4511-2017

According to our database1, Audrey Jardin authored at least 10 papers between 2006 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Model-Based Engineering Methodology for Stakeholders Coordination of Multienergy Cyber-Physical Systems.
IEEE Syst. J., 2022

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
Requir. Eng., 2022

2019
A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems.
Proceedings of the 2019 IEEE International Systems Conference, 2019

Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts.
Proceedings of the 2019 Summer Simulation Conference, 2019

Robust Calibration of Complex ThermosysPro Models using Data Assimilation Techniques: Application on the Secondary System of a Pressurized Water Reactor.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2018
ETL: A new temporal language for the verification of cyber-physical systems.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2016
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2012
Structural analysis by bond graph approach: duality between causal and bicausal procedures.
J. Syst. Control. Eng., 2012

2009
Optimal control problem in bond graph formalism.
Simul. Model. Pract. Theory, 2009

2006
A new kind of training for obstetric residents: simulator training.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006


  Loading...