A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
Browse the full FM paper archive.
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
Browse the full FM paper archive.