Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds |
| |
Authors: | Seong-Jin Park Kwang-Hyun Cho |
| |
Affiliation: | aDepartment of Electrical and Computer Engineering, Ajou University, Suwon 443-749, Republic of Korea;bCollege of Medicine, Seoul National University, Jongno-gu, Seoul 110-799, Republic of Korea;cBio-Max Institute, Seoul National University, Gwanak-gu, Seoul 151-818, Republic of Korea |
| |
Abstract: | To avoid the state–space explosion by including tick events in timed discrete event systems (DESs) under partial observation, a notion of eligible time bounds is introduced and based on the notion, controllability and observability conditions of languages are presented. In particular, this paper shows that these controllability and observability conditions are necessary and sufficient for the existence of a supervisor to achieve the given language specification. |
| |
Keywords: | Timed DESs Partial observation Supervisory control Activity models Eligible time bounds Controllability Observability |
本文献已被 ScienceDirect 等数据库收录! |
|