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
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;
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
DOI :
10.1109/CDC.1994.411306
