Synthesis of Inference-Based Decentralized Control for Discrete Event Systems

Takai, Shigemasa; Kumar, Ratnesh

doi:10.1109/tac.2007.915171

Cited by 11 publications

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For any decentralized control architecture, a corresponding notion of coobservability was proposed, which together with controllability form the necessary and sufficient conditions to achieve a specification by the controlled system. Nowadays, there are advanced architectures, such as an architecture with conditional decision (inferencing) [32,55] or multi-level inferencing [23,44]. A general approach consisting in several decentralized supervisory control architectures running in parallel was proposed by Chakib and Khoumsi [6].…”

Section: Introductionmentioning

confidence: 99%

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication

Komenda

Masopust

2017

Discrete Event Dyn Syst

View full text Add to dashboard Cite

In decentralized supervisory control, several local supervisors cooperate to accomplish a common goal (specification). Controllability and coobservability are the key conditions to achieve a specification in the controlled system. We construct a controllable and coobservable sublanguage of the specification by using additional communications between supervisors. Namely, we extend observable events of local supervisors via communication and apply a fully decentralized computation of local supervisors. Coobservability is then guaranteed by construction. Sufficient conditions to achieve the centralized optimal solution are discussed. Our approach can be used for both prefix-closed and non-prefix-closed specifications.

show abstract