User: Guest  Login
Original title:
Secure-by-Construction Synthesis of Cyber-Physical Systems
Translated title:
Sicherheit-durch-Konstruktion Synthese von cyber-physischen Systemen
Author:
Liu, Siyuan
Year:
2022
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Advisor:
Buss, Martin (Prof. Dr.)
Referee:
Buss, Martin (Prof. Dr.); Zamani, Majid (Prof. Dr.); Dimarogonas, Dimos V. (Prof. Dr.)
Language:
en
Subject group:
ELT Elektrotechnik
TUM classification:
MSR 600
Abstract:
This dissertation is motivated by the ever-increasing safety and security challenges arising in the analysis and synthesis of large-scale cyber-physical systems (CPS). CPS are the technological backbone of the increasingly interconnected and smart world where design fault or security vulnerability can be catastrophic. We advocate a paradigm shift in the development of safe and secure CPS by proposing a secure-by-construction controller synthesis scheme by considering privacy properties simultane...     »
Translated abstract:
Die vorliegende Dissertation ist motiviert durch die kontinuierlich wachsenden Herausforderungen in-puncto Sicherheit, die bei der Analyse und Synthese von großen cyber-physischen Systemen (CPS) auftreten. CPS sind das technologische Rückgrat einer zunehmend vernetzten und intelligenten Welt, in der Designfehler oder Sicherheitslücken katastrophale Folgen haben können. Indem wir ein Verfahren zur Synthese von Controllern nach dem Prinzip Sicherheit-durch-Konstruktion vorschlagen, plädieren wir f...     »
WWW:
https://mediatum.ub.tum.de/?id=1651390
Date of submission:
12.04.2022
Oral examination:
26.09.2022
File size:
7274887 bytes
Pages:
171
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20220926-1651390-1-5
Last change:
18.11.2022
 BibTeX