Recommendations
- Introduction to Discrete Event Systems
- scientific article; zbMATH DE number 1383199
- Discrete event systems. Modelling and control of distributed systems
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Discrete event systems. Modeling and analysis of dynamical systems with automata, Markov chains and Petri nets.
Cited in
(only showing first 100 items - show all)- Supervisory control of the structured dynamic discrete-event systems
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- Evaluating the quality of online optimization algorithms by discrete event simulation
- Control design for nondeterministic input/output automata
- Performance regulation in discrete event and hybrid dynamical systems using IPA
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- Verification complexity of a class of observational properties for modular discrete events systems
- Simulation budget allocation for simultaneously selecting the best and worst subsets
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Supervisory control and reactive synthesis: a comparative introduction
- Detection and mitigation of classes of attacks in supervisory control systems
- Fault tolerant control for a class of interconnected asynchronous sequential machines
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- An approximations based approach to optimal control of switched dynamic systems
- Identification of stochastic timed discrete event systems with st-IPN
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- Trajectory detectability of discrete-event systems
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Opinion influence and evolution in social networks: a Markovian agents model
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
- Instruction-throughput regulation in computer processors with data-center applications
- Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach
- A hierarchical consistency framework for real-time supervisory control
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
- Enforcement of opacity by public and private insertion functions
- On conditional decomposability
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- Model identification of unobservable behavior of discrete event systems using Petri nets
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Verification of C-detectability using Petri nets
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Opacity of networked discrete event systems
- Detectability verification of probabilistic Boolean networks
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
- Compositional coordinator synthesis of extended finite automata
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- Comparing the notions of opacity for discrete-event systems
- Optimal modular control of discrete event systems with distinguishers and approximations
- Design of supervisors for linear marking specifications in labeled Petri nets
- Enforcing current-state opacity through shuffle and deletions of event observations
- Verification and enforcement of strong infinite- and k-step opacity using state recognizers
- Usability aware secret protection with minimum cost
- Diagnosability verification using LTL model checking
- Optimization-based assessment of initial-state opacity in Petri nets
- Dealing with sensor and actuator deception attacks in supervisory control
- Using subobservers to synthesize opacity-enforcing supervisors
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- K-loss robust codiagnosability of discrete-event systems
- A framework for current-state opacity under dynamic information release mechanism
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- Hierarchical planning in a supervisory control context with compositional abstraction
- Computational complexity of synchronization under sparse regular constraints
- Modular control of discrete-event systems using similarity
- On the state liveness of some classes of guidepath-based transport systems and its computational complexity
- Coordinated static control of asynchronous sequential machines
- A controller synthesis framework for automated service composition
- Time-optimal control of large-scale systems of systems using compositional optimization
- Causality analysis and fault ascription in component-based systems
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- Information control in networked discrete event systems and its application to battery management systems
- On the computation of counterexamples in compositional nonblocking verification
- Modeling for supervisor synthesis -- a lock-bridge combination case study
- Algorithms for approximate subtropical matrix factorization
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Discrete event system identification with the aim of fault detection
- Efficient generation of performance bounds for a class of traffic scheduling problems
- Supervisory control of discrete-event systems under attacks
- Matrix approach to detectability of discrete event systems
- A simple fault tolerant control for input/output asynchronous sequential machines
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Multi-intersection traffic light control with blocking
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Coordination control of discrete-event systems revisited
- A hierarchical and modular control architecture for sequential behaviours
- Computation of supervisors for reconfigurable machine tools
- Performance optimization for a class of generalized stochastic Petri nets
- Stochastic optimization on social networks with application to service pricing
- Differentiability conditions for stochastic hybrid systems with application to the optimal design of microgrids
- Verification of opacity and diagnosability for pushdown systems
- A note on controllability of deterministic context-free~systems
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Methods for the estimation of the size of lookahead tree state-space
This page was built for publication: Introduction to Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3426554)
