Malik, Robi; Mohajerani, Sahar; Fabian, Martin A survey on compositional algorithms for verification and synthesis in supervisory control. (English) Zbl 1522.93014 Discrete Event Dyn. Syst. 33, No. 3, 279-340 (2023). MSC: 93A13 93B30 93C65 93-02 PDFBibTeX XMLCite \textit{R. Malik} et al., Discrete Event Dyn. Syst. 33, No. 3, 279--340 (2023; Zbl 1522.93014) Full Text: DOI OA License
Lin, Feng; Wang, Caisheng; Nazari, Masoud H.; Li, Wenyuan Supervisory control to maximize mean time to failure in discrete event systems. (English) Zbl 1522.93013 Discrete Event Dyn. Syst. 33, No. 2, 105-127 (2023). MSC: 93A13 93C65 93E03 60J20 PDFBibTeX XMLCite \textit{F. Lin} et al., Discrete Event Dyn. Syst. 33, No. 2, 105--127 (2023; Zbl 1522.93013) Full Text: DOI
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
Su, Rong On decidability of existence of nonblocking supervisors resilient to smart sensor attacks. (English) Zbl 1520.93321 Automatica 154, Article ID 111076, 15 p. (2023). MSC: 93C65 93B70 93A13 PDFBibTeX XMLCite \textit{R. Su}, Automatica 154, Article ID 111076, 15 p. (2023; Zbl 1520.93321) Full Text: DOI arXiv
Mulahuwaish, Aos; Leduc, Ryan J. Fault-tolerant supervisory control with permanent faults. (English) Zbl 07702140 Int. J. Control 96, No. 4, 822-838 (2023). MSC: 68-XX 93-XX PDFBibTeX XMLCite \textit{A. Mulahuwaish} and \textit{R. J. Leduc}, Int. J. Control 96, No. 4, 822--838 (2023; Zbl 07702140) Full Text: DOI
Zhu, Yuting; Lin, Liyong; Tai, Ruochen; Su, Rong Overview of networked supervisory control with imperfect communication channels. (English) Zbl 1519.93096 Discrete Event Dyn. Syst. 33, No. 1, 25-61 (2023). MSC: 93B70 93A13 93C65 PDFBibTeX XMLCite \textit{Y. Zhu} et al., Discrete Event Dyn. Syst. 33, No. 1, 25--61 (2023; Zbl 1519.93096) Full Text: DOI arXiv
Takai, Shigemasa Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications. (English) Zbl 1519.93148 Automatica 152, Article ID 110940, 5 p. (2023). MSC: 93C65 68Q17 PDFBibTeX XMLCite \textit{S. Takai}, Automatica 152, Article ID 110940, 5 p. (2023; Zbl 1519.93148) Full Text: DOI
Berwanger, Dietmar; Doyen, Laurent Observation and distinction: representing information in infinite games. (English) Zbl 07680317 Theory Comput. Syst. 67, No. 1, 4-27 (2023). MSC: 68Qxx 91Axx 03Bxx PDFBibTeX XMLCite \textit{D. Berwanger} and \textit{L. Doyen}, Theory Comput. Syst. 67, No. 1, 4--27 (2023; Zbl 07680317) Full Text: DOI
Moulton, Richard Hugh; Hamgini, Behnam Behinaein; Khouzani, Zahra Abedi; Meira-Góes, Rômulo; Wang, Fei; Rudie, Karen Using subobservers to synthesize opacity-enforcing supervisors. (English) Zbl 1505.93078 Discrete Event Dyn. Syst. 32, No. 4, 611-640 (2022). MSC: 93B53 93C65 93A13 PDFBibTeX XMLCite \textit{R. H. Moulton} et al., Discrete Event Dyn. Syst. 32, No. 4, 611--640 (2022; Zbl 1505.93078) Full Text: DOI arXiv
Ean, Richard; Rudie, Karen Epistemic interpretations of decentralized discrete-event system problems. (English) Zbl 1500.93066 Discrete Event Dyn. Syst. 32, No. 3, 359-398 (2022). MSC: 93C65 93A14 93B07 PDFBibTeX XMLCite \textit{R. Ean} and \textit{K. Rudie}, Discrete Event Dyn. Syst. 32, No. 3, 359--398 (2022; Zbl 1500.93066) Full Text: DOI
Wang, Weilin; Zang, Yanwei; Takai, Shigemasa; Andrew, Lachlan L. H.; Gong, Chaohui Deterministic supervisory control with flexible upper-bounds on observation delay and control delay. (English) Zbl 1498.93294 Automatica 144, Article ID 110480, 13 p. (2022). MSC: 93B70 93C65 93B05 93B07 93C43 PDFBibTeX XMLCite \textit{W. Wang} et al., Automatica 144, Article ID 110480, 13 p. (2022; Zbl 1498.93294) Full Text: DOI
Li, Jinglun; Takai, Shigemasa Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems. (English) Zbl 1478.93404 Automatica 135, Article ID 109978, 13 p. (2022). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{J. Li} and \textit{S. Takai}, Automatica 135, Article ID 109978, 13 p. (2022; Zbl 1478.93404) Full Text: DOI
Wang, Yi; Li, Yuting; Yu, Zhenhua; Wu, Naiqi; Li, Zhiwu Supervisory control of discrete-event systems under external attacks. (English) Zbl 1526.93003 Inf. Sci. 562, 398-413 (2021). MSC: 93A13 93C65 93B03 PDFBibTeX XMLCite \textit{Y. Wang} et al., Inf. Sci. 562, 398--413 (2021; Zbl 1526.93003) Full Text: DOI
Alves, Marcos V. S.; da Cunha, Antonio E. C.; Carvalho, Lilian Kawakami; Moreira, Marcos Vicente; Basilio, João Carlos Robust supervisory control of discrete event systems against intermittent loss of observations. (English) Zbl 1480.93254 Int. J. Control 94, No. 7, 2008-2020 (2021). MSC: 93C65 93B35 93B07 93B05 PDFBibTeX XMLCite \textit{M. V. S. Alves} et al., Int. J. Control 94, No. 7, 2008--2020 (2021; Zbl 1480.93254) Full Text: DOI
Xu, Pan; Shu, Shaolong; Lin, Feng Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays. (English) Zbl 1478.93016 Discrete Event Dyn. Syst. 31, No. 2, 295-315 (2021). MSC: 93A14 93C65 93B70 93C43 93B07 PDFBibTeX XMLCite \textit{P. Xu} et al., Discrete Event Dyn. Syst. 31, No. 2, 295--315 (2021; Zbl 1478.93016) Full Text: DOI
Boussif, Abderraouf; Ghazel, Mohamed; Basilio, João Carlos Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. (English) Zbl 1478.93382 Discrete Event Dyn. Syst. 31, No. 1, 59-102 (2021). MSC: 93C65 93B07 68Q45 PDFBibTeX XMLCite \textit{A. Boussif} et al., Discrete Event Dyn. Syst. 31, No. 1, 59--102 (2021; Zbl 1478.93382) Full Text: DOI HAL
Yang, Jingkai; Deng, Weilin; Qiu, Daowen; Jiang, Cheng Opacity of networked discrete event systems. (English) Zbl 1475.68044 Inf. Sci. 543, 328-344 (2021). MSC: 68M25 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Yang} et al., Inf. Sci. 543, 328--344 (2021; Zbl 1475.68044) Full Text: DOI
Liu, Yang; Liu, Zhaocong; Yin, Xiang; Li, Shaoyuan An improved approach for verifying delayed detectability of discrete-event systems. (English) Zbl 1461.93314 Automatica 124, Article ID 109291, 5 p. (2021). MSC: 93C65 93B07 93C43 PDFBibTeX XMLCite \textit{Y. Liu} et al., Automatica 124, Article ID 109291, 5 p. (2021; Zbl 1461.93314) Full Text: DOI
Wang, Deguang; Wang, Xi; Li, Zhiwu State-based fault diagnosis of discrete-event systems with partially observable outputs. (English) Zbl 1461.93319 Inf. Sci. 529, 87-100 (2020). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{D. Wang} et al., Inf. Sci. 529, 87--100 (2020; Zbl 1461.93319) Full Text: DOI
Lan, Hao; Tong, Yin; Guo, Jin; Seatzu, Carla Verification of C-detectability using Petri nets. (English) Zbl 1459.68146 Inf. Sci. 528, 294-310 (2020). MSC: 68Q85 93C65 PDFBibTeX XMLCite \textit{H. Lan} et al., Inf. Sci. 528, 294--310 (2020; Zbl 1459.68146) Full Text: DOI arXiv
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak On the relation between reactive synthesis and supervisory control of non-terminating processes. (English) Zbl 1441.93173 Discrete Event Dyn. Syst. 30, No. 1, 81-124 (2020). MSC: 93C62 93C65 93B50 68Q45 91A05 PDFBibTeX XMLCite \textit{A.-K. Schmuck} et al., Discrete Event Dyn. Syst. 30, No. 1, 81--124 (2020; Zbl 1441.93173) Full Text: DOI
Zhang, Renyuan; Cai, Kai Supervisor localisation for large-scale discrete-event systems under partial observation. (English) Zbl 1440.93153 Int. J. Control 93, No. 3, 387-399 (2020). MSC: 93C65 93A14 93A15 68Q25 PDFBibTeX XMLCite \textit{R. Zhang} and \textit{K. Cai}, Int. J. Control 93, No. 3, 387--399 (2020; Zbl 1440.93153) Full Text: DOI arXiv
You, Dan; Wang, ShouGuang; Seatzu, Carla Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. (English) Zbl 1453.93146 Inf. Sci. 501, 635-654 (2019). MSC: 93C65 68Q85 PDFBibTeX XMLCite \textit{D. You} et al., Inf. Sci. 501, 635--654 (2019; Zbl 1453.93146) Full Text: DOI
Saeidi, Vahid; Afzalian, Ali A.; Gharavian, Davood Optimal non-blocking decentralized supervisory control with unobservable controllable events. (English) Zbl 1422.93071 Asian J. Control 21, No. 2, 800-808 (2019). MSC: 93B50 93B05 93B07 93A14 93C65 PDFBibTeX XMLCite \textit{V. Saeidi} et al., Asian J. Control 21, No. 2, 800--808 (2019; Zbl 1422.93071) Full Text: DOI
Cai, Kai; Zhang, Renyuan; Wonham, W. M. Relative coobservability for decentralised supervisory control of discrete-event systems. (English) Zbl 1417.93082 Int. J. Control 92, No. 7, 1481-1489 (2019). MSC: 93B07 93C65 93A14 PDFBibTeX XMLCite \textit{K. Cai} et al., Int. J. Control 92, No. 7, 1481--1489 (2019; Zbl 1417.93082) Full Text: DOI arXiv
Gu, Chan; Wang, Xi; Li, Zhiwu; Wu, Naiqi Supervisory control of state-tree structures with partial observation. (English) Zbl 1455.93118 Inf. Sci. 465, 523-544 (2018). Reviewer: Tiit Riismaa (Tallinn) MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{C. Gu} et al., Inf. Sci. 465, 523--544 (2018; Zbl 1455.93118) 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
Su, Rong; Wonham, W. Murray What information really matters in supervisor reduction? (English) Zbl 1402.93020 Automatica 95, 368-377 (2018). MSC: 93A13 93C65 93B11 93B05 PDFBibTeX XMLCite \textit{R. Su} and \textit{W. M. Wonham}, Automatica 95, 368--377 (2018; Zbl 1402.93020) Full Text: DOI arXiv
Su, Rong Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. (English) Zbl 1400.93189 Automatica 94, 35-44 (2018). MSC: 93C65 93A13 94A62 93B05 93B50 68Q80 PDFBibTeX XMLCite \textit{R. Su}, Automatica 94, 35--44 (2018; Zbl 1400.93189) Full Text: DOI arXiv
Cai, Kai; Zhang, Renyuan; Wonham, W. M. Characterizations and effective computation of supremal relatively observable sublanguages. (English) Zbl 1398.93213 Discrete Event Dyn. Syst. 28, No. 2, 269-287 (2018). MSC: 93C65 93B07 68Q45 93A13 PDFBibTeX XMLCite \textit{K. Cai} et al., Discrete Event Dyn. Syst. 28, No. 2, 269--287 (2018; Zbl 1398.93213) Full Text: DOI arXiv
Sasi, Yazeed; Lin, Feng Detectability of networked discrete event systems. (English) Zbl 1398.93221 Discrete Event Dyn. Syst. 28, No. 3, 449-470 (2018). MSC: 93C65 93B07 90B18 PDFBibTeX XMLCite \textit{Y. Sasi} and \textit{F. Lin}, Discrete Event Dyn. Syst. 28, No. 3, 449--470 (2018; Zbl 1398.93221) Full Text: DOI Link
Keroglou, Christoforos; Hadjicostis, Christoforos N. Verification of detectability in probabilistic finite automata. (English) Zbl 1375.93118 Automatica 86, 192-198 (2017). MSC: 93E03 93C65 60J10 93E10 68Q80 PDFBibTeX XMLCite \textit{C. Keroglou} and \textit{C. N. Hadjicostis}, Automatica 86, 192--198 (2017; Zbl 1375.93118) Full Text: DOI
Pola, Giordano; De Santis, Elena; Di Benedetto, Maria Domenica; Pezzuti, Davide Design of decentralized critical observers for networks of finite state machines: a formal method approach. (English) Zbl 1375.93014 Automatica 86, 174-182 (2017). MSC: 93A15 93B07 68P30 68Q80 PDFBibTeX XMLCite \textit{G. Pola} et al., Automatica 86, 174--182 (2017; Zbl 1375.93014) Full Text: DOI arXiv
Lin, Feng; Wang, Le Yi; Chen, Wen; Han, Leitao; Shen, Bin \(N\)-diagnosability for active on-line diagnosis in discrete event systems. (English) Zbl 1373.93217 Automatica 83, 220-225 (2017). MSC: 93C65 90B25 93B35 PDFBibTeX XMLCite \textit{F. Lin} et al., Automatica 83, 220--225 (2017; Zbl 1373.93217) Full Text: DOI
Yin, Xiang; Lafortune, Stéphane Verification complexity of a class of observational properties for modular discrete events systems. (English) Zbl 1373.93220 Automatica 83, 199-205 (2017). MSC: 93C65 93B07 93B40 65Y20 PDFBibTeX XMLCite \textit{X. Yin} and \textit{S. Lafortune}, Automatica 83, 199--205 (2017; Zbl 1373.93220) Full Text: DOI
Zhang, Renyuan; Cai, Kai; Wonham, W. Murray Supervisor localization of discrete-event systems under partial observation. (English) Zbl 1372.93144 Automatica 81, 142-147 (2017). MSC: 93C65 93A13 68T42 93B07 PDFBibTeX XMLCite \textit{R. Zhang} et al., Automatica 81, 142--147 (2017; Zbl 1372.93144) Full Text: DOI arXiv
De Santis, Elena; Di Benedetto, Maria Domenica Observability and diagnosability of finite state systems: a unifying framework. (English) Zbl 1372.93044 Automatica 81, 115-122 (2017). MSC: 93B07 90B25 93B51 93C95 PDFBibTeX XMLCite \textit{E. De Santis} and \textit{M. D. Di Benedetto}, Automatica 81, 115--122 (2017; Zbl 1372.93044) Full Text: DOI arXiv
Wang, Weilin Online minimization of sensor activation for supervisory control. (English) Zbl 1372.93006 Automatica 73, 8-14 (2016). MSC: 93A13 93C65 93B07 PDFBibTeX XMLCite \textit{W. Wang}, Automatica 73, 8--14 (2016; Zbl 1372.93006) Full Text: DOI
Zhang, Kuize; Zhang, Lijun; Su, Rong A weighted pair graph representation for reconstructibility of Boolean control networks. (English) Zbl 1350.93048 SIAM J. Control Optim. 54, No. 6, 3040-3060 (2016). MSC: 93C30 68Q45 94C15 92B99 68Q80 PDFBibTeX XMLCite \textit{K. Zhang} et al., SIAM J. Control Optim. 54, No. 6, 3040--3060 (2016; Zbl 1350.93048) Full Text: DOI arXiv Link
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
Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis Supervisory control of (\(\max,+\)) automata: extensions towards applications. (English) Zbl 1335.93088 Int. J. Control 88, No. 12, 2523-2537 (2015). MSC: 93C65 93A13 68Q80 15A80 PDFBibTeX XMLCite \textit{S. Lahaye} et al., Int. J. Control 88, No. 12, 2523--2537 (2015; Zbl 1335.93088) Full Text: DOI
Yin, Xiang; Lafortune, Stéphane Codiagnosability and coobservability under dynamic observations: transformation and verification. (English) Zbl 1327.93269 Automatica 61, 241-252 (2015). MSC: 93C65 93A14 93B07 PDFBibTeX XMLCite \textit{X. Yin} and \textit{S. Lafortune}, Automatica 61, 241--252 (2015; Zbl 1327.93269) 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
Cury, José E. R.; de Queiroz, Max Hering; Bouzon, Gustavo; Teixeira, Marcelo Supervisory control of discrete event systems with distinguishers. (English) Zbl 1323.93049 Automatica 56, 93-104 (2015). MSC: 93C65 93A13 93B50 93B30 PDFBibTeX XMLCite \textit{J. E. R. Cury} et al., Automatica 56, 93--104 (2015; Zbl 1323.93049) Full Text: DOI
Benattar, Gilles; Cassez, Franck; Lime, Didier; Roux, Olivier H. Control and synthesis of non-interferent timed systems. (English) Zbl 1328.93109 Int. J. Control 88, No. 2, 217-236 (2015). MSC: 93B50 93C83 68M07 PDFBibTeX XMLCite \textit{G. Benattar} et al., Int. J. Control 88, No. 2, 217--236 (2015; Zbl 1328.93109) Full Text: DOI arXiv
Sadid, Waselul Haque; Ricker, Laurie; Hashtrudi-Zad, Shahin Robustness of synchronous communication protocols with delay for decentralized discrete-event control. (English) Zbl 1328.93169 Discrete Event Dyn. Syst. 25, No. 1-2, 159-176 (2015). MSC: 93C65 93A14 93B35 PDFBibTeX XMLCite \textit{W. H. Sadid} et al., Discrete Event Dyn. Syst. 25, No. 1--2, 159--176 (2015; Zbl 1328.93169) Full Text: DOI
Baier, Christine; Moor, Thomas A hierarchical and modular control architecture for sequential behaviours. (English) Zbl 1320.93060 Discrete Event Dyn. Syst. 25, No. 1-2, 95-124 (2015). MSC: 93C65 05C90 68Q45 93A13 93B03 93B05 93B51 93B52 PDFBibTeX XMLCite \textit{C. Baier} and \textit{T. Moor}, Discrete Event Dyn. Syst. 25, No. 1--2, 95--124 (2015; Zbl 1320.93060) Full Text: DOI
Schmidt, Klaus Werner; Breindl, Christian A framework for state attraction of discrete event systems under partial observation. (English) Zbl 1355.93121 Inf. Sci. 281, 265-280 (2014). MSC: 93C65 PDFBibTeX XMLCite \textit{K. W. Schmidt} and \textit{C. Breindl}, Inf. Sci. 281, 265--280 (2014; Zbl 1355.93121) Full Text: DOI
Dai, Jin; Lin, Hai A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants. (English) Zbl 1324.93093 Control Theory Technol. 12, No. 3, 218-233 (2014). MSC: 93C65 68T05 93B05 PDFBibTeX XMLCite \textit{J. Dai} and \textit{H. Lin}, Control Theory Technol. 12, No. 3, 218--233 (2014; Zbl 1324.93093) Full Text: DOI
Biswas, Debmalya; Genest, Blaise Privacy preserving minimal observability for composite transactional services. (English) Zbl 1302.93143 Discrete Event Dyn. Syst. 24, No. 4, 611-646 (2014). MSC: 93C65 93B07 90B22 PDFBibTeX XMLCite \textit{D. Biswas} and \textit{B. Genest}, Discrete Event Dyn. Syst. 24, No. 4, 611--646 (2014; Zbl 1302.93143) Full Text: DOI Link
Shu, Shaolong; Lin, Feng Decentralized control of networked discrete event systems with communication delays. (English) Zbl 1297.93113 Automatica 50, No. 8, 2108-2112 (2014). MSC: 93C65 93A14 90B18 PDFBibTeX XMLCite \textit{S. Shu} and \textit{F. Lin}, Automatica 50, No. 8, 2108--2112 (2014; Zbl 1297.93113) Full Text: DOI
Su, Rong On the complexity of synthesizing a minimum-weighted supervisor under partial observation. (English) Zbl 1296.93003 Automatica 50, No. 6, 1725-1729 (2014). MSC: 93A13 68Q25 93B05 93B07 PDFBibTeX XMLCite \textit{R. Su}, Automatica 50, No. 6, 1725--1729 (2014; Zbl 1296.93003) Full Text: DOI
Mannani, Amin; Gohari, Peyman A framework for synthesis of communicating decentralised supervisors for discrete-event systems. (English) Zbl 1284.93157 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 5, 947-969 (2014). MSC: 93C65 93A14 PDFBibTeX XMLCite \textit{A. Mannani} and \textit{P. Gohari}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 45, No. 5, 947--969 (2014; Zbl 1284.93157) Full Text: DOI
Saboori, Anooshiravan; Hadjicostis, Christoforos N. Verification of initial-state opacity in security applications of discrete event systems. (English) Zbl 1320.68119 Inf. Sci. 246, 115-132 (2013). MSC: 68Q60 68Q17 68Q45 68Q85 93B07 93C65 PDFBibTeX XMLCite \textit{A. Saboori} and \textit{C. N. Hadjicostis}, Inf. Sci. 246, 115--132 (2013; Zbl 1320.68119) Full Text: DOI
Komenda, Jan Supervisory control with partial observations. (English) Zbl 1304.93015 Seatzu, Carla (ed.) et al., Control of discrete-event systems. Automata and Petri net perspectives. New York, NY: Springer (ISBN 978-1-4471-4275-1/pbk; 978-1-4471-4276-8/ebook). Lecture Notes in Control and Information Sciences 433, 65-84 (2013). MSC: 93A13 93C65 68Q80 PDFBibTeX XMLCite \textit{J. Komenda}, Lect. Notes Control Inf. Sci. 433, 65--84 (2013; Zbl 1304.93015) Full Text: DOI
Wu, Yi-Chin; Lafortune, Stéphane Comparative analysis of related notions of opacity in centralized and coordinated architectures. (English) Zbl 1272.93084 Discrete Event Dyn. Syst. 23, No. 3, 307-339 (2013). MSC: 93C65 93A30 90B18 PDFBibTeX XMLCite \textit{Y.-C. Wu} and \textit{S. Lafortune}, Discrete Event Dyn. Syst. 23, No. 3, 307--339 (2013; Zbl 1272.93084) Full Text: DOI
Darondeau, Philippe; Ricker, Laurie Distributed control of discrete-event systems: a first step. (English) Zbl 1377.68146 Jensen, Kurt (ed.) et al., Transactions on Petri nets and other models of concurrency. VI. Berlin: Springer (ISBN 978-3-642-35178-5/pbk). Lecture Notes in Computer Science 7400. Journal Subline, 24-45 (2012). MSC: 68Q85 93C65 PDFBibTeX XMLCite \textit{P. Darondeau} and \textit{L. Ricker}, Lect. Notes Comput. Sci. 7400, 24--45 (2012; Zbl 1377.68146) Full Text: DOI
Kılıç, Erdal; Leblebicioğlu, Kemal From classic observability to a simple fuzzy observability for fuzzy discrete-event systems. (English) Zbl 1248.93100 Inf. Sci. 187, 224-232 (2012). MSC: 93C42 93B07 93C65 PDFBibTeX XMLCite \textit{E. Kılıç} and \textit{K. Leblebicioğlu}, Inf. Sci. 187, 224--232 (2012; Zbl 1248.93100) Full Text: DOI
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
Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. (English) Zbl 1242.93074 Discrete Event Dyn. Syst. 22, No. 2, 121-161 (2012). MSC: 93C65 93B50 93B52 PDFBibTeX XMLCite \textit{G. Kalyon} et al., Discrete Event Dyn. Syst. 22, No. 2, 121--161 (2012; Zbl 1242.93074) Full Text: DOI Link
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick Finding and fixing faults. (English) Zbl 1263.68112 J. Comput. Syst. Sci. 78, No. 2, 441-460 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 68Q60 91A80 03B70 68N30 68Q25 68T20 PDFBibTeX XMLCite \textit{B. Jobstmann} et al., J. Comput. Syst. Sci. 78, No. 2, 441--460 (2012; Zbl 1263.68112) Full Text: DOI
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
Lin, Feng Opacity of discrete event systems and its applications. (English) Zbl 1216.93020 Automatica 47, No. 3, 496-503 (2011). MSC: 93B07 93C65 93C95 PDFBibTeX XMLCite \textit{F. Lin}, Automatica 47, No. 3, 496--503 (2011; Zbl 1216.93020) Full Text: DOI
Rudie, Karen A summary of some discrete-event system control problems. (English) Zbl 1297.93112 Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 4-16 (2011). MSC: 93C65 68Q45 PDFBibTeX XMLCite \textit{K. Rudie}, Lect. Notes Comput. Sci. 6482, 4--16 (2011; Zbl 1297.93112) Full Text: DOI
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
Burmakin, Eugene; Fingelkurts, Alexander A.; Fingelkurts, Andrew A. Self-organization of dynamic distributed computational systems applying principles of integrative activity of brain neuronal assemblies. (English) Zbl 1461.92004 Algorithms (Basel) 2, No. 1, 247-258 (2009). MSC: 92B20 PDFBibTeX XMLCite \textit{E. Burmakin} et al., Algorithms (Basel) 2, No. 1, 247--258 (2009; Zbl 1461.92004) Full Text: DOI
Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis Supervisory control of \((\max,+)\) automata: a behavioral approach. (English) Zbl 1180.93068 Discrete Event Dyn. Syst. 19, No. 4, 525-549 (2009). MSC: 93C65 93A13 68Q80 PDFBibTeX XMLCite \textit{J. Komenda} et al., Discrete Event Dyn. Syst. 19, No. 4, 525--549 (2009; Zbl 1180.93068) Full Text: DOI
Girault, Alain; Rutten, Éric Automating the addition of fault tolerance with discrete controller synthesis. (English) Zbl 1186.68051 Form. Methods Syst. Des. 35, No. 2, 190-225 (2009). MSC: 68M15 PDFBibTeX XMLCite \textit{A. Girault} and \textit{É. Rutten}, Form. Methods Syst. Des. 35, No. 2, 190--225 (2009; Zbl 1186.68051) Full Text: DOI Link
Yang, Y.; Mannani, A.; Gohari, P. Implementation of supervisory control using extended finite-state machines. (English) Zbl 1156.93302 Int. J. Syst. Sci. 39, No. 12, 1115-1125 (2008). MSC: 93A13 93C65 PDFBibTeX XMLCite \textit{Y. Yang} et al., Int. J. Syst. Sci. 39, No. 12, 1115--1125 (2008; Zbl 1156.93302) Full Text: DOI
Chattopadhyay, Ishanu; Ray, Asok Generalised projections in finite state automata and decidability of state determinacy. (English) Zbl 1154.93396 Int. J. Control 81, No. 10, 1626-1644 (2008). MSC: 93C65 93B07 93C83 PDFBibTeX XMLCite \textit{I. Chattopadhyay} and \textit{A. Ray}, Int. J. Control 81, No. 10, 1626--1644 (2008; Zbl 1154.93396) Full Text: DOI
Shu, Shaolong; Lin, Feng; Ying, Hao; Chen, Xinguang State estimation and detectability of probabilistic discrete event systems. (English) Zbl 1153.93512 Automatica 44, No. 12, 3054-3060 (2008). MSC: 93E10 93C65 93B07 PDFBibTeX XMLCite \textit{S. Shu} et al., Automatica 44, No. 12, 3054--3060 (2008; Zbl 1153.93512) Full Text: DOI Link
Liu, Junping; Li, Yongming The relationship of controllability between classical and fuzzy discrete-event systems. (English) Zbl 1148.93306 Inf. Sci. 178, No. 21, 4142-4151 (2008). MSC: 93B05 93C55 93C42 PDFBibTeX XMLCite \textit{J. Liu} and \textit{Y. Li}, Inf. Sci. 178, No. 21, 4142--4151 (2008; Zbl 1148.93306) Full Text: DOI
Tousi, Mani M.; Karuei, Idin; Hashtrudi-Zad, Shahin; Aghdam, Amir G. Supervisory control of switching control systems. (English) Zbl 1137.93028 Syst. Control Lett. 57, No. 2, 132-141 (2008). MSC: 93B51 93C40 93C65 PDFBibTeX XMLCite \textit{M. M. Tousi} et al., Syst. Control Lett. 57, No. 2, 132--141 (2008; Zbl 1137.93028) Full Text: DOI Link
Gardey, Guillaume; Mullins, John; Roux, Olivier H. Non-interference control synthesis for security timed automata. (English) Zbl 1277.68184 Backes, Michael (ed.) et al., Proceedings of the international workshop on security and concurrency (SecCo 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 180, No. 1, 35-53 (2007). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Gardey} et al., Electron. Notes Theor. Comput. Sci. 180, No. 1, 35--53 (2007; Zbl 1277.68184) 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
Komenda, Jan; van Schuppen, Jan H. Control of discrete-event systems with modular or distributed structure. (English) Zbl 1143.68053 Theor. Comput. Sci. 388, No. 1-3, 199-226 (2007). MSC: 68Q85 68Q60 93C65 PDFBibTeX XMLCite \textit{J. Komenda} and \textit{J. H. van Schuppen}, Theor. Comput. Sci. 388, No. 1--3, 199--226 (2007; Zbl 1143.68053) Full Text: DOI
Wang, Xiang-Yun; Zhang, Wenhui; Li, Yong-Chao; Cai, Kai-Yuan A polynomial dynamic system approach to software design for attractivity requirement. (English) Zbl 1116.68026 Inf. Sci. 177, No. 13, 2712-2725 (2007). MSC: 68N99 93C65 PDFBibTeX XMLCite \textit{X.-Y. Wang} et al., Inf. Sci. 177, No. 13, 2712--2725 (2007; Zbl 1116.68026) Full Text: DOI
Bhowal, Prodip; Sarkar, Dipankar; Mukhopadhyay, Siddhartha; Basu, Anupam Fault diagnosis in discrete time hybrid systems – a case study. (English) Zbl 1121.93041 Inf. Sci. 177, No. 5, 1290-1308 (2007). MSC: 93C55 90B25 93E10 PDFBibTeX XMLCite \textit{P. Bhowal} et al., Inf. Sci. 177, No. 5, 1290--1308 (2007; Zbl 1121.93041) Full Text: DOI
Park, Seong-Jin; Cho, Kwang-Hyun Supervisory control of discrete event systems with communication delays and partial observations. (English) Zbl 1112.93049 Syst. Control Lett. 56, No. 2, 106-112 (2007). MSC: 93C65 93B05 93B07 PDFBibTeX XMLCite \textit{S.-J. Park} and \textit{K.-H. Cho}, Syst. Control Lett. 56, No. 2, 106--112 (2007; Zbl 1112.93049) Full Text: DOI
Takai, Shigemasa; Ushio, Toshimitsu A new class of supervisors for timed discrete event systems under partial observation. (English) Zbl 1104.93042 Discrete Event Dyn. Syst. 16, No. 2, 257-278 (2006). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{S. Takai} and \textit{T. Ushio}, Discrete Event Dyn. Syst. 16, No. 2, 257--278 (2006; Zbl 1104.93042) Full Text: DOI
Yoo, Tae-Sic; Lafortune, Stéphane Solvability of centralized supervisory control under partial observation. (English) Zbl 1103.93015 Discrete Event Dyn. Syst. 16, No. 4, 527-553 (2006). MSC: 93B05 93C55 93B07 93B50 PDFBibTeX XMLCite \textit{T.-S. Yoo} and \textit{S. Lafortune}, Discrete Event Dyn. Syst. 16, No. 4, 527--553 (2006; Zbl 1103.93015) Full Text: DOI
Rohloff, Kurt R.; Khuller, Samir; Kortsarz, Guy Approximating the minimal sensor selection for supervisory control. (English) Zbl 1103.93019 Discrete Event Dyn. Syst. 16, No. 1, 143-170 (2006). MSC: 93B17 68W25 93B50 68Q45 93B40 PDFBibTeX XMLCite \textit{K. R. Rohloff} et al., Discrete Event Dyn. Syst. 16, No. 1, 143--170 (2006; Zbl 1103.93019) 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
Park, Seong-Jin; Cho, Kwang-Hyun Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds. (English) Zbl 1129.93450 Syst. Control Lett. 55, No. 5, 407-413 (2006). MSC: 93C65 68Q60 PDFBibTeX XMLCite \textit{S.-J. Park} and \textit{K.-H. Cho}, Syst. Control Lett. 55, No. 5, 407--413 (2006; Zbl 1129.93450) Full Text: DOI
Chattopadhyay, I.; Ray, A. A language measure for partially observed discrete event systems. (English) Zbl 1125.93017 Int. J. Control 79, No. 9, 1074-1086 (2006). MSC: 93B50 93C65 PDFBibTeX XMLCite \textit{I. Chattopadhyay} and \textit{A. Ray}, Int. J. Control 79, No. 9, 1074--1086 (2006; Zbl 1125.93017) Full Text: DOI
Kamach, Oulaid; Piétrac, Laurent; Niel, Éric Multi-model approach to discrete events systems: application to operating mode management. (English) Zbl 1093.93018 Math. Comput. Simul. 70, No. 5-6, 394-407 (2006). MSC: 93C65 90B50 PDFBibTeX XMLCite \textit{O. Kamach} et al., Math. Comput. Simul. 70, No. 5--6, 394--407 (2006; Zbl 1093.93018) Full Text: DOI
Holloway, Lawrence E.; Gong, Yu; Ashley, Jeff State observability and condition observability for a class of interacting discrete event systems. (English) Zbl 1093.93017 Math. Comput. Simul. 70, No. 5-6, 275-286 (2006). MSC: 93C65 93B05 93B07 PDFBibTeX XMLCite \textit{L. E. Holloway} et al., Math. Comput. Simul. 70, No. 5--6, 275--286 (2006; Zbl 1093.93017) Full Text: DOI
Pinchinat, Sophie; Riedweg, Stéphane A decidable class of problems for control under partial observation. (English) Zbl 1177.93059 Inf. Process. Lett. 95, No. 4, 454-460 (2005). MSC: 93C65 68Q60 93A13 PDFBibTeX XMLCite \textit{S. Pinchinat} and \textit{S. Riedweg}, Inf. Process. Lett. 95, No. 4, 454--460 (2005; Zbl 1177.93059) Full Text: DOI
Zad, S. Hashtrudi; Moosaei, M.; Wonham, W. M. On computation of supremal controllable, normal sublanguages. (English) Zbl 1129.93453 Syst. Control Lett. 54, No. 9, 871-876 (2005). MSC: 93C65 68Q45 93C83 PDFBibTeX XMLCite \textit{S. H. Zad} et al., Syst. Control Lett. 54, No. 9, 871--876 (2005; Zbl 1129.93453) Full Text: DOI
Komenda, Jan; van Schuppen, Jan H. Control of discrete-event systems with partial observations using coalgebra and coinduction. (English) Zbl 1101.93050 Discrete Event Dyn. Syst. 15, No. 3, 257-315 (2005). MSC: 93C65 93B25 PDFBibTeX XMLCite \textit{J. Komenda} and \textit{J. H. van Schuppen}, Discrete Event Dyn. Syst. 15, No. 3, 257--315 (2005; Zbl 1101.93050) Full Text: DOI
Lin, Feng Theorem of abstraction for equivalent controllers in hybrid systems. (English) Zbl 1135.93351 Inf. Sci. 173, No. 1-3, 181-195 (2005). MSC: 93C65 93B50 PDFBibTeX XMLCite \textit{F. Lin}, Inf. Sci. 173, No. 1--3, 181--195 (2005; Zbl 1135.93351) Full Text: DOI
Rohloff, Kurt; Lafortune, Stéphane PSPACE-completeness of modular supervisory control problems. (English) Zbl 1059.93092 Discrete Event Dyn. Syst. 15, No. 2, 145-167 (2005). MSC: 93C65 93A13 68Q17 68Q85 PDFBibTeX XMLCite \textit{K. Rohloff} and \textit{S. Lafortune}, Discrete Event Dyn. Syst. 15, No. 2, 145--167 (2005; Zbl 1059.93092) Full Text: DOI
Takai, Shigemasa; Ushio, Toshimitsu Supervisory control of a class of concurrent discrete event systems under partial observation. (English) Zbl 1130.93381 Discrete Event Dyn. Syst. 15, No. 1, 7-32 (2005). MSC: 93C65 93B05 PDFBibTeX XMLCite \textit{S. Takai} and \textit{T. Ushio}, Discrete Event Dyn. Syst. 15, No. 1, 7--32 (2005; Zbl 1130.93381) Full Text: DOI
Takai, Shigemasa Maximizing robustness of supervisors for partially observed discrete event systems. (English) Zbl 1036.93046 Automatica 40, No. 3, 531-535 (2004). Reviewer: Alex V. Kolnogorov (Novgorod) MSC: 93C65 93B35 PDFBibTeX XMLCite \textit{S. Takai}, Automatica 40, No. 3, 531--535 (2004; Zbl 1036.93046) 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
Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane On optimal control of a class of partially observed discrete event systems. (English) Zbl 1011.93069 Automatica 38, No. 11, 1935-1943 (2002). MSC: 93C65 93A13 PDFBibTeX XMLCite \textit{H. Marchand} et al., Automatica 38, No. 11, 1935--1943 (2002; Zbl 1011.93069) Full Text: DOI
Takai, S. Robust supervisory control of a class of timed discrete event systems under partial observation. (English) Zbl 0948.93038 Syst. Control Lett. 39, No. 4, 267-273 (2000). MSC: 93C65 93A13 93B50 PDFBibTeX XMLCite \textit{S. Takai}, Syst. Control Lett. 39, No. 4, 267--273 (2000; Zbl 0948.93038) Full Text: DOI
Chen, Yi-Liang; Lafortune, Stéphane; Lin, Feng Incremental model evolution and reusability of supervisors for discrete event systems. (English) Zbl 0957.93054 Automatica 36, No. 2, 243-259 (2000). Reviewer: Igor S.Grunsky (Donetsk) MSC: 93C65 93A13 PDFBibTeX XMLCite \textit{Y.-L. Chen} et al., Automatica 36, No. 2, 243--259 (2000; Zbl 0957.93054) Full Text: DOI
Park, S.-J.; Lim, J.-T. Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty. (English) Zbl 1037.93059 Int. J. Syst. Sci. 29, No. 9, 953-957 (1998). Reviewer: T. Riismaa (Tallinn) MSC: 93C65 90B25 93B35 93B07 PDFBibTeX XMLCite \textit{S. J. Park} and \textit{J. T. Lim}, Int. J. Syst. Sci. 29, No. 9, 953--957 (1998; Zbl 1037.93059) Full Text: DOI
Kumar, Ratnesh; Shayman, Mark A. Formulae relating controllability, observability, and co-observability. (English) Zbl 0911.93020 Automatica 34, No. 2, 211-215 (1998). Reviewer: Miroslav Lovrić (Hamilton) MSC: 93B07 93C30 93B05 93A14 93A13 PDFBibTeX XMLCite \textit{R. Kumar} and \textit{M. A. Shayman}, Automatica 34, No. 2, 211--215 (1998; Zbl 0911.93020) Full Text: DOI