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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3003829
بازگشت