Thuijsman, Sander; Reniers, Michel Transformational supervisor synthesis for evolving systems. (English) Zbl 1492.93116 Discrete Event Dyn. Syst. 32, No. 2, 317-358 (2022); correction ibid. 33, No. 4, 509-513 (2023). MSC: 93C65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Pomares-Angelino, Román; López-Mellado, Ernesto Discovering Petri nets including silent transitions. A repairing approach based on structural patterns. (English) Zbl 1492.93113 Discrete Event Dyn. Syst. 32, No. 2, 291-315 (2022). MSC: 93C65 × Cite Format Result Cite Review PDF Full Text: DOI
Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye A general language-based framework for specifying and verifying notions of opacity. (English) Zbl 1492.93118 Discrete Event Dyn. Syst. 32, No. 2, 253-289 (2022). MSC: 93C65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Yin, Yingxuan; Tao, Yuegang; Wang, Cailu; Chen, Haiyong Local and global robustness with \(q\)-step delay for max-plus linear systems. (English) Zbl 1492.93047 Discrete Event Dyn. Syst. 32, No. 2, 231-251 (2022). MSC: 93B35 93C05 93B25 15A80 × Cite Format Result Cite Review PDF Full Text: DOI
Zheng, Huanfei; Wang, Yue Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications. (English) Zbl 1492.93017 Discrete Event Dyn. Syst. 32, No. 2, 195-230 (2022). MSC: 93A16 93C85 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Wada, Akihito; Takai, Shigemasa Decentralized diagnosis of discrete event systems subject to permanent sensor failures. (English) Zbl 1492.93117 Discrete Event Dyn. Syst. 32, No. 2, 159-193 (2022). MSC: 93C65 93A14 × Cite Format Result Cite Review PDF Full Text: DOI