Introduction to Discrete Event Systems
From MaRDI portal
Publication:3426554
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)- Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Enforcing opacity by insertion functions under multiple energy constraints
- Dealing with sensor and actuator deception attacks in supervisory control
- Using subobservers to synthesize opacity-enforcing supervisors
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- State complexity of projection on languages recognized by permutation automata and commuting letters
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of networked discrete event systems
- Comparing the notions of opacity for discrete-event systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- On transforming hybrid nonlinear control problems with model uncertainty and input disturbance to mixed integer-linear programs
- Diagnosability analysis of a class of hierarchical state machines
- Verification complexity of a class of observational properties for modular discrete events systems
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
- Behavioural models. From modelling finite automata to analysing business processes
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
- 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
- Resource contention games in multiclass stochastic flow models
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- What you should know about simulation and derivatives
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
- Introduction to Discrete Event Systems
- A simple fault tolerant control for input/output asynchronous sequential machines
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- On coparanormality in distributed supervisory control of discrete-event systems
- Supervisory Control with Partial Observations
- Optimal control of a class of positive Markovian bilinear systems
- Design of stabilizing strategies for discrete-time dual switching linear systems
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Trajectory detectability of discrete-event systems
- Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
- Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
- Instruction-throughput regulation in computer processors with data-center applications
- Opinion influence and evolution in social networks: a Markovian agents model
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Coordinated static control of asynchronous sequential machines
- Verification of C-detectability using Petri nets
- 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
- \(K\)-loss robust codiagnosability of discrete-event systems
- A framework for current-state opacity under dynamic information release mechanism
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
- Diagnosis of deep discrete-event systems
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification
- Coordination control of distributed discrete-event systems
- Strong current-state and initial-state opacity of discrete-event systems
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- Cooperative tasking for deterministic specification automata
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- Supervisory control of discrete-event systems under attacks
- Modeling memory effects in activity-driven networks
- Supervisory control and reactive synthesis: a comparative introduction
- An improved algorithm for determinization of weighted and fuzzy automata
- Stochastic Discrete Event Systems
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- Coordinated corrective control for model matching of asynchronous sequential machines
- scientific article; zbMATH DE number 7290853 (Why is no real title available?)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
- Hierarchical planning in a supervisory control context with compositional abstraction
- Discrete event system identification with the aim of fault detection
- Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- A summary of some discrete-event system control problems
- Computation of supervisors for reconfigurable machine tools
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Algorithms for approximate subtropical matrix factorization
- Coordination control of discrete-event systems revisited
- Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments
- Progressive events in supervisory control and compositional verification
- Diagnosability of intermittent sensor faults in discrete event systems
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- Stochastic optimization on social networks with application to service pricing
- An inferencing structure for MPO-based decentralized dynamic fault diagnosis
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Monotone optimal control for a class of Markov decision processes
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Hybrid online learning control in networked multiagent systems: A survey
- On a structural property in the state complexity of projected regular languages
- Verification and enforcement of current-state opacity based on a state space approach
- Performance evaluation of schedulers in a probabilistic setting
- Discrete event systems. Modeling and analysis of dynamical systems with automata, Markov chains and Petri nets.
- Causality analysis and fault ascription in component-based systems
- Coordination control of distributed discrete-event systems
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)
