Skip to content

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

VenueBFM
Year2012
ProceedingsFM

Browse the full FM paper archive.