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-05-01 to 2026-05-01.)
ArticleCitations
Dynamics of products of matrices in max algebra13
Overview of networked supervisory control with imperfect communication channels11
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems11
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets11
IPA for stationary problems9
Optimization-based computation of bounded sequences to reach target states in DESs7
Offline supervisory control synthesis: taxonomy and recent developments7
Mean-variance optimization of continuous time Markov decision processes6
Weakly strong semantics of Time Petri Nets and its algebraic description6
Queues with auto-correlated service times6
Correction to: Local and global robustness with q-step delay for max-plus linear systems5
MGF-based SNC for stationary independent Markovian processes with localized application of martingales5
On clock interval automata for a class of time PNs4
Task scheduling using Markov decision process over supervisory control theory4
A tropical-algebraic method for the control of timed event graphs with partial synchronization4
Supervisory control to maximize mean time to failure in discrete event systems4
A survey on compositional algorithms for verification and synthesis in supervisory control4
Machine learning-enhanced vector ordinal optimization for multi-objective stochastic unit commitment3
Correction to: Transformational supervisor synthesis for evolving systems3
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study3
Reliable decentralized failure diagnosis of discrete event systems using single-level inference3
SMT-based and fixed-point approaches for state estimation in max-plus linear systems3
0.057140111923218