Applied Mathematics, University of Waterloo
Control Synthesis for Dynamical Systems with Linear Temporal Logic Specifications
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.