Discrete Event Dynamic Systems-Theory and Applications

Papers
(The TQCC of Discrete Event Dynamic Systems-Theory and Applications is 4. 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 2021-11-01 to 2025-11-01.)
ArticleCitations
Dynamics of products of matrices in max algebra21
Overview of networked supervisory control with imperfect communication channels16
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems11
Diagnosability verification using LTL model checking10
Optimization-based computation of bounded sequences to reach target states in DESs10
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets10
Transformational supervisor synthesis for evolving systems7
Offline supervisory control synthesis: taxonomy and recent developments7
A tropical-algebraic method for the control of timed event graphs with partial synchronization6
Correction to: Local and global robustness with q-step delay for max-plus linear systems6
A survey on compositional algorithms for verification and synthesis in supervisory control6
MGF-based SNC for stationary independent Markovian processes with localized application of martingales6
Discovering petri nets including silent transitions. A repairing approach based on structural patterns5
Supervisory control to maximize mean time to failure in discrete event systems5
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors5
Correction to: Transformational supervisor synthesis for evolving systems4
Reliable decentralized failure diagnosis of discrete event systems using single-level inference4
SMT-based and fixed-point approaches for state estimation in max-plus linear systems4
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study4
Zero-sum semi-Markov games with state-action-dependent discount factors4
0.019063949584961