Synthesis of Inference-based Decentralized Control for Discrete Event Systems

Takai, Shigemasa; Kumar, Ratnesh

doi:10.1109/cdc.2006.377624

Cited by 3 publications

(2 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Results of [9], [10], and [23] can be derived as special cases of our result in [3]. Other works related to decentralized control for a single global specification include [5]- [7], [11]- [13], [15], [16], [18]- [22], [24], and [25].…”

Section: Introductionmentioning

confidence: 86%

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications

Jiang

Kumar

Takai

et al. 2010

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

We study the decentralized control of discrete-event systems with multiple local specifications. Only a subset of events occur at a local site, and a local specification as well as control/observation capabilities of a local supervisor are defined with respect to such local events. The goal of control is to ensure that the executed behavior at each local site is as desired, i.e., there are multiple specifications, one for each site. We show that the control problem for multiple local specifications is different from that of a single global specification, and present a necessary and sufficient condition for the existence of decentralized supervisors for enforcing the given multiple local specifications. The synthesis of decentralized control for enforcing multiple local specifications is also presented. We also specialize our results to the case of concurrent plants (one which is composed of several local subplants), which offers certain computational savings. The results are illustrated through a simple manufacturing system example.Note to Practitioners-For physically distributed systems, only a certain local set of events is available for control and observation to a controller located at that site. This paper studies the design of a group of local controllers, one for each local site, so the behavior at each site is as desired. Existence conditions for a monolithic plant as well as for a plant composed of multiple subplants are obtained. The results can be used to enforce multiple local specifications using the decentralized control strategy presented in this paper.

show abstract

Section: Introductionmentioning

confidence: 86%

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications

Jiang

Kumar

Takai

et al. 2010

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

show abstract

“…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

Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems

Takai

Kumar

2007

2007 American Control Conference

View full text Add to dashboard Cite

Synthesis of Inference-based Decentralized Control for Discrete Event Systems

Cited by 3 publications

References 33 publications

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications

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

Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems

Contact Info

Product

Resources

About