Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
Paul Rousse
,
Pierre-Loic Garoche
,
Didier Henrion
January 2019
Cite
Type
Conference paper
Publication
European Control Conference ECC'19, Naples, Italy
"own"
Paul Rousse
Engineer at Airbus UpNext
Didier Henrion
Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University
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
×