• DocumentCode
    722923
  • Title

    Defensive state feedback control of asynchronous sequential machines

  • Author

    Hammer, Jacob

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Univ. of Florida, Gainesville, FL, USA
  • fYear
    2015
  • fDate
    16-19 June 2015
  • Firstpage
    495
  • Lastpage
    500
  • Abstract
    The design of state feedback controllers that protect asynchronous sequential machines from pre-programmed adversarial agents is considered. Necessary and sufficient conditions for the existence of such controllers are derived. These conditions are stated in terms of certain matrices of zeros and ones derived from the given description of the protected machine. Controller design algorithms are outlined.
  • Keywords
    asynchronous machines; control system synthesis; machine control; state feedback; asynchronous sequential machines; controller design algorithms; defensive state feedback control; pre-programmed adversarial agents; state feedback controllers; Drives; Jacobian matrices; Process control; Production; Skeleton; State feedback; Transient analysis; asynchronous sequential machines; automatic feedback control; malware; pre-programmed agents;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Control and Automation (MED), 2015 23th Mediterranean Conference on
  • Conference_Location
    Torremolinos
  • Type

    conf

  • DOI
    10.1109/MED.2015.7158796
  • Filename
    7158796