• DocumentCode
    3003829
  • Title

    TCT: A Computation Tool for Supervisory Control Synthesis

  • Author

    Feng, Lei ; Wonham, W.M.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Toronto Univ., Ont.
  • fYear
    2006
  • fDate
    10-12 July 2006
  • Firstpage
    388
  • Lastpage
    389
  • Abstract
    This paper introduces the new features of the TCT software package
  • Keywords
    control system CAD; discrete event systems; software packages; symbol manipulation; TCT software package; computation tool; supervisory control synthesis; Automata; Automatic control; Binary decision diagrams; Boolean functions; Control system synthesis; Data structures; Discrete event systems; Software maintenance; Software packages; Supervisory control;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Discrete Event Systems, 2006 8th International Workshop on
  • Conference_Location
    Ann Arbor, MI
  • Print_ISBN
    1-4244-0053-8
  • Type

    conf

  • DOI
    10.1109/WODES.2006.382399
  • Filename
    4267651
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3003829