Title :
Strong model matching for finite state machines with non-deterministic reference model
Author :
DiBenedetto, M.D. ; Saldanha, A. ; Sangiovanni-Vincentelli, A.
Author_Institution :
L´´Aquila Univ., Italy
Abstract :
This paper addresses the problem of finding a controller for a given open loop system so that the resulting closed loop system matches one of several acceptable input-output behaviors described by a possibly non-deterministic FSM. A characterization of all feasible control laws is given and an efficient synthesis procedure is proposed
Keywords :
closed loop systems; control system synthesis; finite state machines; closed loop system; finite state machines; input-output behaviors; nondeterministic reference model; open loop system; strong model matching; synthesis procedure; Automata; State feedback;
Conference_Titel :
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-2685-7
DOI :
10.1109/CDC.1995.478834
