Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Assalé Adjé
,
Pierre-Loic Garoche
January 2017
Cite
Type
Conference paper
Publication
Journées PGMO (programme Gaspard Monge pour l’optimisation)
"abstractonly"
"own"
Assalé Adjé
Associate Professor at Univ. of Perpignan
Related
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial 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
×