16 citations · 24 across the 7 of their papers we have counts for
4 papers · 1 filter
Learning Safe Neural Network Controllers with Barrier Certificates
Hengjun Zhao, Xia Zeng, Taolue Chen +2
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties. The controllers are based on neural network…
Abstraction of Elementary Hybrid Systems by Variable Transformation
Jiang Liu, Naijun Zhan, Hengjun Zhao +1
Elementary hybrid systems (EHSs) are those hybrid systems (HSs) containing elementary functions such as exp, ln, sin, cos, etc. EHSs are very common in practice, especially in safe…
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…
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…