Introduction to Discrete Event Systems

2021/01/01 by Christos G. Cassandras, Stéphane Lafortune · 5 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Distributed systems and fault tolerance #Petri Nets in System Modeling

paper · doi:10.1007/978-3-030-72274-6

crossref issued 2021/01/01 · crossref published 2021/01/01 · crossref published-print 2021/01/01 · openalex publication_date 2021/01/01 · crossref created 2021/11/11 · crossref deposited 2021/11/11 · openalex created_date 2025/10/10 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/19

Cited by

• Verification of Detectability Using Petri Nets and Detector
• Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles
• Opacity of Discrete Event Systems with Active Intruder
• A Complete Algebraic Solution to the Optimal Dynamic Rationing Policy in the Stock-Rationing Queue with Two Demand Classes
• Asymptotic Analysis for Greedy Initialization of Threshold-Based\n Distributed Optimization of Persistent Monitoring on Graphs
• Synchronized Task Decomposition for Cooperative Multi-agent Systems
• Computation for Supremal Simulation-Based Controllable and Strong\n Observable Subautomata
• Cooperative Tasking for Deterministic Specification Automata
• Bisimilarity Enforcing Supervisory Control for Deterministic Specifications
• A Note on Undecidability of Observation Consistency for Non-Regular Languages
• Virtual Modules in Discrete-Event Systems: Achieving Modular Diagnosability
• A weighted pair graph representation for reconstructibility of Boolean control networks
• Maximally Permissive Controlled System Synthesis for Modal Logic
• Knowledge Engineering for Planning-Based Hypothesis Generation
• Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems
• An Overview for Markov Decision Processes in Queues and Networks
• Stochastic Graph Transformation with Regions
• Privacy Preserving Controller Synthesis via Belief Abstraction
• Extended Insertion Functions for Opacity Enforcement
• Bounded Synthesis of Resilient Supervisors
• Communicate only when necessary: Cooperative tasking for multi-agent systems
• Detection and Mitigation of Classes of Attacks in Supervisory Control\n Systems
• On Preserving Observation Properties of the Reduced Supervisor in Discrete-Event Systems
• Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light\n Controllers
• A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
• The Minimal Cost Algorithm for Off-Line Diagnosability of Discrete Event Systems
• Modeling of Self-Organizing Systems: An Overview
• Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems
• Hybrid Systems, Iterative Learning Control, and Non-minimum Phase
• Perfect Sampling of Markov Chains with Piecewise Homogeneous Events
• Resilient Supervisory Control of Autonomous Intersections in the Presence of Sensor Attacks
• Fault-tolerant Cooperative Tasking for Multi-agent Systems
• Relative Observability of Discrete-Event Systems and its Supremal\n Sublanguages
• Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels
• Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
• Model-Based Engineering of Supervisory Controllers using CIF
• Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints
• Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
• Nondeterministic automata: equivalence, bisimulations, and uniform\n relations
• Complexity of Verifying Nonblockingness in Modular Supervisory Control
• Usability Aware Secret Protection with Minimum Cost
• Quasi-dynamic Traffic Light Control for a Single Intersection
• Stochastic Flow Models with Delays and Applications to Multi-Intersection Traffic Light Control
• A Computational Approach to Bisimulation of Hybrid Dynamical Systems
• IPA in the Loop: Control Design for Throughput Regulation in Computer Processors
• On the equivalence of holding cost and response time for evaluating performance of queues
• Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications
• Controller synthesis for bisimulation equivalence