Hybrid Systems Group
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.