Supervisory control of discrete event systems with communication delays and partial observations |
| |
Authors: | Seong-Jin Park Kwang-Hyun Cho |
| |
Affiliation: | aDepartment of Electrical and Computer Engineering, Ajou University, Suwon 443-749, Korea;bCollege of Medicine, Seoul National University, Jongno-gu, Seoul 110-799, Korea;cBio-Max Institute, Seoul National University, 3rd Floor, IVI, San 4-8, Bongcheon7-dong, Gwanak-gu, Seoul 151-818, Korea |
| |
Abstract: | This paper presents necessary and sufficient conditions for the existence of a nonblocking supervisor that achieves a given language specification for a discrete event system (DES) with communication delays and partial observations. In many practical situations, some uncontrollable events can subsequently occur before a proper control action is applied to the DES due to delays in sensing, communicating, and actuating. Moreover, some of the uncontrollable events may be unobservable. To achieve a given language specification in such situations, this paper presents a language property called delay observability which assures no confliction in making a decision for legal controllable events under partial observation and delay communication. |
| |
Keywords: | Discrete event systems Supervisors Communication delays Partial observations Delay observability |
本文献已被 ScienceDirect 等数据库收录! |
|