Discrete Event Dynamic Systems-Theory and Applications

Papers
(The H4-Index of Discrete Event Dynamic Systems-Theory and Applications is 7. 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
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets7
Transformational supervisor synthesis for evolving systems7
Optimization-based computation of bounded sequences to reach target states in DESs7
Offline supervisory control synthesis: taxonomy and recent developments7
0.12625002861023