KIT | KIT-Bibliothek | Impressum | Datenschutz

Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime

Camilli, Matteo; Mirandola, Raffaela 1; Scandurra, Patrizia
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1145/3584364
Scopus
Zitationen: 5
Web of Science
Zitationen: 4
Dimensions
Zitationen: 5
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsdatum 30.09.2023
Sprache Englisch
Identifikator ISSN: 1556-4665, 1556-4703
KITopen-ID: 1000174766
Erschienen in ACM Transactions on Autonomous and Adaptive Systems
Verlag Association for Computing Machinery (ACM)
Band 18
Heft 3
Seiten 32 S.
Vorab online veröffentlicht am 20.09.2023
Nachgewiesen in Web of Science
Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page