Premium
Optimal non‐blocking decentralized supervisory control with unobservable controllable events
Author(s) -
Saeidi Vahid,
Afzalian Ali A.,
Gharavian Davood
Publication year - 2019
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.1778
Subject(s) - unobservable , supervisor , construct (python library) , property (philosophy) , blocking (statistics) , control theory (sociology) , supervisory control , computer science , consistency (knowledge bases) , closure (psychology) , observable , observability , control (management) , mathematics , artificial intelligence , econometrics , physics , economics , computer network , market economy , philosophy , management , epistemology , quantum mechanics
Paranormality is an observation property of a language, in which the occurrence of unobservable events never exits the closure of the language. In this paper, a synthesis method is proposed to construct a paranormal supervisor. We propose a method to construct a controllable language such that the occurrence of unobservable events does not exit the closure of the controllable language. Moreover, a new observation property, that is, Quasi Output Control Consistency (QOCC) is defined to construct the optimal (least restrictive) non‐blocking decentralized supervisory control in the presence of unobservable controllable events. Using QOCC and natural observer properties, we propose a method to construct a normal supervisor such that an arbitrary pair of lookalike strings are initiated and terminated with identical observable and uncontrollable events. It is assumed that one of these strings has unobservable controllable events. An OCC property is defined in the literature as a special case of QOCC property, where none of the lookalike strings has unobservable controllable events.