- Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau. SMT-based and fixed-point approaches for state estimation in max-plus linear systems. Discrete Event Dynamic Systems, 35(2):69-85, June 2025.
- Manon Le Moigne, Cristian Mahulea, Gregory Faraut, Simona Bernardi 0001, Jorge Albareda, Lidia Castán. Probabilistic timed Petri nets for clinical pathway design and analysis: a case study. Discrete Event Dynamic Systems, 35(3):205-231, September 2025.
- Philippe Declerck. Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets. Discrete Event Dynamic Systems, 35(1):23-49, March 2025.
- Lulu He, Philippe Dague, Lina Ye. An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. Discrete Event Dynamic Systems, 35(3):267-299, September 2025.
- Yingqing Chen, Christos G. Cassandras. Scalable adaptive traffic light control over a traffic network including turns, transit delays, and blocking. Discrete Event Dynamic Systems, 35(3):175-204, September 2025.
- Farzad Abdous, Abbas Dideban. Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints. Discrete Event Dynamic Systems, 35(3):233-265, September 2025.
- Rafael Garlet de Oliveira, Max Hering de Queiroz, José Eduardo Ribeiro Cury. Hierarchical supervisory control of discrete event systems based on reliable events. Discrete Event Dynamic Systems, 35(1):51-67, March 2025.
- Samy Abbes, Vincent Jugé. Ergodic properties of concurrent systems. Discrete Event Dynamic Systems, 35(2):137-174, June 2025.
- Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre. State estimation of timed probabilistic discrete event systems via artificial neural networks. Discrete Event Dynamic Systems, 35(2):107-135, June 2025.
- Roberto Cordone, Francesco Basile, Luigi Piroddi. Optimization-based computation of bounded sequences to reach target states in DESs. Discrete Event Dynamic Systems, 35(2):87-105, June 2025.