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)- Coordination control of distributed discrete-event systems
- The Unmet Challenge of Timed Systems
- Verification of initial-state opacity in security applications of discrete event systems
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Computation of minimal event bases that ensure diagnosability
- Stabilization of finite automata with application to hybrid systems control
- A general approach for optimizing dynamic sensor activation for discrete event systems
- Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
- Diagnosability analysis of a class of hierarchical state machines
- Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems
- Matrix approach to detectability of discrete event systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- A control theory for Boolean monomial dynamical systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- 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
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Compositional coordinator synthesis of extended finite automata
- An improved algorithm for determinization of weighted and fuzzy automata
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- State complexity of projected languages
- Verification complexity of a class of observational properties for modular discrete events systems
- Resource contention games in multiclass stochastic flow models
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Perturbation analysis and optimization of multiclass multiobjective stochastic flow models
- On a structural property in the state complexity of projected regular languages
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- An approximations based approach to optimal control of switched dynamic systems
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- Synthesis of obfuscation policies to ensure privacy and utility
- Active fault tolerant control of discrete event systems using online diagnostics
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Guaranteed global performance through local coordinations
- Supervisory control of the structured dynamic discrete-event systems
- Verification of safe diagnosability of stochastic discrete-event systems
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
- Optimal constructions for active diagnosis
- Discrete-event models of a railway network
- Enforcement of opacity by public and private insertion functions
- Dynamical systems in categories
- On-line compositional controller synthesis for AGV
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Actuator saturation and anti-windup compensation in event-triggered control
- Minimal sensor activation and minimal communication in discrete-event systems
- Coordinated static control of asynchronous sequential machines
- Discrete-event diagnostic model for a distributed computational system. Independent chains
- A framework for state attraction of discrete event systems under partial observation
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Looking forward approach in cooperative differential games with uncertain stochastic dynamics
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
- A note on controllability of deterministic context-free~systems
- Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Monotone optimal control for a class of Markov decision processes
- Perturbation analysis and optimization of stochastic hybrid systems
- Synthesis of insertion functions for enforcement of opacity security properties
- Performance optimization for a class of generalized stochastic Petri nets
- Bisimilarity enforcing supervisory control for deterministic specifications
- Supervisory Control with Partial Observations
- Information and complexity in control systems: A tutorial
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Decentralized control of infinite systems
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Simulation budget allocation for simultaneously selecting the best and worst subsets
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Trajectory detectability of discrete-event systems
- On conditional decomposability
- A general framework for diagnosis of discrete event systems subject to sensor failures
- Control design for nondeterministic input/output automata
- Performance regulation in discrete event and hybrid dynamical systems using IPA
- Supervisory control of discrete event systems with distinguishers
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- State complexity of projection on languages recognized by permutation automata and commuting letters
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- Modeling and control of flexible context-dependent manufacturing systems
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Graph Games and Reactive Synthesis
- Algorithms for approximate subtropical matrix factorization
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Identification of stochastic timed discrete event systems with st-IPN
- Coordination control of discrete-event systems revisited
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- What you should know about simulation and derivatives
- Optimal supervisory control with mean payoff objectives and under partial observation
- Modeling memory effects in activity-driven networks
- Supervisor direct synthesis method for a structured discrete dynamical system
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)