Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Timothy Wang
,
Romain Jobredeaux
,
Heber Herencia
,
Pierre-Loïc Garoche
,
Arnaud Dieumegard
,
Éric Feron
,
Marc Pantel
January 2016
DOI
Type
Book section
Publication
Advances in Control System Technology for Aerospace Applications
own
Related
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems
Formal Analysis of Robustness at Model and Code Level
Credible Autocoding of Convex Optimization Algorithms
Formal Verification of Critical Aerospace Software
Certificate-carrying modular compilation
Cite
×