OOIR: Observatory of International Research

Papers

(The median citation count of Discrete Event Dynamic Systems-Theory and Applications is 0. 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-09-01 to 2025-09-01.)

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

Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies	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
Detectability of labeled weighted automata over monoids	2
Discrete-event systems subject to unknown sensor attacks	1
$$\pi $$HyFlow: formalism, semantics, and applications	1
On tolerance of discrete systems with respect to transition perturbations	1
Triangulation of diagonally dominant min-plus matrices	1
Generation of mathematical programming representations for discrete event simulation models of timed petri nets	1
Discrete-time hybrid control with risk-sensitive discounted costs	1
Hierarchical supervisory control of discrete event systems based on reliable events	1
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms	0
Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition	0
Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints	0
Diagnosability and attack detection for discrete event systems under sensor attacks	0
Disordered discrete-time quantum walk over max-plus algebra	0
Tracking dynamic deadlines in switched max-plus linear systems with uncontrollable workloads	0
Compositional non-blockingness verification of finite automata with prioritised events	0
Local and global robustness with q-step delay for max-plus linear systems	0
Modeling and analysis of switching max-plus linear systems with discrete-event feedback	0
A general language-based framework for specifying and verifying notions of opacity	0
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection	0
Simulations and bisimulations for max-plus automata	0
Mixed Nondeterministic-Probabilistic Automata	0
An extremum timed extended reachability graph for temporal analysis of time Petri nets	0
Reducing the computational effort of symbolic supervisor synthesis	0
Automatic detection of Android crypto ransomware using supervisor reduction	0
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications	0
Epistemic interpretations of decentralized discrete-event system problems	0
Interpreted synchronous extension of time Petri nets	0
Weakly linear systems for matrices over the max-plus quantale	0
On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates	0
State estimation of timed probabilistic discrete event systems via artificial neural networks	0
Average criteria in denumerable semi-Markov decision chains under risk-aversion	0
Multi-level control for multiple mobile robot systems	0
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets	0
Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures	0
Scalable adaptive traffic light control over a traffic network including turns, transit delays, and blocking	0
Conflict-free electric vehicle routing problem: an improved compositional algorithm	0
Max-plus steady states in discrete event dynamic systems with inexact data	0
Supervisory controller synthesis and implementation for safety PLCs	0
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection	0
Hierarchical planning in a supervisory control context with compositional abstraction	0
Using Subobservers to Synthesize Opacity-Enforcing Supervisors	0
Ergodic properties of concurrent systems	0
Decentralized diagnosis of discrete event systems subject to permanent sensor failures	0
Switched max-plus linear-dual inequalities: cycle time analysis and applications	0
A novel fully adaptive neural network modeling and implementation using colored Petri nets	0