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 2022-06-01 to 2026-06-01.)

Article	Citations
Dynamics of products of matrices in max algebra	14
Overview of networked supervisory control with imperfect communication channels	11
An approximation-based incremental SMT approach for diagnosability analysis of real-time systems	11
Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets	9
Optimization-based computation of bounded sequences to reach target states in DESs	7
IPA for stationary problems	7
On Robust Supervisory Control of Metric Discrete Event Systems for scLTL Specifications	6
Queues with auto-correlated service times	6
Offline supervisory control synthesis: taxonomy and recent developments	6
Weakly strong semantics of Time Petri Nets and its algebraic description	5
Unified bisimulation applied to incremental abstraction of Petri nets	5
A survey on compositional algorithms for verification and synthesis in supervisory control	4
Mean-variance optimization of continuous time Markov decision processes	4
Correction to: Local and global robustness with q-step delay for max-plus linear systems	4
A tropical-algebraic method for the control of timed event graphs with partial synchronization	4
MGF-based SNC for stationary independent Markovian processes with localized application of martingales	4
On clock interval automata for a class of time PNs	3
Reliable decentralized failure diagnosis of discrete event systems using single-level inference	3
Task scheduling using Markov decision process over supervisory control theory	3
Probabilistic timed Petri nets for clinical pathway design and analysis: a case study	3
Supervisory control to maximize mean time to failure in discrete event systems	3
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case	2
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems	2
SMT-based and fixed-point approaches for state estimation in max-plus linear systems	2
Do what you know: coupling knowledge with action in discrete-event systems	2

Cycle times in D/D/S series queues with single multi-server bottlenecks	2
Correction to: Transformational supervisor synthesis for evolving systems	2
Offline analysis of the relaxed upper boundedness for online estimation ofoptimal event sequences in Partially Observable Petri Nets	2
Zero-sum semi-Markov games with state-action-dependent discount factors	2
Machine learning-enhanced vector ordinal optimization for multi-objective stochastic unit commitment	2
An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs	1
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies	1
On tolerance of discrete systems with respect to transition perturbations	1
Generation of mathematical programming representations for discrete event simulation models of timed petri nets	1
Constrained absorbing continuous-time stochastic games	1
$$\pi $$HyFlow: formalism, semantics, and applications	1
Bideterminants and balanced interval max-plus matrices	1
Design and verification of pipelined circuits with Timed Petri Nets	1
Team variance optimization of n-player stochastic games with separately controlled chains	1
Discrete-time hybrid control with risk-sensitive discounted costs	1
Hierarchical supervisory control of discrete event systems based on reliable events	1