15 citations · 33 across the 13 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2019★ 1 cited
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…
eess.SY2018
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…
eess.SY2013★ 3 cited
Barrier Certificates Revisited
Liyun Dai, Ting Gan, Bican Xia +1
A barrier certificate can separate the state space of a con- sidered hybrid system (HS) into safe and unsafe parts ac- cording to the safety property to be verified. Therefore this…