19 avr. 2019   11h00 — 12h00

Murat Arcak University of California, Berkeley, États-Unis

Symbolic control translates the control synthesis problem from the continuous- to the discrete-state domain, allowing the designer to address complex control specifications expressed as automata or temporal logic formulas. Existing tools for symbolic control are hampered by severe computational bottlenecks as the system dimension grows, particularly in the “abstraction” stage when the state space is partitioned into discrete states (“symbols") and transitions among the discrete states are determined with reachability analysis. This talk will present our results to overcome these bottlenecks by exploiting system structure. We will discuss: (1) taking advantage of monotonicity properties of the dynamical model for efficient reachability computations, (2) using sparsity structures in the dependency graph of state variables for parsimonious abstraction algorithms that dramatically reduce runtime, and (3) dividing the control synthesis task into sub-problems of manageable size with compositional procedures. We will demonstrate the scalability enabled by these ideas on several practically motivated examples.

Entrée gratuite.
Bienvenue à tous!

Peter E. Caines responsable
Aditya Mahajan responsable
Shuang Gao responsable


Salle MC 437
Pavillon McConnell
Université McGill
3480, rue University
Montréal QC H3A 0E9

Axes de recherche

Applications de recherche