Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
dc.contributor.author | Hadj-Alouane, Nejib Ben | en_US |
dc.contributor.author | Lafortune, Stéphane | en_US |
dc.contributor.author | Lin, Feng | en_US |
dc.date.accessioned | 2006-09-11T15:42:09Z | |
dc.date.available | 2006-09-11T15:42:09Z | |
dc.date.issued | 1996-10 | en_US |
dc.identifier.citation | Hadj-Alouane, Nejib Ben; Lafortune, Stéphane; Lin, Feng; (1996). "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation." Discrete Event Dynamic Systems 6(4): 379-427. <http://hdl.handle.net/2027.42/45126> | 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/45126 | |
dc.description.abstract | This paper deals with the on-line control of partially observed discrete event systems (DES). The goal is to restrict the behavior of the system within a prefix-closed legal language while accounting for the presence of uncontrollable and unobservable events. In the spirit of recent work on the on-line control of partially observed DES (Heymann and Lin 1994) and on variable lookahead control of fully observed DES (Ben Hadj-Alouane et al. 1994c), we propose an approach where, following each observable event, a control action is computed on-line using an algorithm of linear worst-case complexity. This algorithm, called VLP-PO , has the following additional properties: (i) the resulting behavior is guaranteed to be a maximal controllable and observable sublanguage of the legal language; (ii) different maximals may be generated by varying the priorities assigned to the controllable events, a parameter of VLP-PO ; (iii) a maximal containing the supremal controllable and normal sublanguage of the legal language can be generated by a proper selection of controllable event priorities; and (iv) no off-line calculations are necessary. We also present a parallel/distributed version of the VLP-PO algorithm called DI-VLP-PO . This version uses several communicating agents that simultaneously run (on-line) identical versions of the algorithm but on possibly different parts of the system model and the legal language, according to the structural properties of the system and the specifications. While achieving the same behavior as VLO-PO, DI-VLP-PO runs at a total complexity (for computation and communication) that is significantly lower than its sequential counterpart. | en_US |
dc.format.extent | 3272437 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 | Partial Observation | en_US |
dc.subject.other | Variable Lookahead Policies | en_US |
dc.subject.other | On-line Control | en_US |
dc.subject.other | Parallel/Distributed Algorithms | en_US |
dc.subject.other | Modular Control | en_US |
dc.title | Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Mechanical Engineering | en_US |
dc.subject.hlbsecondlevel | Industrial and Operations 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/45126/1/10626_2005_Article_BF01797138.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/BF01797138 | en_US |
dc.identifier.source | Discrete Event Dynamic Systems | 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.