Revisiting synthesis of switching controllers for Linear Hybrid systems

Abstract

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

Topics

3 Figures and Tables

Slides referencing similar topics