• DocumentCode
    2790081
  • 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
  • Volume
    1
  • fYear
    1995
  • fDate
    13-15 Dec 1995
  • Firstpage
    422
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
  • Conference_Location
    New Orleans, LA
  • ISSN
    0191-2216
  • Print_ISBN
    0-7803-2685-7
  • Type

    conf

  • DOI
    10.1109/CDC.1995.478834
  • Filename
    478834
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2790081