University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

PhD Comprehensive Exam | Yinan Li, Control Synthesis for Dynamical Systems with Linear Temporal Logic SpecificationsExport this event to calendar

Tuesday, July 4, 2017 — 10:00 AM EDT

MC 6460<--break-><--break->

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.

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2021 (28)
    1. September (1)
    2. August (2)
    3. July (1)
    4. June (3)
    5. May (3)
    6. April (7)
    7. March (1)
    8. February (5)
    9. January (5)
  2. 2020 (31)
    1. September (1)
    2. June (2)
    3. May (10)
    4. April (2)
    5. March (6)
    6. February (4)
    7. January (6)
  3. 2019 (86)
  4. 2018 (70)
  5. 2017 (72)
  6. 2016 (76)
  7. 2015 (77)
  8. 2014 (67)
  9. 2013 (49)
  10. 2012 (19)
  11. 2011 (4)
  12. 2009 (5)
  13. 2008 (8)