Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation |
| |
Authors: | Email author" target="_blank">Shigemasa?TakaiEmail author Toshimitsu?Ushio |
| |
Affiliation: | (1) Department of Electronics and 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: | In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that Lm(G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language. |
| |
Keywords: | Concurrent discrete event system supervisory control controllability observability concurrent well-posedness |
本文献已被 SpringerLink 等数据库收录! |
|