DocumentCode :
2202230
Title :
Blocking detection in discrete event systems
Author :
Abdelwahed, Sherif ; Wonham, W.M.
Author_Institution :
Vanderbilt University
Volume :
2
fYear :
2003
fDate :
June 4-6, 2003
Firstpage :
1673
Lastpage :
1678
Keywords :
Automata; Discrete event systems; Event detection; Explosions; Multiprocessing systems; Reachability analysis; Software systems; State-space methods; System recovery; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
American Control Conference, 2003. Proceedings of the 2003
ISSN :
0743-1619
Print_ISBN :
0-7803-7896-2
Type :
conf
DOI :
10.1109/ACC.2003.1239834
Filename :
1239834
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2202230
بازگشت