This dissertation provides efficient (data-driven) techniques to design highly-reliable stochastic hybrid systems with mathematical guarantees by bringing together interdisciplinary concepts from control theory, formal methods in computer science, and data science. In particular, my PhD dissertation develops different (compositional) approaches including (i) discretization-based techniques based on (in)finite abstractions, (ii) discretization-free techniques based on control barrier certificates, and (iii) model-free techniques based on data-driven control.
«
This dissertation provides efficient (data-driven) techniques to design highly-reliable stochastic hybrid systems with mathematical guarantees by bringing together interdisciplinary concepts from control theory, formal methods in computer science, and data science. In particular, my PhD dissertation develops different (compositional) approaches including (i) discretization-based techniques based on (in)finite abstractions, (ii) discretization-free techniques based on control barrier certificates...
»
Translated abstract:
Diese Dissertation stellt effiziente (datengesteuerte) Techniken zum Entwurf hochzuverlässiger stochastischer Hybridsysteme mit mathematischen Garantien bereit, indem Konzepte aus der Regelungstheorie, formalen Methoden der Informatik und der Datenwissenschaft verwendet werden. Meine Doktorarbeit schlägt (i) diskretisierungsbasierte Techniken basierend auf (un)endlichen Abstraktionen, (ii) diskretisierungsfreie Techniken basierend auf Kontrollbarrierenzertifikaten und (iii) modellfreie Techniken basierend auf datengetriebener Kontrolle vor.
«
Diese Dissertation stellt effiziente (datengesteuerte) Techniken zum Entwurf hochzuverlässiger stochastischer Hybridsysteme mit mathematischen Garantien bereit, indem Konzepte aus der Regelungstheorie, formalen Methoden der Informatik und der Datenwissenschaft verwendet werden. Meine Doktorarbeit schlägt (i) diskretisierungsbasierte Techniken basierend auf (un)endlichen Abstraktionen, (ii) diskretisierungsfreie Techniken basierend auf Kontrollbarrierenzertifikaten und (iii) modellfreie Techniken...
»