Author:
Zhong Bingzhuo,Dong Weijie,Yin Xiang,Zamani Majid
Reference30 articles.
1. Principles of model checking;Baier,2008
2. Diagnos-ability analysis of labeled time Petri net systems;Basile;IEEE Transactions on Automatic Control,2017
3. Hybrid systems diagnosis by coupling continuous and discrete event techniques;Bayoudh;IFAC Proceedings Volumes,2008
4. A probabilistic test for a-diagnosability of stochastic discrete-event systems with guaranteed error bound;Chen,2023
5. Fault detection of discrete-time stochastic systems subject to temporal logic correctness requirements;Chen;IEEE Transactions on Automation Science and Engineering,2015