Assume-Guarantee Reasoning for Linear Dynamical Systems
Verfasserangaben: | Florian KerberORCiD, Arjan van der Schaft |
---|---|
DOI: | https://doi.org/10.23919/ECC.2009.7075195 |
Identifier: | 978-3-9524173-9-3 Katalogsuche |
Titel des übergeordneten Werkes (Englisch): | 2009 European Control Conference (ECC) |
Verlag: | IEEE |
Dokumentart: | Konferenzveröffentlichung |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2009 |
Datum der Freischaltung: | 31.05.2023 |
Freies Schlagwort / Tag: | Europe; cognition; decision support systems; power capacitors |
Erste Seite: | 5015 |
Letzte Seite: | 5020 |
Bemerkung: | Beitrag: European Control Conference (ECC 2009), Budapest, Ungarn, 23.08.2009 – 26.08.2009 |
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/1072 |