KIT | KIT-Bibliothek | Impressum

Automated Verification of Switched Systems Using Hybrid Identification

Schwab, Stefan; Holzmüller, Bernd; Hohmann, Sören



Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator DOI: 10.1007/978-3-319-51738-4_7
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, Cham
Seiten 87–100
Serie Lecture Notes in Computer Science ; 10107
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page