@misc{indiciae5467738ec5fe,
  title = {Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation},
  author = {Deepak Kapur and Naijun Zhan and Hengjun Zhao},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0825},
  note = {Source identifier: 1304.0825}
}