Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Assalé Adjé
,
Pierre-Loïc Garoche
January 2017
Type
Conference paper
Publication
Journées PGMO (programme Gaspard Monge pour l'optimisation)
abstractonly
own
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
×