Discrete Event Dynamic Systems-Theory and Applications

Papers
(The TQCC of Discrete Event Dynamic Systems-Theory and Applications is 3. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-08-01 to 2026-08-01.)
ArticleCitations
Dynamics of products of matrices in max algebra17
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems15
IPA for stationary problems9
Overview of networked supervisory control with imperfect communication channels9
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets8
Optimization-based computation of bounded sequences to reach target states in DESs7
On Robust Supervisory Control of Metric Discrete Event Systems for scLTL Specifications6
Unified bisimulation applied to incremental abstraction of Petri nets6
Offline supervisory control synthesis: taxonomy and recent developments6
Timed output synchronized Petri nets and synchronized state class graph5
Current-State opacity based on state outputs: definition and verification5
Mean-variance optimization of continuous time Markov decision processes5
Queues with auto-correlated service times5
MGF-based SNC for stationary independent Markovian processes with localized application of martingales4
Correction to: Local and global robustness with q-step delay for max-plus linear systems4
Erratum: Extending the Network Calculus algorithmic toolbox: Pseudo-inverse and composition4
Petri net applications: a success story4
On clock interval automata for a class of time PNs4
A survey on compositional algorithms for verification and synthesis in supervisory control4
Weakly strong semantics of Time Petri Nets and its algebraic description4
A tropical-algebraic method for the control of timed event graphs with partial synchronization4
An overview of paradigms and results in the control of continuous and hybrid Petri nets3
Task scheduling using Markov decision process over supervisory control theory3
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study3
Supervisory control to maximize mean time to failure in discrete event systems3
1.7163050174713