TY  - CPAPER
AU  - Prabhakar, Pavithra
AU  - García Soto, Miriam
PY  - 2017
DO  - 10.1145/3049797.3049822
UR  - https://hdl.handle.net/20.500.14352/116100
AB  - In this paper, we describe an abstraction-based method for synthesizing a state-based switching control for stabilizing a family of dynamical systems. Given a set of dynamical systems and a set of polyhedral switching surfaces, the algorithm...
LA  - eng
TI  - Formal Synthesis of Stabilizing Controllers for Switched Systems
TY  - conference paper
ER  -