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 Reachability Sets for Discrete-time Polynomial Systems
Pierre-Loic Garoche
,
Didier Henrion
,
Victor Magron
,
Xavier Thirioux
January 2016
Cite
Type
Conference paper
Publication
Journées MODE Mathématiques de l’Optimisation et de la DEcision de la SMAI Société de Mathématiques Appliquées et Industrielles
"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 Reachable 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
×