Login
- 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
Vorkommen:
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenFachgebietMeßtechnik, Steuerungs- und Regelungstechnik, Automation
- mediaTUM GesamtbestandHochschulbibliographie2023Schools und FakultätenTUM School of Engineering and DesignLehrstuhl für Cyber-Physical Systems in Production Engineering (Prof. Caccamo)