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
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
Optimization-based computation of bounded sequences to reach target states in DESs7
0.063006162643433