KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Verification of Switched Systems Using Hybrid Identification

Schwab, Stefan 1; Holzmüller, Bernd; Hohmann, Sören 1
1 Institut für Regelungs- und Steuerungssysteme (IRS), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-51738-4_7
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2017
Sprache Englisch
Identifikator ISBN: 978-3-319-51737-7
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000066963
Erschienen in Cyber Physical Systems : Design, Modeling, and Evaluation. 6th International Workshop, Pittsburgh, PA, October 6, 2016. Ed.: C. Berger
Verlag Springer International Publishing
Seiten 87–100
Serie Lecture Notes in Computer Science ; 10107
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page