PhD Comprehensive Exam | Yinan Li, Control Synthesis for Dynamical Systems with Linear Temporal Logic Specifications

MC 6460

Candidate

Yinan Li
Applied Mathematics, University of Waterloo

Title

Control Synthesis for Dynamical Systems with Linear Temporal Logic Specifications

Abstract

There is an increasing demand on control synthesis for dynamical systems with rich specifications in recent years. Examples include traffic control, motion planning, and control of power networks. Apart from conventional stabilization requirements, linear-time properties, such as safety, reachability, liveness and fairness, are more suitable for specifying the control objectives for such systems. To cope with the difficulties arising from complex system dynamics and specifications, the proposed research focuses on computer-aided control design for dynamical systems with linear-time specifications. This talk will present some ongoing research on abstraction-based and specification-guided control synthesis. The control design methods will be illustrated with examples drawn from different applications.