J. C\'amara, A. Girard, Gregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models. In CDC-ECC, 2011.
to appear
@InProceedings{CamaraGirardGoessler2011b,
Author = {C\'amara, J. and Girard, A. and Gössler, Gregor},
Title = {Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models},
BookTitle = {CDC-ECC},
Year = {2011}
}
Get EndNote Reference (.ref)