Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Timothy Wang
,
Romain Jobredeaux
,
Heber Herencia
,
Pierre-Loic Garoche
,
Arnaud Dieumegard
,
Eric Feron
,
Marc Pantel
January 2016
Cite
DOI
Type
Book section
Publication
Advances in Control System Technology for Aerospace Applications
"own"
Eric Feron
Professor at KAUST (on leave from Georgia Tech)
Related
Towards proved formal specification and verification of STL operators as synchronous observers
CoCoSim: an automated analysis framework for Simulink/Stateflow
A Continuation Method for Computation of H $ınfty$ Gains of Linear Continuous Time Periodic Systems
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
Bridging the Gap Between Requirements and Simulink Model Analysis
Cite
×