Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Übersetzter Titel:
Formale Methoden zur Abschottung von Controllern in Cyber-Physical Systems
Autor:
Zhong, Bingzhuo
Jahr:
2023
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Betreuer:
Caccamo, Marco (Prof. Dr.)
Gutachter:
Caccamo, Marco (Prof. Dr.); Zamani, Majid (Prof. Dr.); Arcak, Murat (Prof. Dr.)
Sprache:
en
Fachgebiet:
MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
TU-Systematik:
DAT 260
Kurzfassung:
This dissertation is motivated by the growing demand for deploying high-performance but unverified controllers, especially those developed using artificial intelligence (AI) techniques, in safety-critical Cyber-Physical Systems (CPS). Specifically, by utilizing formal methods, a correct-by-construction control architecture called Safe-visor architecture is designed to sandbox unverified controllers and provide system-level safety guarantees for CPS.
Übersetzte Kurzfassung:
Motivation dieser Dissertation ist die steigende Nachfrage nach hochleistungsfähigen, aber unverifizierten Controllern, insbesondere auf Basis künstlicher Intelligenz (KI), in sicherheitskritischen Cyber-Physical Systems (CPS). Mit formalen Methoden wird eine korrekte-durch-Konstruktion-Steuerungsarchitektur, genannt Safe-visor architecture, entworfen, um nicht verifizierte Controller abzuschotten und systemweite Sicherheitsgarantien für CPS zu gewährleisten.
WWW:
https://mediatum.ub.tum.de/?id=1704680
Eingereicht am:
26.04.2023
Mündliche Prüfung:
17.07.2023
Dateigröße:
14984761 bytes
Seiten:
212
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20230717-1704680-1-7
Letzte Änderung:
11.08.2023
 BibTeX