Control and Computation Project

The goal of this project is to develop new methods for designing controllers for complex and heterogeneous systems that exhibit both discrete and continuous dynamics. Such systems are called hybrid systems and some of their properties have been studied in recent years by both control and computer scientists. The methodology to be developed in this project will combine classical control techniques (adapted to the hybrid setting) with new reachability-based methods inspired by the verification of discrete systems. In order to maintain a healthy balance between theory and practice, several industrial case-studies will be investigated and serve as points of reference for the project.