The Semantics of Hybrid Systems team is part of U2IS at ENSTA Paris member of IP Paris.
This group focuses on defining new methods to model, analyze, verify, and synthezise hybrid systems or, more generally, Cyber-Physical Systems. Real-life applications are also considered through an important involvement in the developpement of Robotic plateforms.
(Jan 2023) From left to right: Alexandre Chapoutot, Clément Yver, Danil Berrah, Caroline Pascal, Julien Alexandre dit Sandretto, Elena Ivanova, Thibault toralba, François Pessaux, David Brellmann, Goran Frehse (missing on the picture Gwendal Priser).
(Oct. 2018) From left to right: Thibault Toralba, Alexandre Chapoutot, Julien Alexandre dit Sandretto, Olivier Mullier, Goran Frehse, François Pessaux.