Research Projects
Safe-visor Architecture for Safety-critical CPS
Make AI trustworthy through sandboxing
In this project, I propose a Safe-visor Architecture for sandboxing arbitary types of unverified controllers (e.g., AI-based controllers) to provide a system level safety guarantee for safety critial Cyber-Physical Systems.
Model-based Controller Synthesis
Towards correct-by-construction embedded controllers
In this project, I investigate both abstraction-based and abstraction-free approaches for synthesizing correct-by-construction controllers against high-level logical properties, such as \(\omega\)-regular properties, over systems with continuous state and input sets.
Data-driven Controller Synthesis
Achieve formal safety guarantees from data
In this project, I investigate how to synthesize correct-by-construction controllers directly based on data collected from the black-box systems with continuous state and input sets.