• Treffer 54 von 120
Zurück zur Trefferliste

Compositional Analysis for Linear Control Systems

Metadaten exportieren

Weitere Dienste

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