29 citations · 56 across the 14 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2013★ 2 cited
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
Deepak Kapur, Naijun Zhan, Hengjun Zhao
We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combinin…
eess.SY2012★ 1 cited
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 +1
In this paper, we propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quantifier elimination; furthermore, we also show how to combine quant…