Revisiting synthesis of switching controllers for Linear Hybrid systems


We study the problem of automatically generating switching controllers for the class of Linear Hybrid Automata, with respect to safety objectives. We identify and solve inaccuracies contained in previous characterizations of the problem, providing a sound and complete symbolic fixpoint procedure, based on polyhedral abstractions of the state space. We also… (More)
DOI: 10.1109/CDC.2011.6161190


3 Figures and Tables

Slides referencing similar topics