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 2022-01-01 to 2026-01-01.)
ArticleCitations
Dynamics of products of matrices in max algebra23
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems12
Diagnosability verification using LTL model checking11
Overview of networked supervisory control with imperfect communication channels10
Optimization-based computation of bounded sequences to reach target states in DESs7
Offline supervisory control synthesis: taxonomy and recent developments7
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets7
Transformational supervisor synthesis for evolving systems7
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
A tropical-algebraic method for the control of timed event graphs with partial synchronization5
Supervisory control to maximize mean time to failure in discrete event systems5
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors5
Reliable decentralized failure diagnosis of discrete event systems using single-level inference4
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study4
Correction to: Transformational supervisor synthesis for evolving systems4
0.072829008102417