DocumentCode
1663261
Title
Model matching for finite state machines
Author
Di Benedetto, M.D. ; Saldanha, A. ; Sangiovanni-Vincentelli, A.
Author_Institution
Dipartimento di Inf. e Sistemistica, Rome Univ., Italy
Volume
3
fYear
1994
Firstpage
3117
Abstract
The problem of model matching for finite state machines (FSMs) is addressed. This problem consists of finding a controller for a given open loop system so that the resulting closed loop system matches a desired input-output behavior. A characterization of all feasible control laws is given and an efficient synthesis procedure is proposed
Keywords
closed loop systems; computational complexity; discrete event systems; finite state machines; closed loop system; discrete event dynamical systems; finite state machines; model matching; open loop system; Area measurement; Automata; Closed loop systems; Control system synthesis; Control systems; Cost function; Design engineering; Impedance matching; Open loop systems; Sufficient conditions;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location
Lake Buena Vista, FL
Print_ISBN
0-7803-1968-0
Type
conf
DOI
10.1109/CDC.1994.411306
Filename
411306
Link To Document