TY - RPRT TI - A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example AU - Hengjun Zhao AU - Naijun Zhan AU - Deepak Kapur AU - Kim G. Larsen PY - 2012 UR - https://arxiv.org/abs/1203.6025 ID - 1203.6025 ER -