Automated Verification of Switched Systems Using Hybrid Identification
| 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 | Dimensions Scopus |