• Treffer 36 von 38
Zurück zur Trefferliste

Compositional and Assume-Guarantee Reasoning for Switching Linear Systems

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar frontdoor_oas
Metadaten
Verfasserangaben: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):License Logogemäß dem Veröffentlichungsvertrag nach dem deutschen Urheberrecht (UrhG)
Lizenz (Deutsch):License Logosonstige freie Lizenz (s. Bemerkung)
Begutachtungsstatus:peer-reviewed
Frontdoor-URL:https://opus4.kobv.de/opus4-hs-augsburg/1073
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.