4 citations · 4 across the 2 of their papers we have counts for
2 papers
eess.SY2020★ 4 cited
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…
math.OC2019
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…