Non-blocking supervisory control under bounded time constraints based on non-deterministic timed transition models

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 314
  • Download : 0
A non-blocking supervisory control problem to meet bounded time constraints for non-deterministic real-time discrete event systems (DESs) is addressed. To this end, notions of trace controllability and time controllability are introduced for the non-deterministic real-time DESs with respect to a timed language specification representing a bounded time constraint. The existence conditions of a non-blocking supervisor to achieve the timed language specification are presented on the basis of the proposed notions, and these are further illustrated by an assembly work station example.
Publisher
INSTITUTION ENGINEERING TECHNOLOGY-IET
Issue Date
2006-07
Language
English
Article Type
Article
Keywords

DISCRETE-EVENT SYSTEMS

Citation

IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, v.153, no.4, pp.419 - 426

ISSN
1350-2379
DOI
10.1049/ip-cta:20050372
URI
http://hdl.handle.net/10203/91908
Appears in Collection
BiS-Journal Papers(저널논문)EE-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