Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 228
  • Download : 0
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. (C) 2007 Elsevier Ltd. All rights reserved.
Publisher
PERGAMON-ELSEVIER SCIENCE LTD
Issue Date
2008-03
Language
English
Article Type
Article
Citation

AUTOMATICA, v.44, no.3, pp.875 - 881

ISSN
0005-1098
DOI
10.1016/j.automatica.2007.07.019
URI
http://hdl.handle.net/10203/91896
Appears in Collection
BiS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0