@misc{indiciae63881a02cc12,
  title = {A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example},
  author = {Hengjun Zhao and Naijun Zhan and Deepak Kapur and Kim G. Larsen},
  year = {2012},
  url = {https://arxiv.org/abs/1203.6025},
  note = {Source identifier: 1203.6025}
}