A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation |
| |
Authors: | Shigemasa Takai Toshimitsu Ushio |
| |
Affiliation: | (1) Department of Information Science, Kyoto Institute of Technology, Matsugasaki, Sakyo-ku, Kyoto 606-8585, Japan;(2) Department of Systems Innovation, Osaka University, 1–3 Machikaneyama, Toyonaka Osaka, 560–8531, Japan |
| |
Abstract: | Brandin and Wonham have developed a supervisory control framework for timed discrete event systems (TDESs) in order to deal
with not only logical specifications but also temporal specifications. Lin and Wonham have extended this framework to the
partial observation case, and presented necessary and sufficient conditions for the existence of a nonblocking supervisor
under partial observation. In this paper, we define a new class of supervisors for TDESs under partial observation. We then
present necessary and sufficient conditions for the existence of a nonblocking supervisor defined in this paper. These existence
conditions of our supervisor are weaker than those of Lin and Wonham's supervisor. Note, however, that the price that must
be paid to weaken the existence conditions is the higher computational cost. Moreover, given a closed regular language, we
study computation of a sublanguage that satisfies the existence conditions of our supervisor. We present an algorithm for
computing such a sublanguage larger than the supremal closed, controllable, and normal sublanguage. |
| |
Keywords: | Timed discrete event system Supervisory control Forcible event Partial observation |
本文献已被 SpringerLink 等数据库收录! |
|