- Jung-Min Yang, Thomas Moor, Jörg Raisch. Refinements of behavioural abstractions for the supervisory control of hybrid systems. Discrete Event Dynamic Systems, 30(3):533-560, 2020.
- Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch. Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control. Discrete Event Dynamic Systems, 30(4):605-634, 2020.
- Rui Chen, Christos G. Cassandras. Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control. Discrete Event Dynamic Systems, 30(1):125-153, 2020.
- Marius Kloetzer, Cristian Mahulea. Path planning for robotic teams based on LTL specifications and Petri net models. Discrete Event Dynamic Systems, 30(1):55-79, 2020.
- Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar. On the relation between reactive synthesis and supervisory control of non-terminating processes. Discrete Event Dynamic Systems, 30(1):81-124, 2020.
- Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond. A contribution to the determinization of max-plus automata. Discrete Event Dynamic Systems, 30(1):155-174, 2020.
- Kuize Zhang, Alessandro Giua. On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems, 30(3):465-497, 2020.
- Bart De Schutter, Ton J. J. van den Boom, Jia Xu, Samira S. Farahani. Analysis and control of max-plus linear discrete-event systems: An introduction. Discrete Event Dynamic Systems, 30(1):25-54, 2020.
- Pedro A. C. F. Leite, Fabio L. Baldissera, José E. R. Cury. State-based supervisory control with restrictions on the supervisor realization. Discrete Event Dynamic Systems, 30(4):671-693, 2020.
- Liyong Lin, Yuting Zhu, Rong Su. Synthesis of covert actuator attackers for free. Discrete Event Dynamic Systems, 30(4):561-577, 2020.