Compositional Analysis for Linear Control Systems
Verfasserangaben: | Florian KerberORCiD, Arjan van der Schaft |
---|---|
DOI: | https://doi.org/10.1145/1755952.1755957 |
Identifier: | 978-1-60558-955-8 Katalogsuche |
Titel des übergeordneten Werkes (Englisch): | HSCC '10: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control |
Verlag: | Association for Computing Machinery |
Verlagsort: | New York |
Dokumentart: | Konferenzveröffentlichung |
Sprache: | Englisch |
Datum der Veröffentlichung (online): | 12.04.2010 |
Jahr der Erstveröffentlichung: | 2010 |
Datum der Freischaltung: | 31.05.2023 |
Freies Schlagwort / Tag: | assume-guarantee reasoning; compositional reasoning; linear systems; simulation relations |
Erste Seite: | 21 |
Letzte Seite: | 30 |
Bemerkung: | Beitrag: HSCC’10, Stockholm, Schweden, 12.04.2010 – 15.04.2010 |
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): | ![]() |
Begutachtungsstatus: | peer-reviewed |
Frontdoor-URL: | https://opus4.kobv.de/opus4-hs-augsburg/1071 |