Principal Investigator
|
Project Title
| Efficient synthesis of hybrid control systems |
|---|
Brief Description for General Publications
Hybrid control systems are mathematical models of heterogeneous systems consisting of digital components interacting in real-time with continuous processes. Typical applications emerge from software based logic control of biological, chemical or physical processes. This project addresses various methods for the computationally efficient design of hybrid control systems. In particular, we aim for the systematic synthesis of digital control software that when interconnected with the continuous process enforces given performance specifications. The computational resources of the Supercomputer Facility will be used for extensive case studies, with the aim of demonstrating the practical relevance of our research. |