Lefebvre, Dimitri; Hadjicostis, Christoforos N. Probabilistic verification of diagnosability for a certain class of timed stochastic systems. (English) Zbl 07712450 Syst. Control Lett. 176, Article ID 105531, 12 p. (2023). Reviewer: Eliane R. Rodrigues (Ciudad de México) MSC: 93E03 93C65 60J27 PDFBibTeX XMLCite \textit{D. Lefebvre} and \textit{C. N. Hadjicostis}, Syst. Control Lett. 176, Article ID 105531, 12 p. (2023; Zbl 07712450) Full Text: DOI
Liu, Rongjian; Mei, Liujuan; Lu, Jianquan \(k\)-memory-embedded insertion mechanism for opacity enforcement. (English) Zbl 1454.93163 Syst. Control Lett. 145, Article ID 104785, 8 p. (2020). MSC: 93C65 93C83 93B70 68M25 68Q45 PDFBibTeX XMLCite \textit{R. Liu} et al., Syst. Control Lett. 145, Article ID 104785, 8 p. (2020; Zbl 1454.93163) Full Text: DOI
Yin, Xiang; Li, Zhaojian; Wang, Weilin Trajectory detectability of discrete-event systems. (English) Zbl 1408.93084 Syst. Control Lett. 119, 101-107 (2018). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{X. Yin} et al., Syst. Control Lett. 119, 101--107 (2018; Zbl 1408.93084) Full Text: DOI
Liu, Fuchun; Mo, Rixiang Correctability of fault-tolerant stochastic discrete-event systems. (English) Zbl 1372.93139 Syst. Control Lett. 105, 48-54 (2017). MSC: 93C65 93E03 93B35 90B25 PDFBibTeX XMLCite \textit{F. Liu} and \textit{R. Mo}, Syst. Control Lett. 105, 48--54 (2017; Zbl 1372.93139) Full Text: DOI
Keroglou, Christoforos; Hadjicostis, Christoforos N. Detectability in stochastic discrete event systems. (English) Zbl 1326.93084 Syst. Control Lett. 84, 21-26 (2015). MSC: 93C65 93E03 93E10 PDFBibTeX XMLCite \textit{C. Keroglou} and \textit{C. N. Hadjicostis}, Syst. Control Lett. 84, 21--26 (2015; Zbl 1326.93084) Full Text: DOI
Komenda, Jan; Masopust, Tomáš; Van Schuppen, Jan H. On conditional decomposability. (English) Zbl 1255.93031 Syst. Control Lett. 61, No. 12, 1260-1268 (2012). MSC: 93B11 93C65 PDFBibTeX XMLCite \textit{J. Komenda} et al., Syst. Control Lett. 61, No. 12, 1260--1268 (2012; Zbl 1255.93031) Full Text: DOI arXiv
Zhao, Junhui; Chen, Yi-Liang; Chen, Zhong; Lin, Feng; Wang, Caisheng; Zhang, Hongwei Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids. (English) Zbl 1256.93067 Syst. Control Lett. 61, No. 1, 212-222 (2012). MSC: 93C65 93A30 93B15 PDFBibTeX XMLCite \textit{J. Zhao} et al., Syst. Control Lett. 61, No. 1, 212--222 (2012; Zbl 1256.93067) Full Text: DOI Link
Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H. Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. (English) Zbl 1222.93150 Syst. Control Lett. 60, No. 7, 492-502 (2011). MSC: 93C65 93B05 93B07 PDFBibTeX XMLCite \textit{J. Komenda} et al., Syst. Control Lett. 60, No. 7, 492--502 (2011; Zbl 1222.93150) Full Text: DOI Link
Shu, Shaolong; Lin, Feng Generalized detectability for discrete event systems. (English) Zbl 1214.93066 Syst. Control Lett. 60, No. 5, 310-317 (2011). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{S. Shu} and \textit{F. Lin}, Syst. Control Lett. 60, No. 5, 310--317 (2011; Zbl 1214.93066) Full Text: DOI Link
Shu, Shaolong; Lin, Feng Detectability of discrete event systems with dynamic event observation. (English) Zbl 1186.93045 Syst. Control Lett. 59, No. 1, 9-17 (2010). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{S. Shu} and \textit{F. Lin}, Syst. Control Lett. 59, No. 1, 9--17 (2010; Zbl 1186.93045) Full Text: DOI Link
Gray, W. Steven; Herencia-Zapana, Heber; Duffaut Espinosa, Luis A.; González, Oscar R. Bilinear system interconnections and generating series of weighted Petri nets. (English) Zbl 1191.93003 Syst. Control Lett. 58, No. 12, 841-848 (2009). MSC: 93A13 93C10 93C65 PDFBibTeX XMLCite \textit{W. S. Gray} et al., Syst. Control Lett. 58, No. 12, 841--848 (2009; Zbl 1191.93003) Full Text: DOI
Julius, A. Agung; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Pappas, George J. Approximate equivalence and synchronization of metric transition systems. (English) Zbl 1155.93336 Syst. Control Lett. 58, No. 2, 94-101 (2009). MSC: 93B17 PDFBibTeX XMLCite \textit{A. A. Julius} et al., Syst. Control Lett. 58, No. 2, 94--101 (2009; Zbl 1155.93336) Full Text: DOI
Tabuada, Paulo Controller synthesis for bisimulation equivalence. (English) Zbl 1154.93324 Syst. Control Lett. 57, No. 6, 443-452 (2008). MSC: 93B11 93B50 93B28 93B17 PDFBibTeX XMLCite \textit{P. Tabuada}, Syst. Control Lett. 57, No. 6, 443--452 (2008; Zbl 1154.93324) Full Text: DOI arXiv
Yoo, Tae-Sic; Garcia, Humberto E. Diagnosis of behaviors of interest in partially-observed discrete-event systems. (English) Zbl 1148.93024 Syst. Control Lett. 57, No. 12, 1023-1029 (2008). MSC: 93C65 49L20 93B07 PDFBibTeX XMLCite \textit{T.-S. Yoo} and \textit{H. E. Garcia}, Syst. Control Lett. 57, No. 12, 1023--1029 (2008; Zbl 1148.93024) Full Text: DOI
Wang, Weilin; Lafortune, Stéphane; Lin, Feng An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. (English) Zbl 1155.93387 Syst. Control Lett. 56, No. 9-10, 656-661 (2007). MSC: 93C65 93B07 93C85 93A13 PDFBibTeX XMLCite \textit{W. Wang} et al., Syst. Control Lett. 56, No. 9--10, 656--661 (2007; Zbl 1155.93387) Full Text: DOI
Romanovski, I.; Caines, P. E. On the supervisory control of multi-agent product systems: controllability properties. (English) Zbl 1112.93010 Syst. Control Lett. 56, No. 2, 113-121 (2007). MSC: 93B05 93A13 93C65 PDFBibTeX XMLCite \textit{I. Romanovski} and \textit{P. E. Caines}, Syst. Control Lett. 56, No. 2, 113--121 (2007; Zbl 1112.93010) Full Text: DOI
Saboori, Anooshiravan; Zad, Shahin Hashtrudi Robust nonblocking supervisory control of discrete-event systems under partial observation. (English) Zbl 1100.93014 Syst. Control Lett. 55, No. 10, 839-848 (2006). MSC: 93B35 93C41 PDFBibTeX XMLCite \textit{A. Saboori} and \textit{S. H. Zad}, Syst. Control Lett. 55, No. 10, 839--848 (2006; Zbl 1100.93014) Full Text: DOI
Thistle, J. G. Undecidability in decentralized supervision. (English) Zbl 1129.93451 Syst. Control Lett. 54, No. 5, 503-509 (2005). MSC: 93C65 03D35 93A14 PDFBibTeX XMLCite \textit{J. G. Thistle}, Syst. Control Lett. 54, No. 5, 503--509 (2005; Zbl 1129.93451) Full Text: DOI
Takai, Shigemasa; Ushio, Toshimitsu Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control. (English) Zbl 1157.93444 Syst. Control Lett. 49, No. 3, 191-200 (2003). MSC: 93C65 68Q45 PDFBibTeX XMLCite \textit{S. Takai} and \textit{T. Ushio}, Syst. Control Lett. 49, No. 3, 191--200 (2003; Zbl 1157.93444) Full Text: DOI