The Semantics of Hybrid Systems team is part of U2IS at ENSTA ParisTech.

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.

ssh group