Recursive computation of limited lookahead supervisory controls for discrete event systems
dc.contributor.author | Chung, Sheng-Luen | en_US |
dc.contributor.author | Lafortune, Stéphane | en_US |
dc.contributor.author | Lin, Feng | en_US |
dc.date.accessioned | 2006-09-11T15:41:36Z | |
dc.date.available | 2006-09-11T15:41:36Z | |
dc.date.issued | 1993-03 | en_US |
dc.identifier.citation | Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng; (1993). "Recursive computation of limited lookahead supervisory controls for discrete event systems." Discrete Event Dynamic Systems: Theory and Applications 3(1): 71-100. <http://hdl.handle.net/2027.42/45118> | en_US |
dc.identifier.issn | 0924-6703 | en_US |
dc.identifier.issn | 1573-7594 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/45118 | |
dc.description.abstract | We continue the study of limited lookahead policies in supervisory control of discrete event systems undertaken in a previous paper. On-line control of discrete event systems using limited lookahead policies requires, after the execution of each event, the calculation of the supremal controllable sublanguage of a given language with respect to another larger language. These two languages are finite and represented by their tree generators, where one tree is a subtree of the other. These trees change dynamically from step to step, where one step is the execution of one event by the system. We show in this paper how to perform this calculation in a recursive manner, in the sense that the calculation for a new pair of trees can make use of the calculation for the preceding pair, thus substantially reducing the amount of computation that has to be done on-line. In order to make such a recursive procedure possible from step to step, we show how the calculation for a single step (i.e., for a given pair of trees) can itself be performed recursively by means of a backward dynamic programming algorithm on the vertices of the larger tree. These two nested recursive procedures are also extended to the limited lookahead version of the “supervisory control problem with tolerance.” | en_US |
dc.format.extent | 1167974 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Kluwer Academic Publishers; Springer Science+Business Media | en_US |
dc.subject.other | Mathematics | en_US |
dc.subject.other | Systems Theory, Control | en_US |
dc.subject.other | Convex and Discrete Geometry | en_US |
dc.subject.other | Manufacturing, Machines, Tools | en_US |
dc.subject.other | Electronic and Computer Engineering | en_US |
dc.subject.other | Operation Research/Decision Theory | en_US |
dc.subject.other | Supervisory Control | en_US |
dc.subject.other | Limited Lookahead Policies | en_US |
dc.subject.other | Dynamic Programming | en_US |
dc.title | Recursive computation of limited lookahead supervisory controls for discrete event systems | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Industrial and Operations Engineering | en_US |
dc.subject.hlbsecondlevel | Mechanical Engineering | en_US |
dc.subject.hlbtoplevel | Engineering | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI | en_US |
dc.contributor.affiliationother | Department of Electrical and Computer Engineering, Wayne State University, 48202, Detroit, MI | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/45118/1/10626_2005_Article_BF01439177.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/BF01439177 | en_US |
dc.identifier.source | Discrete Event Dynamic Systems: Theory and Applications | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.