@techreportreport/ATR/DammMR2016, Author = {Werner Damm and Eike Möhlmann and Astrid Rakow}, Title = {A Design Framework for Concurrent Hybrid System Controllers with Safety and Stability Annotations}, Year = {2016}, Number = {105}, Url = {http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_105.pdf}, Institution = {SFB/TR 14 AVACS}, type = {techreport}, note = {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 ac}, Abstract = {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.} @COMMENTBibtex file generated on