Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial Systems
Victor Magron
,
Didier Henrion
,
Pierre-Loic Garoche
,
Xavier Thirioux
January 2017
Cite
Type
Conference paper
Publication
SIAM Conference on Applied Algebraic Geometry, July 31st – August 4th 2017, Atlanta, GA, USA
"abstractonly"
"own"
Didier Henrion
Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University
Xavier Thirioux
Professor at ISAE-Supaero
Related
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems
Certificate-carrying modular compilation
Verification of aircraft controller: from process-based certification to product-based certification
Credible autocoding of convex optimization algorithms
Cite
×