By Topic

The infimal closed controllable superlanguage and its application in supervisory control

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 $13
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

2 Author(s)
Lafortune, S. ; Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA ; Chen, Enke

The supervisory control of discrete-event systems is investigated for the case in which nonblocking solutions are deemed inadequate because they are too conservative. For this purpose the infimal closed controllable superlanguage of a given language is studied. Two characterizations of the superlanguage are given, some of its properties are presented, and algorithms for its computation in the general case and in the regular case are proposed. An algorithm for the computation of the supremal controllable sublanguage is presented. It is shown that the computation of the infimal closed controllable superlanguage plays a central role in problems that involve a tradeoff between satisficing and blocking. The completely satisficing solution in supervisory control is characterized, and a general control problem called the supervisory control problem with blocking is introduced

Published in:

Automatic Control, IEEE Transactions on  (Volume:35 ,  Issue: 4 )