Introduction to Discrete Event Systems

DOI10.1007/978-0-387-68612-7zbMATH Open1165.93001OpenAlexW2509841691MaRDI QIDQ3426554FDOQ3426554

Christos G. Cassandras, Stéphane Lafortune

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 analysis Markov chains automata Petri nets discrete event systems language supervisory control concurrent estimation queueing theory, discrete-event simulation stochastic timed automata timed and hybrid models

Mathematics Subject Classification ID

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
State Complexity of Projected Languages
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
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
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
Coordination Control of Distributed Discrete-Event Systems
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
Dealing with sensor and actuator deception attacks in supervisory control
Using subobservers to synthesize opacity-enforcing supervisors
Opacity of networked discrete event systems
Comparing the notions of opacity for discrete-event systems
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
Introduction to Discrete Event Systems
A simple fault tolerant control for input/output asynchronous sequential machines
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation
Instruction-throughput regulation in computer processors with data-center applications
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
Strong current-state and initial-state opacity of discrete-event systems
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Supervisory control of discrete-event systems under attacks
Title not available (Why is that?)
Progressive events in supervisory control and compositional verification
Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes
State-based fault diagnosis of discrete-event systems with partially observable outputs
Hybrid online learning control in networked multiagent systems: A survey
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
Current-state opacity enforcement in discrete event systems under incomparable observations
Faults prognosis using partially observed stochastic Petri nets: an incremental approach
A hierarchical consistency framework for real-time supervisory control

Uses Software

UMDES

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)