A Design Framework for Concurrent Hybrid System Controllers with Safety and Stability Annotations

Werner Damm and Eike Möhlmann and Astrid Rakow
We present an assume guarantee framework for hybrid systems which implements design principles tailored for loosely coupled controllers of safety critical applications. To bridge the gap between design and implementation level, the framework takes into account signal latencies and potential loss of coordination messages between controllers on a common plant. Safety as well as stability properties of a controller can be derived compositionally from its subcomponents. Industrial applications usually require safety and stability properties.