Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
From MaRDI portal
Publication:1686848
DOI10.1007/s10626-017-0249-6zbMath1386.93001arXiv1512.03267OpenAlexW3102152743MaRDI QIDQ1686848
Publication date: 18 December 2017
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1512.03267
Controllability (93B05) Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items (3)
Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Unnamed Item ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay
Uses Software
Cites Work
- Unnamed Item
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- Formulas for calculating supremal controllable and normal sublanguages
- Approximating the minimal sensor selection for supervisory control
- A general architecture for decentralized supervisory control of discrete-event systems
- PSPACE-completeness of modular supervisory control problems
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
- The infimal prefix-closed and observable superlanguage of a given language
- On conditional decomposability
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Coordination control of discrete-event systems revisited
- Undecidable problems of decentralized observation and control on regular languages
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Undecidability in decentralized supervision
- Structural decentralised control of concurrent discrete-event systems
- Decentralized supervisory control with communicating controllers
- Know means no: Incorporating knowledge into discrete-event control systems
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Introduction to Discrete Event Systems
- The infimal closed controllable superlanguage and its application in supervisory control
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- On the language generated under fully decentralized supervision
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Fully decentralized solutions of supervisory control problems
- Modular Control of Discrete-Event Systems With Coalgebra
- Synthesis of Inference-Based Decentralized Control for Discrete Event Systems
- Verification of Nonconflict of Supervisors Using Abstractions
- On the consistency of hierarchical supervision in discrete-event systems
- Deciding co-observability is pspace-complete
- Minimal communication in a distributed discrete-event system
- Optimal sensor selection for discrete-event systems with partial observation
- Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
- Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- On Codiagnosability and Coobservability With Dynamic Observations
- Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems
- On the computation of natural observers in discrete-event systems
This page was built for publication: Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
