Safety controller synthesis for switched systems using multi-scale symbolic models

Abstract

We propose a technique for the synthesis of safety controllers for switched systems using multi-scale abstractions. To this end we build on a recent notion of multi-scale discrete abstractions for incrementally stable switched systems. These abstractions are defined on a sequence of embedded lattices approximating the state-space, the finer ones being used… (More)
DOI: 10.1109/CDC.2011.6160424
View Slides

2 Figures and Tables

Topics

  • Presentations referencing similar topics