default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 35
Volume 35, Number 1, March 2025
- Mohamad Ilham Dwi Firmansyah
, Muhammad Syifa'ul Mufid, Subiono, Bijan Davvaz:
Disordered discrete-time quantum walk over max-plus algebra. 1-21 - Philippe Declerck:
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets. 23-49 - Rafael Garlet de Oliveira, Max Hering de Queiroz, José Eduardo Ribeiro Cury:
Hierarchical supervisory control of discrete event systems based on reliable events. 51-67
Volume 35, Number 2, June 2025
- Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau:
SMT-based and fixed-point approaches for state estimation in max-plus linear systems. 69-85 - Roberto Cordone, Francesco Basile, Luigi Piroddi:
Optimization-based computation of bounded sequences to reach target states in DESs. 87-105 - Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre:
State estimation of timed probabilistic discrete event systems via artificial neural networks. 107-135 - Samy Abbes, Vincent Jugé:
Ergodic properties of concurrent systems. 137-174
Volume 35, Number 3, September 2025
- Yingqing Chen, Christos G. Cassandras:
Scalable adaptive traffic light control over a traffic network including turns, transit delays, and blocking. 175-204 - Manon Le Moigne, Cristian Mahulea, Gregory Faraut, Simona Bernardi, Jorge Albareda, Lidia Castán:
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study. 205-231 - Farzad Abdous, Abbas Dideban:
Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints. 233-265 - Lulu He, Philippe Dague, Lina Ye:
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. 267-299
Volume 35, Number 4, December 2025
- Ivelina Stoyanova, Nicolas Museux, Sao Mai Nguyen, David Filliat:
A comparative review of decision-making approaches for realistic event-driven environments. 301-334 - Ernesto López-Mellado, Yolanda Andrea Álvarez-Pérez:
Enhancement of Petri nets identified from discrete-event processes by scheduling t-components. 335-354 - Nishant Parekh, Wolfgang Ahrendt, Martin Fabian:
Smart contract denial-of-service analysis using non-blocking verification. 355-387
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-09 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
