1 code implementation • 26 Sep 2022 • Xinyi Yu, Weijie Dong, Xiang Yin, ShaoYuan Li
To this end, effective approaches for the computation of feasible sets of STL formulae are provided.
no code implementations • 27 Apr 2022 • Weijie Dong, Xiang Yin, ShaoYuan Li
In this work, we propose a novel \emph{uniform framework} for diagnosability of DES subject to, not only sensor failures, but also a very general class of unreliable sensors.
no code implementations • 6 Apr 2022 • Weijie Dong, Shang Gao, Xiang Yin, ShaoYuan Li
Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations.
no code implementations • 30 Mar 2022 • Xinyi Yu, Weijie Dong, Xiang Yin, ShaoYuan Li
We show that, by explicitly utilizing the model information of the dynamic system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used.