Author:
Tuxi Thiago M.,Carvalho Lilian K.,Nunes Eduardo V.L.,Da Cunha Antonio E.C.
Subject
Control and Systems Engineering
Reference24 articles.
1. Principles of Model Checking;Baier,2008
2. Basile, F., De Tommasi, G., Sterle, C., Boussif, A., and Ghazel, M. (2018). Efficient diagnosability assessment via ilp optimization: a railway benchmark. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), volume 1, 441–448. doi:10.1109/ETFA.2018.8502532.
3. Boussif, A., Ghazel, M., and Klai, K. (2015). Combining enumerative and symbolic techniques for diagnosis of discrete-event systems.
4. Fault detection for discrete event systems using petri nets with unobservable transitions;Cabasino;Automatica,2010
5. Robust diagnosis of discrete event systems against intermittent loss of observations;Carvalho;Automatica,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献