Introduction to Discrete Event Systems

DOI10.1007/978-3-030-72274-6zbMath1482.93001OpenAlexW1587663028MaRDI QIDQ4990023

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

Mathematics Subject Classification ID

Queueing theory (aspects of probability theory) (60K25) Discrete event control/observation systems (93C65) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) 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)

Related Items (11)

Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets ⋮ Supervisory controller synthesis and implementation for safety PLCs ⋮ Discrete-event systems subject to unknown sensor attacks ⋮ Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Verifying weak and strong \(k\)-step opacity in discrete-event systems ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Multi-level control for multiple mobile robot systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Detectability of labeled weighted automata over monoids ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies

Uses Software

• UMDES

This page was built for publication: Introduction to Discrete Event Systems