Introduction to Discrete Event Systems
From MaRDI portal
Publication:3426554
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 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)
- 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 of Discrete Faults with Uncertain Observations
- 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
- An Overview for Markov Decision Processes in Queues and Networks
- 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
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Opinion influence and evolution in social networks: a Markovian agents model
- 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
- Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification
- 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
- 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
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- Polynomial-time verification of diagnosability of fuzzy discrete event systems
- Time variant dynamic models in diagnosing of real-time computer systems
- Graph Games and Reactive Synthesis
- Identification of stochastic timed discrete event systems with st-IPN
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- A general framework for diagnosis of discrete event systems subject to sensor failures
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Diagnosability of discrete event systems subject to permanent sensor failures
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Optimal supervisory control with mean payoff objectives and under partial observation
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- Modeling and control of flexible context-dependent manufacturing systems
- Supervisory Control of Discrete-Event Systems
- Decentralized control of infinite systems
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)
