4 citations · 6 across the 5 of their papers we have counts for
5 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…
Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu +2
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient…
Parameter Synthesis Problems for one parametric clock Timed Automata
Liyun Dai, Taolue Chen, Zhiming Liu +3
In this paper, we study the parameter synthesis problem for a class of parametric timed automata. The problem asks to construct the set of valuations of the parameters in the param…
Parameter Synthesis Problems for Parametric Timed Automata
Liyun Dai, Bo Liu, Zhiming Liu +1
We consider the parameter synthesis problem of parametric timed automata (PTAs). The problem is, given a PTA and a property, to compute the set of valuations of the parameters unde…