Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Formal Analysis of Robustness at Model and Code Level
Timothy Wang
,
Pierre-Loic Garoche
,
Pierre Roux
,
Romain Jobredeaux
,
Eric Feron
January 2016
Type
Conference paper
Publication
19th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'16, Vienna, Austria, April 12-14, 2016
own
Related
Credible Autocoding of Convex Optimization Algorithms
Closed Loop Analysis of Control Command Software
Compilation Of Synchronous Observers As Code Contracts
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Synthesizing Modular Invariants for Synchronous Code
Cite
×