Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Girard, Antoine
add a person with the name Girard, Antoine
 

Other publications of authors with the same name

SpaceEx: Scalable Verification of Hybrid Systems., , , , , , , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 379-395. Springer, (2011)A symbolic approach to voltage stability and power sharing in time-varying DC microgrids., , , and . ECC, page 903-909. IEEE, (2019)Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis., and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 215-228. Springer, (2008)Reachability Analysis of Nonlinear Systems Using Conservative Approximation ., , and . HSCC, volume 2623 of Lecture Notes in Computer Science, page 20-35. Springer, (2003)Formal Controller Synthesis from Hybrid Programs., and . HSCC, page 271-272. ACM, (2018)Symbolic control of monotone systems application to ventilation regulation in buildings., , and . HSCC, page 281-282. ACM, (2015)On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance., , and . ECC, page 435-440. IEEE, (2018)Safety control, a quantitative approach., and . ADHS, volume 51 of IFAC-PapersOnLine, page 187-192. Elsevier, (2018)Safety control with performance guarantees of cooperative systems using compositional abstractions., , and . ADHS, volume 48 of IFAC-PapersOnLine, page 317-322. Elsevier, (2015)Lyapunov functions for switched linear hyperbolic systems., , and . ADHS, volume 45 of IFAC Proceedings Volumes, page 382-387. Elsevier, (2012)