TY - CONF A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Compositional and Assume-Guarantee Reasoning for Switching Linear Systems T2 - IFAC Proceedings Volumes: 3rd IFAC Conference on Analysis and Design of Hybrid Systems KW - switching linear systems KW - simulation relations KW - compositional Reasoning KW - assume-guarantee reasoning Y1 - 2010 UR - https://opus4.kobv.de/opus4-hs-augsburg/frontdoor/index/index/docId/1073 SN - 978-3-902661-59-3 SN - 1474-6670 N1 - Beitrag: 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spanien, 16.09.2009 - 17.09.2009 N1 - The Copyright of articles submitted to IFAC before October 1, 2019, belongs to IFAC. The full text of these articles is publicly available on ScienceDirect. VL - 42 IS - 2009,17 SP - 328 EP - 333 ER -