%0 Journal Article
%T Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
%J AUT Journal of Modeling and Simulation
%I Amirkabir University of Technology
%Z 2588-2953
%A Saeidi, V.
%A Afzalian, A.
%A Gharavian, D.
%D 2017
%\ 12/01/2017
%V 49
%N 2
%P 187-198
%! Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
%K Distributed Supervisory Control
%K Local Normality
%K Local Relative Observability
%K Observation Equivalent
%R 10.22060/miscj.2017.12041.4997
%X Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in whichobservation properties are preserved from monolithic to distributed supervisory control. Local observationproperties, i.e. local normality and local relative observability are employed for investigating observationproperties of each local controller, which are constructed by any localization algorithm that preserves controlequivalency to the monolithic supervisor with respect to the plant. These properties enable us to investigatethe observation properties from monolithic to distributed supervisory control. Moreover, observationequivalence property is defined according to the control equivalence in a distributed supervisory controlwith partial observation. It is proved that with preserving observation equivalence of the local controllers tothe monolithic supervisor, the control equivalence is satisfied, if and only if the intersection of local eventsets is a subset of or equal to the global observable event set.
%U https://miscj.aut.ac.ir/article_929_16b8a43c2081f9e64e34c7aedf3b6d5e.pdf