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
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
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
Myšková, Helena; Plavka, Ján Max-plus steady states in discrete event dynamic systems with inexact data. (English) Zbl 1500.93070 Discrete Event Dyn. Syst. 32, No. 3, 521-538 (2022). MSC: 93C65 93B25 15A80 PDFBibTeX XMLCite \textit{H. Myšková} and \textit{J. Plavka}, Discrete Event Dyn. Syst. 32, No. 3, 521--538 (2022; Zbl 1500.93070) Full Text: DOI
Zhang, Kuize Detectability of labeled weighted automata over monoids. (English) Zbl 1524.68180 Discrete Event Dyn. Syst. 32, No. 3, 435-494 (2022). MSC: 68Q45 68Q25 68Q85 90C35 93B07 PDFBibTeX XMLCite \textit{K. Zhang}, Discrete Event Dyn. Syst. 32, No. 3, 435--494 (2022; Zbl 1524.68180) 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
Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. (English) Zbl 1489.93121 Discrete Event Dyn. Syst. 32, No. 1, 65-88 (2022); correction ibid. 32, No. 3, 539-544 (2022). MSC: 93E10 93B53 93B70 93C83 PDFBibTeX XMLCite \textit{D. Lefebvre} et al., Discrete Event Dyn. Syst. 32, No. 1, 65--88 (2022; Zbl 1489.93121) Full Text: DOI
Stamenković, Aleksandar; Ćirić, Miroslav; Djurdjanović, Dragan Weakly linear systems for matrices over the max-plus quantale. (English) Zbl 1489.93042 Discrete Event Dyn. Syst. 32, No. 1, 1-25 (2022). MSC: 93C05 15A80 PDFBibTeX XMLCite \textit{A. Stamenković} et al., Discrete Event Dyn. Syst. 32, No. 1, 1--25 (2022; Zbl 1489.93042) 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
Leite, Pedro A. C. F.; Baldissera, Fabio L.; Cury, José E. R. State-based supervisory control with restrictions on the supervisor realization. (English) Zbl 1458.93008 Discrete Event Dyn. Syst. 30, No. 4, 671-693 (2020). MSC: 93A13 93B52 93C29 92D10 92C42 PDFBibTeX XMLCite \textit{P. A. C. F. Leite} et al., Discrete Event Dyn. Syst. 30, No. 4, 671--693 (2020; Zbl 1458.93008) Full Text: DOI
Lefebvre, Dimitri; Hadjicostis, Christoforos N. Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. (English) Zbl 1448.93198 Discrete Event Dyn. Syst. 30, No. 3, 413-440 (2020). MSC: 93C65 93E03 93B53 93-10 PDFBibTeX XMLCite \textit{D. Lefebvre} and \textit{C. N. Hadjicostis}, Discrete Event Dyn. Syst. 30, No. 3, 413--440 (2020; Zbl 1448.93198) Full Text: DOI
Malik, Robi; Teixeira, Marcelo Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. (English) Zbl 1448.93204 Discrete Event Dyn. Syst. 30, No. 2, 211-241 (2020). MSC: 93C65 93-10 PDFBibTeX XMLCite \textit{R. Malik} and \textit{M. Teixeira}, Discrete Event Dyn. Syst. 30, No. 2, 211--241 (2020; Zbl 1448.93204) Full Text: DOI Link
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
Wang, Xi; Li, Zhiwu; Moor, Thomas SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. (English) Zbl 1441.93183 Discrete Event Dyn. Syst. 29, No. 4, 501-520 (2019). MSC: 93C65 90B35 PDFBibTeX XMLCite \textit{X. Wang} et al., Discrete Event Dyn. Syst. 29, No. 4, 501--520 (2019; Zbl 1441.93183) Full Text: DOI
He, Zhou; Liu, Miao; Ma, Ziyue; Li, Zhiwu; Giua, Alessandro An improved approach for marking optimization of timed weighted marked graphs. (English) Zbl 1439.90072 Discrete Event Dyn. Syst. 29, No. 2, 127-143 (2019). MSC: 90C35 90C90 PDFBibTeX XMLCite \textit{Z. He} et al., Discrete Event Dyn. Syst. 29, No. 2, 127--143 (2019; Zbl 1439.90072) Full Text: DOI
Keroglou, Christoforos; Hadjicostis, Christoforos N. Probabilistic system opacity in discrete event systems. (English) Zbl 1398.93216 Discrete Event Dyn. Syst. 28, No. 2, 289-314 (2018). MSC: 93C65 93E03 60J20 93A30 68Q80 PDFBibTeX XMLCite \textit{C. Keroglou} and \textit{C. N. Hadjicostis}, Discrete Event Dyn. Syst. 28, No. 2, 289--314 (2018; Zbl 1398.93216) Full Text: DOI
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
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
Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. (English) Zbl 1356.93005 Discrete Event Dyn. Syst. 27, No. 1, 1-44 (2017). MSC: 93A13 93C65 93C95 93C55 05C90 PDFBibTeX XMLCite \textit{E. Dallal} et al., Discrete Event Dyn. Syst. 27, No. 1, 1--44 (2017; Zbl 1356.93005) Full Text: DOI Link
Sears, David; Rudie, Karen Minimal sensor activation and minimal communication in discrete-event systems. (English) Zbl 1353.93071 Discrete Event Dyn. Syst. 26, No. 2, 295-349 (2016). MSC: 93C65 93A14 68T42 PDFBibTeX XMLCite \textit{D. Sears} and \textit{K. Rudie}, Discrete Event Dyn. Syst. 26, No. 2, 295--349 (2016; Zbl 1353.93071) Full Text: DOI
Falcone, Yliès; Marchand, Hervé Enforcement and validation (at runtime) of various notions of opacity. (English) Zbl 1400.94143 Discrete Event Dyn. Syst. 25, No. 4, 531-570 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{Y. Falcone} and \textit{H. Marchand}, Discrete Event Dyn. Syst. 25, No. 4, 531--570 (2015; Zbl 1400.94143) Full Text: DOI Link
Li, Ran; Reveliotis, Spyros Performance optimization for a class of generalized stochastic Petri nets. (English) Zbl 1328.93245 Discrete Event Dyn. Syst. 25, No. 3, 387-417 (2015). MSC: 93E03 93C65 93E25 PDFBibTeX XMLCite \textit{R. Li} and \textit{S. Reveliotis}, Discrete Event Dyn. Syst. 25, No. 3, 387--417 (2015; Zbl 1328.93245) Full Text: DOI
Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie Enforcing opacity of regular predicates on modal transition systems. (English) Zbl 1320.68126 Discrete Event Dyn. Syst. 25, No. 1-2, 251-270 (2015). MSC: 68Q85 68Q45 93A13 93A30 93B07 93C65 PDFBibTeX XMLCite \textit{P. Darondeau} et al., Discrete Event Dyn. Syst. 25, No. 1--2, 251--270 (2015; Zbl 1320.68126) Full Text: DOI Link
Cai, Kai; Wonham, W. M. New results on supervisor localization, with case studies. (English) Zbl 1328.93011 Discrete Event Dyn. Syst. 25, No. 1-2, 203-226 (2015). MSC: 93A13 93C65 93A14 68T42 PDFBibTeX XMLCite \textit{K. Cai} and \textit{W. M. Wonham}, Discrete Event Dyn. Syst. 25, No. 1--2, 203--226 (2015; Zbl 1328.93011) Full Text: DOI
Malik, Robi; Leduc, Ryan Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. (English) Zbl 1328.93012 Discrete Event Dyn. Syst. 25, No. 1-2, 177-201 (2015). MSC: 93A13 93A30 93C65 PDFBibTeX XMLCite \textit{R. Malik} and \textit{R. Leduc}, Discrete Event Dyn. Syst. 25, No. 1--2, 177--201 (2015; Zbl 1328.93012) Full Text: DOI Link
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
Schmidt, Klaus Werner Computation of supervisors for reconfigurable machine tools. (English) Zbl 1328.93013 Discrete Event Dyn. Syst. 25, No. 1-2, 125-158 (2015). MSC: 93A13 93C65 90B30 PDFBibTeX XMLCite \textit{K. W. Schmidt}, Discrete Event Dyn. Syst. 25, No. 1--2, 125--158 (2015; Zbl 1328.93013) 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
Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H. Coordination control of discrete-event systems revisited. (English) Zbl 1417.93207 Discrete Event Dyn. Syst. 25, No. 1-2, 65-94 (2015). MSC: 93C65 93A13 68W40 05C90 PDFBibTeX XMLCite \textit{J. Komenda} et al., Discrete Event Dyn. Syst. 25, No. 1--2, 65--94 (2015; Zbl 1417.93207) Full Text: DOI arXiv
Bayoudh, Mehdi; Travé-Massuyès, Louise Diagnosability analysis of hybrid systems cast in a discrete-event framework. (English) Zbl 1307.93247 Discrete Event Dyn. Syst. 24, No. 3, 309-338 (2014). MSC: 93C65 93C30 PDFBibTeX XMLCite \textit{M. Bayoudh} and \textit{L. Travé-Massuyès}, Discrete Event Dyn. Syst. 24, No. 3, 309--338 (2014; Zbl 1307.93247) Full Text: DOI HAL
Ru, Yu; Cabasino, Maria Paola; Giua, Alessandro; Hadjicostis, Christoforos N. Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. (English) Zbl 1307.93257 Discrete Event Dyn. Syst. 24, No. 3, 275-307 (2014). MSC: 93C65 93B50 93A13 PDFBibTeX XMLCite \textit{Y. Ru} et al., Discrete Event Dyn. Syst. 24, No. 3, 275--307 (2014; Zbl 1307.93257) Full Text: DOI Link
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
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
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
Shen, Zhen; Zhao, Qian-Chuan; Jia, Qing-Shan Quantifying heuristics in the ordinal optimization framework. (English) Zbl 1203.93122 Discrete Event Dyn. Syst. 20, No. 4, 441-471 (2010). MSC: 93C65 93B51 93E03 PDFBibTeX XMLCite \textit{Z. Shen} et al., Discrete Event Dyn. Syst. 20, No. 4, 441--471 (2010; Zbl 1203.93122) Full Text: DOI
Hill, Richard C.; Tilbury, Dawn M.; Lafortune, Stéphane Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution. (English) Zbl 1195.93021 Discrete Event Dyn. Syst. 20, No. 1, 139-185 (2010). MSC: 93A30 93C65 93B11 94C15 PDFBibTeX XMLCite \textit{R. C. Hill} et al., Discrete Event Dyn. Syst. 20, No. 1, 139--185 (2010; Zbl 1195.93021) Full Text: DOI
Feng, Lei; Wonham, W. M. On the computation of natural observers in discrete-event systems. (English) Zbl 1195.93081 Discrete Event Dyn. Syst. 20, No. 1, 63-102 (2010). MSC: 93C65 93B07 PDFBibTeX XMLCite \textit{L. Feng} and \textit{W. M. Wonham}, Discrete Event Dyn. Syst. 20, No. 1, 63--102 (2010; Zbl 1195.93081) Full Text: DOI
Shen, Zhen; Ho, Yu-Chi; Zhao, Qian-Chuan Ordinal optimization and quantification of heuristic designs. (English) Zbl 1192.93077 Discrete Event Dyn. Syst. 19, No. 3, 317-345 (2009). MSC: 93C65 90C59 93E20 PDFBibTeX XMLCite \textit{Z. Shen} et al., Discrete Event Dyn. Syst. 19, No. 3, 317--345 (2009; Zbl 1192.93077) 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
Ho, Yu-Chi; Jia, Qing-Shan; Zhao, Qian-Chuan The equivalence between ordinal optimization in deterministic complex problems and in stochastic simulation problems. (English) Zbl 1306.93080 Discrete Event Dyn. Syst. 16, No. 3, 405-411 (2006). MSC: 93E25 PDFBibTeX XMLCite \textit{Y.-C. Ho} et al., Discrete Event Dyn. Syst. 16, No. 3, 405--411 (2006; Zbl 1306.93080) Full Text: DOI
Guan, Xiaohong; Song, Chen; Ho, Yu-Chi; Zhao, Qianchuan Constrained ordinal optimization – a feasibility model based approach. (English) Zbl 1104.93058 Discrete Event Dyn. Syst. 16, No. 2, 279-299 (2006). MSC: 93E25 93C65 PDFBibTeX XMLCite \textit{X. Guan} et al., Discrete Event Dyn. Syst. 16, No. 2, 279--299 (2006; Zbl 1104.93058) 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
Grigorov, Lenko; Rudie, Karen Near-optimal online control of dynamic discrete-event systems. (English) Zbl 1103.93038 Discrete Event Dyn. Syst. 16, No. 4, 419-449 (2006). MSC: 93C55 93B40 PDFBibTeX XMLCite \textit{L. Grigorov} and \textit{K. Rudie}, Discrete Event Dyn. Syst. 16, No. 4, 419--449 (2006; Zbl 1103.93038) 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
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
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
Wong, K. C.; Wonham, W. M. Hierarchical control of timed discrete-event systems. (English) Zbl 0867.93008 Discrete Event Dyn. Syst. 6, No. 3, 275-306 (1996). Reviewer: Y.M.El-Fattah (Santa Monica) MSC: 93A13 93C99 93C30 PDFBibTeX XMLCite \textit{K. C. Wong} and \textit{W. M. Wonham}, Discrete Event Dyn. Syst. 6, No. 3, 275--306 (1996; Zbl 0867.93008) Full Text: DOI
Wong, K. C.; Wonham, W. M. Hierarchical control of discrete-event systems. (English) Zbl 0898.93005 Discrete Event Dyn. Syst. 6, No. 3, 241-273 (1996). Reviewer: Markos Papageorgiou (München) MSC: 93A13 93C30 93B07 PDFBibTeX XMLCite \textit{K. C. Wong} and \textit{W. M. Wonham}, Discrete Event Dyn. Syst. 6, No. 3, 241--273 (1996; Zbl 0898.93005) Full Text: DOI
Ben Hadj-Alouane, Nejib; Lafortune, Stéphane; Lin, Feng Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. (English) Zbl 0880.93016 Discrete Event Dyn. Syst. 6, No. 4, 379-427 (1996). Reviewer: T.M.Liebling (Lausanne) MSC: 93B40 93C30 93A13 93A14 65Y05 PDFBibTeX XMLCite \textit{N. Ben Hadj-Alouane} et al., Discrete Event Dyn. Syst. 6, No. 4, 379--427 (1996; Zbl 0880.93016) Full Text: DOI
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng Supervisory control using variable lookahead policies. (English) Zbl 0808.93001 Discrete Event Dyn. Syst. 4, No. 3, 237-268 (1994). MSC: 93A13 93A10 93B40 PDFBibTeX XMLCite \textit{S.-L. Chung} et al., Discrete Event Dyn. Syst. 4, No. 3, 237--268 (1994; Zbl 0808.93001) Full Text: DOI
Heymann, Michael; Lin, Feng On-line control of partially observed discrete event systems. (English) Zbl 0811.93004 Discrete Event Dyn. Syst. 4, No. 3, 221-236 (1994). MSC: 93A13 93B07 93A10 93B40 93B05 93B51 93C65 PDFBibTeX XMLCite \textit{M. Heymann} and \textit{F. Lin}, Discrete Event Dyn. Syst. 4, No. 3, 221--236 (1994; Zbl 0811.93004) Full Text: DOI
Lin, Feng Diagnosability of discrete event systems and its applications. (English) Zbl 0800.93030 Discrete Event Dyn. Syst. 4, No. 2, 197-212 (1994). MSC: 93A10 PDFBibTeX XMLCite \textit{F. Lin}, Discrete Event Dyn. Syst. 4, No. 2, 197--212 (1994; Zbl 0800.93030) Full Text: DOI
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng Recursive computation of limited lookahead supervisory controls for discrete event systems. (English) Zbl 0772.93001 Discrete Event Dyn. Syst. 3, No. 1, 71-100 (1993). MSC: 93A10 90C39 PDFBibTeX XMLCite \textit{S.-L. Chung} et al., Discrete Event Dyn. Syst. 3, No. 1, 71--100 (1993; Zbl 0772.93001) Full Text: DOI
Smedinga, Rein Locked discrete event systems: How to model and how to unlock. (English) Zbl 0769.93004 Discrete Event Dyn. Syst. 2, No. 3-4, 265-297 (1993). MSC: 93A10 93A30 PDFBibTeX XMLCite \textit{R. Smedinga}, Discrete Event Dyn. Syst. 2, No. 3--4, 265--297 (1993; Zbl 0769.93004) Full Text: DOI
Lafortune, Stéphane; Lin, Feng On tolerable and desirable behaviors in supervisory control of discrete event systems. (English) Zbl 0738.93008 Discrete Event Dyn. Syst. 1, No. 1, 61-92 (1991). MSC: 93B05 PDFBibTeX XMLCite \textit{S. Lafortune} and \textit{F. Lin}, Discrete Event Dyn. Syst. 1, No. 1, 61--92 (1991; Zbl 0738.93008) Full Text: DOI