Room 206 (2nd floor, badged access)
26 September 2019 - 14h00
Reachability analysis and decompositions for abstraction-based control synthesis
by Pierre-Jean Meyer from University of California, Berkeley
Abstract: This talk gives an overview of three recent results in the field of abstraction-based control synthesis, where we create a finite abstraction of a continuous dynamical system to synthesize a high-level controller with respect to some temporal logic specification. First, we introduce new results on reachability analysis using intervals and applicable to most nonlinear dynamical systems. Then, we discuss the notion of compositional abstraction, where a large continuous system is decomposed into smaller subsystems which are easier to abstract. Finally, we consider a framework for hierarchical decomposition of temporal logic control problems into three successive subproblems.