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)

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
A Summary of Some Discrete-Event System Control Problems
Detectability verification of probabilistic Boolean networks
Current-state opacity and initial-state opacity of modular discrete event systems
Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
Optimal modular control of discrete event systems with distinguishers and approximations
Design of supervisors for linear marking specifications in labeled Petri nets
Modular control of discrete-event systems using similarity
Verification of opacity and diagnosability for pushdown systems
Modeling for supervisor synthesis -- a lock-bridge combination case study
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
Predictive runtime enforcement
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
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Optimization-based assessment of initial-state opacity in Petri nets
Fault tolerant control for a class of interconnected asynchronous sequential machines
Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
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

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)