Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
dc.contributor.author | Barrett, George | en_US |
dc.contributor.author | Lafortune, Stéphane | en_US |
dc.date.accessioned | 2006-09-11T15:42:13Z | |
dc.date.available | 2006-09-11T15:42:13Z | |
dc.date.issued | 1998-12 | en_US |
dc.identifier.citation | Barrett, George; Lafortune, Stéphane; (1998). "Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines." Discrete Event Dynamic Systems 8(4): 377-429. <http://hdl.handle.net/2027.42/45127> | 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/45127 | |
dc.description.abstract | A fundamental relationship between the controllability of a language with respect to another language and a set of uncontrollable events in the Supervisory Control Theory initiated by (Ramadge and Wonham, 1989) and bisimulation of automata models is derived. The theoretical results relating bisimulation to controllability support an efficient solution to the Basic Supervisory Control Problem. Using (Fernandez, 1990) generalization of the partition refinement algorithm of (Paige and Tarjan, 1987), it is possible to find a partition which represents the supremal controllable sublanguage of an automaton with respect to the language of another automaton and a set of events in a worst-case running time of O( m log( n )), where m is the number of transitions and n is the number of states. Utilizing the bisimulation property of language controllability and derived relationships between automata languages and input/output finite-state machine behaviors, a precise relationship is formally derived between Supervisory Control Theory and the system-theoretic problem posed by (DiBenedetto et al., 1994) called Strong Input/Output FSM Model Matching. Specifically, it is proven that in deterministic settings instances of each problem can be mapped to the other framework and solved. | en_US |
dc.format.extent | 443491 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 | Bisimulation | en_US |
dc.subject.other | Model Matching | en_US |
dc.subject.other | Controllability | en_US |
dc.title | Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines | 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, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122 | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122 | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/45127/1/10626_2004_Article_184721.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1023/A:1008301317459 | 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.