A general architecture for decentralized supervisory control of discrete-event systems
From MaRDI portal
Publication:1610350
DOI10.1023/A:1015625600613zbMath1048.93067OpenAlexW2108990199MaRDI QIDQ1610350
Stéphane Lafortune, Tae-Sic Yoo
Publication date: 19 August 2002
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1015625600613
computational complexitysupervisory controldecision fusionsupervisor synthesisdecentralized architectures
Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Complexity and performance of numerical algorithms (65Y20)
Related Items (39)
Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ Solvability of centralized supervisory control under partial observation ⋮ Application of supervisory control theory to theme park vehicles ⋮ Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor ⋮ Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ Supervisor direct synthesis method for a structured discrete dynamical system ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Do what you know: coupling knowledge with action in discrete-event systems ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Decentralized control of infinite systems ⋮ Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ A framework for synthesis of communicating decentralised supervisors for discrete-event systems ⋮ Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Reliable supervisory control for general architecture of decentralized discrete event systems ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Supervisory control of discrete-event systems under attacks ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems ⋮ Achieving a global objective with competing networked agents in the framework of discrete event systems ⋮ Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays ⋮ Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence ⋮ An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Coordination control of discrete-event systems revisited ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
This page was built for publication: A general architecture for decentralized supervisory control of discrete-event systems
