Undecidability in decentralized supervision

DOI10.1016/j.sysconle.2004.10.002zbMath1129.93451OpenAlexW2053991631MaRDI QIDQ2504549

J. G. Thistle

Publication date: 25 September 2006

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2004.10.002

zbMATH Keywords

undecidabilitydecentralized controldistributed controldiscrete event systemssupervision

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65) Undecidability and degrees of sets of sentences (03D35)

Related Items (6)

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ A Summary of Some Discrete-Event System Control Problems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• On the control of discrete-event dynamical systems
• Games for synthesis of controllers with partial observation.
• Supervisory control of discrete event systems
• Undecidable problems of decentralized observation and control on regular languages
• Think globally, act locally: decentralized supervisory control
• The computational complexity of decentralized discrete-event control problems
• Minimal communication in a distributed discrete-event system

This page was built for publication: Undecidability in decentralized supervision