By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Park, S.J. ; Dept. of Electr. & Comput. Eng., Ajou Univ., Suwon, South Korea ; Cho, K.-H. ; Lim, J.-T.

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.

Published in:

Control Theory and Applications, IEE Proceedings -  (Volume:153 ,  Issue: 4 )