By Topic

Prioritized synchronization under mask for interaction/control of partially observed discrete event systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Changyan Zhou ; Dept. of Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA ; Ratnesh Kumar

This paper extends the formalism of prioritized synchronous composition (PSC), introduced by Heymann, for modeling interaction (and control) of discrete event systems to incorporate partial observation. PSC based control helps remove the control-compatibility requirement of a supervisor. In order to also remove the observation-compatibility requirement of a supervisor, there have been attempts to generalize PSC to account for partial observation. First such attempt was the notion of masked composition (MC), and later the notion of masked-PSC (MPSC) was introduced. Under MPSC the condition for existence of supervisor is normality together with controllability, as opposed to the usual weaker condition of observability together with controllability. This motivates the introduction of the notion of prioritized synchronous composition under mask (PSCM). We show that when PSCM is adopted as a mechanism of interaction, not only the control and observation-compatibility requirements are removed of a supervisor, the existence condition is given by achievability that is weaker than controllability and observability combined. (The weaker condition is required since we allow supervisors to be nondeterministic.) This suggests that the notion of PSCM, presented in the paper is an appropriate generalization of PSC to account for partial observation.

Published in:

Proceedings of the 2005, American Control Conference, 2005.

Date of Conference:

8-10 June 2005