Introduction to Discrete Event Systems
From MaRDI portal
Publication:3426554
DOI10.1007/978-0-387-68612-7zbMATH Open1165.93001OpenAlexW2509841691MaRDI QIDQ3426554FDOQ3426554
Authors: Stéphane Lafortune, Christos G. Cassandras 
Publication date: 9 March 2007
Full work available at URL: https://doi.org/10.1007/978-0-387-68612-7
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.
sensitivity analysisMarkov chainsautomataPetri netsdiscrete event systemslanguagesupervisory controlconcurrent estimationqueueing theory, discrete-event simulationstochastic timed automatatimed and hybrid models
General systems (93A10) Discrete event control/observation systems (93C65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Cited In (only showing first 100 items - show all)
- Diagnosability analysis of a class of hierarchical state machines
- 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
- Verification complexity of a class of observational properties for modular discrete events systems
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Resource contention games in multiclass stochastic flow models
- A general approach for optimizing dynamic sensor activation for discrete event systems
- 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
- Coordinated static control of asynchronous sequential machines
- An improved algorithm for determinization of weighted and fuzzy automata
- 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
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
- Monotone optimal control for a class of Markov decision processes
- Coordination control of distributed discrete-event systems
- On a structural property in the state complexity of projected regular languages
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- An approximations based approach to optimal control of switched dynamic systems
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
- Optimal constructions for active diagnosis
- Discrete-event models of a railway network
- Synthesis of insertion functions for enforcement of opacity security properties
- Bisimilarity enforcing supervisory control for deterministic specifications
- A control theory for Boolean monomial dynamical systems
- Perturbation analysis and optimization of multiclass multiobjective stochastic flow models
- Active fault tolerant control of discrete event systems using online diagnostics
- Guaranteed global performance through local coordinations
- Perturbation analysis and optimization of stochastic hybrid systems
- Matrix approach to detectability of discrete event systems
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
- Compositional coordinator synthesis of extended finite automata
- Synthesis of obfuscation policies to ensure privacy and utility
- Actuator saturation and anti-windup compensation in event-triggered control
- A note on controllability of deterministic context-free~systems
- The Unmet Challenge of Timed Systems
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Stabilization of finite automata with application to hybrid systems control
- State complexity of projected languages
- Supervisory control of the structured dynamic discrete-event systems
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Verification of initial-state opacity in security applications of discrete event systems
- Verification of safe diagnosability of stochastic discrete-event systems
- Enforcement of opacity by public and private insertion functions
- Minimal sensor activation and minimal communication in discrete-event systems
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- 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
- Performance optimization for a class of generalized stochastic Petri nets
- Computation of minimal event bases that ensure diagnosability
- Dynamical systems in categories
- On-line compositional controller synthesis for AGV
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- 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
- Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
- What you should know about simulation and derivatives
- Supervisory Control with Partial Observations
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- Trajectory detectability of discrete-event systems
- Diagnosis of deep discrete-event systems
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Opinion influence and evolution in social networks: a Markovian agents model
- Modeling memory effects in activity-driven networks
- Supervisory control and reactive synthesis: a comparative introduction
- What information really matters in supervisor reduction?
- Computing observers from observation policies in discrete-event systems
- Discrete event system identification with the aim of fault detection
- Algorithms for approximate subtropical matrix factorization
- Coordination control of discrete-event systems revisited
- Diagnosability of intermittent sensor faults in discrete event systems
- Causality analysis and fault ascription in component-based systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Evaluating the quality of online optimization algorithms by discrete event simulation
- Monitoring of dynamic processes by rectangular hybrid automata
- Diagnosability of discrete faults with uncertain observations
- A weighted pair graph representation for reconstructibility of Boolean control networks
- Online minimization of sensor activation for supervisory control
- Supervisory control of discrete event systems with distinguishers
- Supervisor direct synthesis method for a structured discrete dynamical system
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- 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
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
Uses Software
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)
