OOIR: Observatory of International Research

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-11-01 to 2025-11-01.)

Article	Citations
Dynamics of products of matrices in max algebra	21
Overview of networked supervisory control with imperfect communication channels	16
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems	11
Diagnosability verification using LTL model checking	10
Optimization-based computation of bounded sequences to reach target states in DESs	10
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets	10
Transformational supervisor synthesis for evolving systems	7
Offline supervisory control synthesis: taxonomy and recent developments	7
MGF-based SNC for stationary independent Markovian processes with localized application of martingales	6
A tropical-algebraic method for the control of timed event graphs with partial synchronization	6
Correction to: Local and global robustness with q-step delay for max-plus linear systems	6
A survey on compositional algorithms for verification and synthesis in supervisory control	6
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors	5
Discovering petri nets including silent transitions. A repairing approach based on structural patterns	5
Supervisory control to maximize mean time to failure in discrete event systems	5
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study	4
Zero-sum semi-Markov games with state-action-dependent discount factors	4
Correction to: Transformational supervisor synthesis for evolving systems	4
Reliable decentralized failure diagnosis of discrete event systems using single-level inference	4
SMT-based and fixed-point approaches for state estimation in max-plus linear systems	4
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems	3
Cycle times in D/D/S series queues with single multi-server bottlenecks	3
Do what you know: coupling knowledge with action in discrete-event systems	2
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs	2
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets	2

Design and verification of pipelined circuits with Timed Petri Nets	2
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case	2
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies	2
Detectability of labeled weighted automata over monoids	1
On tolerance of discrete systems with respect to transition perturbations	1
Average criteria in denumerable semi-Markov decision chains under risk-aversion	1
Ergodic properties of concurrent systems	1
Generation of mathematical programming representations for discrete event simulation models of timed petri nets	1
Hierarchical supervisory control of discrete event systems based on reliable events	1
Multi-level control for multiple mobile robot systems	1
$$\pi $$HyFlow: formalism, semantics, and applications	1
Discrete-time hybrid control with risk-sensitive discounted costs	1
Discrete-event systems subject to unknown sensor attacks	1
Triangulation of diagonally dominant min-plus matrices	1
A general language-based framework for specifying and verifying notions of opacity	1