OOIR: Observatory of International Research

Papers

(The TQCC of Discrete Event Dynamic Systems-Theory and Applications is 3. 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-07-01 to 2024-07-01.)

Article	Citations
Comparing the notions of opacity for discrete-event systems	23
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches	16
A general language-based framework for specifying and verifying notions of opacity	14
Formal specification and verification of decentralized self-adaptive systems using symmetric nets	11
Long time behaviour for Markovian branching-immigration systems	8
Discrete-event systems subject to unknown sensor attacks	7
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems	6
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems	6
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
Supervisory controller synthesis and implementation for safety PLCs	4
Detectability of labeled weighted automata over monoids	4
Discrete event optimization of a vehicle charging station with multiple sockets	4
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets	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
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection	4
Discovering petri nets including silent transitions. A repairing approach based on structural patterns	3
Do what you know: coupling knowledge with action in discrete-event systems	3
Contention-resolving model predictive control for an intelligent intersection traffic model	3
A mean field absorbing control model for interacting objects systems	3
Failure detection and localization for timed event graphs in $(\max \limits ,+)$-algebra	3
Diagnosability verification using LTL model checking	3
Using Subobservers to Synthesize Opacity-Enforcing Supervisors	3

Observation-assisted heuristic synthesis of covert attackers against unknown supervisors	3
Compositional coordinator synthesis of extended finite automata	3
Weakly linear systems for matrices over the max-plus quantale	3