Discrete Event Dynamic Systems-Theory and Applications

(The TQCC of Discrete Event Dynamic Systems-Theory and Applications is 4. 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-02-01 to 2024-02-01.)
Synthesis of covert actuator attackers for free35
Comparing the notions of opacity for discrete-event systems20
Modeling for supervisor synthesis – a lock-bridge combination case study19
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches15
A general language-based framework for specifying and verifying notions of opacity12
Information control in networked discrete event systems and its application to battery management systems11
On detectability of labeled Petri nets and finite automata11
Formal specification and verification of decentralized self-adaptive systems using symmetric nets11
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs8
Long time behaviour for Markovian branching-immigration systems7
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers7
Discrete-event systems subject to unknown sensor attacks6
Submodular optimization problems and greedy strategies: A survey5
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction5
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations5
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems5
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection5
Critical subsystems in time interval models5
Transformational supervisor synthesis for evolving systems5
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems4
Refinements of behavioural abstractions for the supervisory control of hybrid systems4
Discrete event optimization of a vehicle charging station with multiple sockets4
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies4
Decentralized diagnosis of discrete event systems subject to permanent sensor failures4
Detectability of labeled weighted automata over monoids4