Applied Mathematics Seminar——Synthesis and Design Optimization of Robotic Systems from Temporal Logic Specifications
Abstract: Rigorous approaches based on formal synthesis can generate correct-by-construction plans and controllers. 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, nonlinear systems and complex high-level tasks. In this talk, I will present some new synthesis and robust design optimization approaches that suggest that these challenges can be overcome and that rigorous approaches are indeed promising.
Bio: Dr. Chuchu Fan is an Assistant Professor in AeroAstro and LIDS at MIT. Before that, she was a postdoc researcher at Caltech and got her Ph.D. from the Electrical and Computer Engineering Department at the University of Illinois at Urbana-Champaign. Her group, Realm at MIT, works on using rigorous mathematics, including formal methods, machine learning, and control theory, to design, analyze, and verify safe autonomous systems. She is the winner of multiple awards, including the ACM Doctoral Dissertation Award.
加入 Zoom 会议