Introduction to Discrete Event Systems
From MaRDI portal
Publication:4990023
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)
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
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
- Detectability of labeled weighted automata over monoids
- Epistemic interpretations of decentralized discrete-event system problems
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- 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
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)