16 citations · 24 across the 7 of their papers we have counts for
7 papers
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…
Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm
Liyun Dai, Hengjun Zhao, Zhiming Liu
Column generation is often used to solve multi-commodity flow problems. A program for column generation always includes a module that solves a linear equation. In this paper, we ad…
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…
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
Jiang Liu, Naijun Zhan, Hengjun Zhao
The notion of Lyapunov function plays a key role in design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asympt…