The Hybrid Systems group is conduct research in formal methods for modelling (continuous and combinatorial), analysis (stability, safety, reachability) and supervisory control of hybrid systems. The aim is to develop software tools for automatic validation and control synthesis. The focus of the group is on industrial applications such as heating/refrigeration systems, power plant control, climate control, aerospace, etc

 

The activities within the group can roughly be divided into three different groups:

• Modelling and theoretical aspects of switched dynamical systems
• Control of hybrid systems
• Space Applications

 

The three subgroups are having regular meetings, and the entire groups meet approximately once a month, where different topics of common interest are presented and discussed.