کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
698151 | 890394 | 2008 | 7 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions](/preview/png/698151.png)
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represented by a set of possible timed models based on the framework of Brandin and Wonham [(1994). Supervisory control of timed discrete event systems. IEEE Transactions on Automatic Control, 39(2), 329–342]. To avoid the state space explosion problem caused by tick events in the timed models, a notion of eligible time bounds is proposed for a single timed model obtained from the set of all possible timed models. Based on this notion, we present the necessary and sufficient conditions for the existence of a robust supervisor achieving a given language specification for the single timed model. Moreover, we show that the robust supervisor can also achieve the specification for any timed model in the set.
Journal: Automatica - Volume 44, Issue 3, March 2008, Pages 875–881