By Topic

A small model theorem for bisimilarity control under partial observation

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
$31 $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 ; Kumar, R.

In our prior work on control under complete observation of a nondeterministic system to satisfy bisimilarity with a nondeterministic specification by C. Zhou et al. (2004), we established a "small model theorem" showing that a control-compatible (Σu-compatible for short) supervisor exists if and only if it exists over a certain finite state space, namely the power set of Cartesian product of system and specification state spaces. In this paper, we show that the small model theorem remains valid even when there is partial observation of events so that a supervisor must be both control and observation compatible ((Σu, M)-compatible for short). The result proves the decidability of bisimilarity enforcing control under partial observation for general nondeterministic systems and nondeterministic specification.

Published in:

American Control Conference, 2005. Proceedings of the 2005

Date of Conference:

8-10 June 2005