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 2020-03-01 to 2024-03-01.)

Article	Citations
Synthesis of covert actuator attackers for free	36
Comparing the notions of opacity for discrete-event systems	20
Modeling for supervisor synthesis – a lock-bridge combination case study	20
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches	15
A general language-based framework for specifying and verifying notions of opacity	12
On detectability of labeled Petri nets and finite automata	11
Formal specification and verification of decentralized self-adaptive systems using symmetric nets	11
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs	8
Discrete-event systems subject to unknown sensor attacks	7
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers	7
Long time behaviour for Markovian branching-immigration systems	7
Critical subsystems in time interval models	5
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction	5
Transformational supervisor synthesis for evolving systems	5
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection	5
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations	5
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems	5
Detectability of labeled weighted automata over monoids	4
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems	4
Refinements of behavioural abstractions for the supervisory control of hybrid systems	4
Discrete event optimization of a vehicle charging station with multiple sockets	4
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies	4
Decentralized diagnosis of discrete event systems subject to permanent sensor failures	4
Model-checking precision agriculture logistics: the case of the differential harvest	3
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors	3

Contention-resolving model predictive control for an intelligent intersection traffic model	3
Discovering petri nets including silent transitions. A repairing approach based on structural patterns	3
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection	3
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets	3
Compositional coordinator synthesis of extended finite automata	3
Supervisory controller synthesis and implementation for safety PLCs	2
Using Subobservers to Synthesize Opacity-Enforcing Supervisors	2
Arborescent architecture for decentralized diagnosis of discrete event systems	2
A mean field absorbing control model for interacting objects systems	2
Failure detection and localization for timed event graphs in $(\max \limits ,+)$-algebra	2
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net	2
Weakly linear systems for matrices over the max-plus quantale	2
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics	2
Hierarchical scheduling learning optimisation of two-area active distribution system considering peak shaving demand of power grid	2
Interpreted synchronous extension of time Petri nets	2
Editorial - Thirty years of J-DEDS: moving on with new leadership	1
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption	1
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control	1
Diagnosability verification using LTL model checking	1
Logical time control of concurrent DES	1
A receding horizon event-driven control strategy for intelligent traffic management	1
Design and verification of pipelined circuits with Timed Petri Nets	1
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems	1
Epistemic interpretations of decentralized discrete-event system problems	1
Pathwise stability of multiclass queueing networks	1
Commodification of accelerations for the Karp and Miller Construction	1
Hierarchical planning in a supervisory control context with compositional abstraction	1
Do what you know: coupling knowledge with action in discrete-event systems	1
Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays	1