MetadatenVerfasserangaben: | Florian KerberORCiD, Arjan van der Schaft |
---|
DOI: | https://doi.org/10.3182/20090916-3-ES-3003.00057 |
---|
Identifier: | 978-3-902661-59-3 Katalogsuche |
---|
Identifier: | 1474-6670 Katalogsuche |
---|
Titel des übergeordneten Werkes (Englisch): | IFAC Proceedings Volumes: 3rd IFAC Conference on Analysis and Design of Hybrid Systems |
---|
Dokumentart: | Konferenzveröffentlichung |
---|
Sprache: | Englisch |
---|
Datum der Veröffentlichung (online): | 29.03.2010 |
---|
Jahr der Erstveröffentlichung: | 2009 |
---|
Datum der Freischaltung: | 31.05.2023 |
---|
Freies Schlagwort / Tag: | assume-guarantee reasoning; compositional Reasoning; simulation relations; switching linear systems |
---|
Jahrgang: | 42 |
---|
Ausgabe / Heft: | 2009,17 |
---|
Erste Seite: | 328 |
---|
Letzte Seite: | 333 |
---|
Bemerkung: | Beitrag: 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spanien, 16.09.2009 - 17.09.2009 |
---|
Bemerkung: | 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. |
---|
Fakultät: | Fakultät für Elektrotechnik |
---|
DDC-Klassifikation: | 6 Technik, Medizin, angewandte Wissenschaften / 60 Technik |
---|
DFG-Fachsystematik: | Ingenieurwissenschaften / Informatik, System- und Elektrotechnik / Elektrotechnik und Informationstechnik |
---|
Lizenz (Deutsch): | gemäß dem Veröffentlichungsvertrag nach dem deutschen Urheberrecht (UrhG) |
---|
Lizenz (Deutsch): | sonstige freie Lizenz (s. Bemerkung) |
---|
Begutachtungsstatus: | peer-reviewed |
---|
Frontdoor-URL: | https://opus4.kobv.de/opus4-hs-augsburg/1073 |
---|