Summary
|
For Full-Text PDF, please login, if you are a member of IEICE, or go to Pay Per View on menu list, if you are a nonmember of IEICE. |
|
Robust Supervisory Control of Uncertain Timed Discrete Event Systems Based on Activity Models and Eligible Time Bounds Seong-Jin PARK Publication IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Vol.E88-A No.3 pp.782-786 Publication Date: 2005/03/01 Online ISSN: DOI: 10.1093/ietfec/e88-a.3.782 Print ISSN: 0916-8508 Type of Manuscript: LETTER Category: Systems and Control Keyword: robust supervisors, timed DESs, eligible time bounds, Full Text: PDF(129.7KB)>>
Summary: This paper addresses a robust supervisory control problem for uncertain timed discrete event systems (DESs) modeled as a set of some possible timed models. To avoid the state space explosion problem caused by tick transitions in timed models, the notion of eligible time bounds is presented. Based on the notion and activity (logical) models, this paper shows how the controllability condition of a given language specification is presented as a necessary and sufficient condition for the existence of a robust supervisor to achieve the specification for any timed model in the set. | ||||||||||
| ||||||||||
