Loading [MathJax]/extensions/TeX/AMSsymbols.js
Model matching for finite-state machines | IEEE Journals & Magazine | IEEE Xplore

Model matching for finite-state machines


Abstract:

The problem of model matching for finite state machines (FSMs) consists of finding a controller for a given open-loop system so that the resulting closed-loop system matc...Show More

Abstract:

The problem of model matching for finite state machines (FSMs) consists of finding a controller for a given open-loop system so that the resulting closed-loop system matches a desired input-output behavior. In this paper, a set of model matching problems is addressed: strong model matching (where the reference model and the plant are deterministic FSMs and the initial conditions are fixed), strong model matching with measurable disturbances (where disturbances are present in the plant), and strong model matching with nondeterministic reference model (where any behavior out of those in the reference model has to be matched by the closed-loop system). Necessary and sufficient conditions for the existence of controllers for all these problems are given. A characterization of all feasible control laws is derived and an efficient synthesis procedure is proposed. Further, the well-known supervisory control problem for discrete-event dynamical systems (DEDSs) formulated in its basic form is shown to be solvable as a strong model matching problem with measurable disturbances and nondeterministic reference model.
Published in: IEEE Transactions on Automatic Control ( Volume: 46, Issue: 11, November 2001)
Page(s): 1726 - 1743
Date of Publication: 06 August 2002

ISSN Information:


References

References is not available for this document.