Introduction to Discrete Event Systems
DOI10.1007/978-3-030-72274-6zbMATH Open1482.93001OpenAlexW1587663028MaRDI QIDQ4990023FDOQ4990023
Authors: Stéphane Lafortune, Christos G. Cassandras 
Publication date: 27 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-72274-6
Recommendations
- scientific article; zbMATH DE number 1383199
- scientific article; zbMATH DE number 1816768
- scientific article; zbMATH DE number 996440
- Introduction to Discrete Event Systems
- scientific article; zbMATH DE number 884989
- scientific article; zbMATH DE number 3930847
- Discrete events and general systems theory
- scientific article; zbMATH DE number 4110541
- Publication:4952737
- scientific article; zbMATH DE number 1262883
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Queueing theory (aspects of probability theory) (60K25) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Cited In (29)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Constrained motion planning and multi-agent path finding on directed graphs
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
- Stochastic Discrete Event Systems
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Discrete-event systems subject to unknown sensor attacks
- Supervisory controller synthesis and implementation for safety PLCs
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
- State estimation for constant-time labeled automata under dense time
- Multi-level control for multiple mobile robot systems
- On tolerance of discrete systems with respect to transition perturbations
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Diagnosability and attack detection for discrete event systems under sensor attacks
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Introduction to Discrete Event Systems
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Detectability of labeled weighted automata over monoids
- Epistemic interpretations of decentralized discrete-event system problems
- Safe environmental envelopes of discrete systems
- Synthesizing permissive winning strategy templates for parity games
- Sensor deception attacks against security in supervisory control systems
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- Discrete event systems. Modelling and control of distributed systems
- On the verification of detectability for timed discrete event systems
- Decoupled fitness criteria for reactive systems
- Implementable strategies for a two-player asynchronous game on Petri nets
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 Q4990023)
