Discrete Event Dynamic Systems-Theory and Applications

Papers
(The median citation count of Discrete Event Dynamic Systems-Theory and Applications is 1. 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-04-01 to 2025-04-01.)
ArticleCitations
Diagnosability verification using LTL model checking27
Dynamics of products of matrices in max algebra19
Triangulation of diagonally dominant min-plus matrices13
Epistemic interpretations of decentralized discrete-event system problems11
Interpreted synchronous extension of time Petri nets7
Zero-sum semi-Markov games with state-action-dependent discount factors7
Reducing the computational effort of symbolic supervisor synthesis6
Correction to: Transformational supervisor synthesis for evolving systems6
Overview of networked supervisory control with imperfect communication channels6
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets5
Conflict-free electric vehicle routing problem: an improved compositional algorithm5
An extremum timed extended reachability graph for temporal analysis of time Petri nets5
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets5
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems5
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection5
Correction to: Local and global robustness with q-step delay for max-plus linear systems5
Hierarchical scheduling learning optimisation of two-area active distribution system considering peak shaving demand of power grid4
A survey on compositional algorithms for verification and synthesis in supervisory control4
MGF-based SNC for stationary independent Markovian processes with localized application of martingales3
Cycle times in D/D/S series queues with single multi-server bottlenecks3
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms3
Average criteria in denumerable semi-Markov decision chains under risk-aversion3
Multi-level control for multiple mobile robot systems3
Mixed Nondeterministic-Probabilistic Automata2
Disordered discrete-time quantum walk over max-plus algebra2
A general language-based framework for specifying and verifying notions of opacity2
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs2
Do what you know: coupling knowledge with action in discrete-event systems2
Max-plus steady states in discrete event dynamic systems with inexact data2
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case2
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies1
Detectability of labeled weighted automata over monoids1
Design and verification of pipelined circuits with Timed Petri Nets1
Failure detection and localization for timed event graphs in $(\max \limits ,+)$-algebra1
Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures1
A tropical-algebraic method for the control of timed event graphs with partial synchronization1
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors1
Hierarchical planning in a supervisory control context with compositional abstraction1
0.14297413825989