Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsdatum | 04.05.2022 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-4503-9196-2 KITopen-ID: 1000174208 |
Erschienen in | HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control |
Veranstaltung | 25th ACM International Conference on Hybrid Systems: Computation and Control (2022), Mailand, Italien, 04.05.2022 – 06.05.2022 |
Verlag | Association for Computing Machinery (ACM) |
Seiten | 1–11 |
Schlagwörter | switched system stability, loop invariants, differential dynamic logic |
Nachgewiesen in | Scopus Dimensions |