Safety Controller Synthesis for Switched Systems using Multi-scale Symbolic Models

Authors

Conference

50th IEEE Conference on Decision and Control and European Control Conference (IEEE CDC-ECC 2011) 2011