Lazy Abstraction-Based Controller Synthesis

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

Abstract: ion-based controller synthesis (ABCS) is a general procedure for automatic synthesis of controllers for continuous-time nonlinear dynamical systems against temporal specifications. ABCS works by first abstracting a time-sampled version of the continuous dynamics of the open-loop system by a symbolic finite state model.