Discrete Event Dynamic Systems-Theory and Applications

Papers
(The H4-Index of Discrete Event Dynamic Systems-Theory and Applications is 5. 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-11-01 to 2024-11-01.)
ArticleCitations
Comparing the notions of opacity for discrete-event systems25
A general language-based framework for specifying and verifying notions of opacity14
Formal specification and verification of decentralized self-adaptive systems using symmetric nets11
Discrete-event systems subject to unknown sensor attacks10
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems6
Discrete event optimization of a vehicle charging station with multiple sockets5
Detectability of labeled weighted automata over monoids5
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies5
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations5
Transformational supervisor synthesis for evolving systems5
Contention-resolving model predictive control for an intelligent intersection traffic model5
Supervisory controller synthesis and implementation for safety PLCs5
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection5
0.036962985992432