Liu, Yu; Shu, Shaolong; Lin, Feng; Chen, Qijun; Liu, Chengju; Lian, Fengjiao Online prognosis of stochastic discrete event systems with guaranteed performance bound. (English) Zbl 1520.93551 Automatica 156, Article ID 111139, 13 p. (2023). MSC: 93E10 93C65 PDFBibTeX XMLCite \textit{Y. Liu} et al., Automatica 156, Article ID 111139, 13 p. (2023; Zbl 1520.93551) Full Text: DOI
Barcelos, Raphael Julio; Basilio, João Carlos Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability. (English) Zbl 1507.93142 Automatica 148, Article ID 110769, 14 p. (2023). MSC: 93C65 93A14 PDFBibTeX XMLCite \textit{R. J. Barcelos} and \textit{J. C. Basilio}, Automatica 148, Article ID 110769, 14 p. (2023; Zbl 1507.93142) Full Text: DOI
Liao, Hui; Liu, Fuchun; Wu, Naiqi Robust predictability of stochastic discrete-event systems and a polynomial-time verification. (English) Zbl 1498.93700 Automatica 144, Article ID 110477, 9 p. (2022). MSC: 93E03 93C65 93B35 PDFBibTeX XMLCite \textit{H. Liao} et al., Automatica 144, Article ID 110477, 9 p. (2022; Zbl 1498.93700) Full Text: DOI
Liu, Fuchun; Yang, Pengbiao; Zhao, Rui; Dziong, Zbigniew Verification of safe diagnosability of stochastic discrete-event systems. (English) Zbl 1482.93385 Int. J. Control 95, No. 2, 372-379 (2022). MSC: 93C65 93E03 PDFBibTeX XMLCite \textit{F. Liu} et al., Int. J. Control 95, No. 2, 372--379 (2022; Zbl 1482.93385) Full Text: DOI
Zhou, Yingrui; Chen, Zengqiang; Liu, Zhongxin; Zhang, Zhipeng Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach. (English) Zbl 1478.93434 Nonlinear Anal., Hybrid Syst. 42, Article ID 101073, 12 p. (2021). MSC: 93C65 93B07 93A14 93B70 93C83 PDFBibTeX XMLCite \textit{Y. Zhou} et al., Nonlinear Anal., Hybrid Syst. 42, Article ID 101073, 12 p. (2021; Zbl 1478.93434) Full Text: DOI
Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, Alessandro Diagnosability enforcement in labeled Petri nets using supervisory control. (English) Zbl 1478.93397 Automatica 131, Article ID 109776, 12 p. (2021). MSC: 93C65 93B03 PDFBibTeX XMLCite \textit{Y. Hu} et al., Automatica 131, Article ID 109776, 12 p. (2021; Zbl 1478.93397) Full Text: DOI
Zhao, Xiangfu; Lamperti, Gianfranco; Ouyang, Dantong; Tong, Xiangrong Minimal diagnosis and diagnosability of discrete-event systems modeled by automata. (English) Zbl 1506.93060 Complexity 2020, Article ID 4306261, 17 p. (2020). MSC: 93C65 PDFBibTeX XMLCite \textit{X. Zhao} et al., Complexity 2020, Article ID 4306261, 17 p. (2020; Zbl 1506.93060) Full Text: DOI
De Santis, Elena; Di Benedetto, Maria Domenica; Fiore, Gabriella; Pola, Giordano Approximate predictability of pseudo-metric systems. (English) Zbl 1441.93165 Nonlinear Anal., Hybrid Syst. 36, Article ID 100869, 12 p. (2020). MSC: 93C55 93C65 93A10 PDFBibTeX XMLCite \textit{E. De Santis} et al., Nonlinear Anal., Hybrid Syst. 36, Article ID 100869, 12 p. (2020; Zbl 1441.93165) Full Text: DOI Link
Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri Faults prognosis using partially observed stochastic Petri nets: an incremental approach. (English) Zbl 1398.93211 Discrete Event Dyn. Syst. 28, No. 2, 247-267 (2018). MSC: 93C65 93E03 93B07 68Q85 93-04 PDFBibTeX XMLCite \textit{R. Ammour} et al., Discrete Event Dyn. Syst. 28, No. 2, 247--267 (2018; Zbl 1398.93211) Full Text: DOI
Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid Predictability of fuzzy discrete event systems. (English) Zbl 1378.93081 Discrete Event Dyn. Syst. 27, No. 4, 641-673 (2017). MSC: 93C65 93C42 68Q80 PDFBibTeX XMLCite \textit{B. Benmessahel} et al., Discrete Event Dyn. Syst. 27, No. 4, 641--673 (2017; Zbl 1378.93081) Full Text: DOI
Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri Fault prognosis of timed stochastic discrete event systems with bounded estimation error. (English) Zbl 1376.93071 Automatica 82, 35-41 (2017). MSC: 93C65 93E03 93B35 PDFBibTeX XMLCite \textit{R. Ammour} et al., Automatica 82, 35--41 (2017; Zbl 1376.93071) Full Text: DOI
Yin, Xiang Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. (English) Zbl 1370.93173 Automatica 80, 127-134 (2017). MSC: 93C65 93E03 93E10 PDFBibTeX XMLCite \textit{X. Yin}, Automatica 80, 127--134 (2017; Zbl 1370.93173) Full Text: DOI
Yokotani, Misato; Kondo, Tetsuya; Takai, Shigemasa Abstraction-based verification and synthesis for prognosis of discrete event systems. (English) Zbl 1346.93263 Asian J. Control 18, No. 4, 1279-1288 (2016). MSC: 93C65 93B25 93B07 93C25 PDFBibTeX XMLCite \textit{M. Yokotani} et al., Asian J. Control 18, No. 4, 1279--1288 (2016; Zbl 1346.93263) Full Text: DOI
Yin, Xiang; Li, Zhaojian Decentralized fault prognosis of discrete event systems with guaranteed performance bound. (English) Zbl 1338.93240 Automatica 69, 375-379 (2016). MSC: 93C65 93A14 PDFBibTeX XMLCite \textit{X. Yin} and \textit{Z. Li}, Automatica 69, 375--379 (2016; Zbl 1338.93240) Full Text: DOI