skip to main content
Caltech

Mechanical and Civil Engineering Seminar

Thursday, May 7, 2020
11:00am to 12:00pm
Add to Cal
Online Event
Fast and Guaranteed Safe Controller Synthesis for Dynamical Systems
Chuchu Fan, Dr., Department of Computing and Mathematical Sciences, California Institute of Technology,

*Connection details for this online presentation will be posted when available.

A single design defect can wreak havoc across thousands of deployed instances of autonomous systems or cyber-physical systems (CPS) such as self-driving cars and drones. Rigorous approaches based on controller synthesis can generate correct-by-construction controllers that guarantee that the system under control meets some higher-level tasks. By reducing designing and testing cycles, synthesis can help create safe autonomous systems that involve complex interactions of dynamics and decision logic. In general, however, synthesis problems are known to have high computational complexity for high dimensional and nonlinear systems. In this talk, I will present new synthesis algorithms that suggest that these challenges can be overcome and that rigorous approaches are indeed promising. Our synthesized controllers consist of a reference trajectory and a tracking controller which drives the system's state towards the reference. The key idea of our approach relies on symbolic sensitivity analysis to decouple the synthesis of reference and tracking controllers. Our overall algorithms guarantee that the resulting controller can make sure every trajectory from the initial set of the system satisfies the given reach-avoid requirement. Finally, I will discuss successful applications in autonomous driving scenarios to show the power of these methods for solving challenging problems.

For more information, please contact Carolina Oseguera by phone at (626) 395-4271 or by email at [email protected].