Blocking Detection in Discrete Event Systems

Proceedings of the American Control Conference

Volumn 2, Issue , 2003, Pages 1673-1678

  Abdelwahed, Sherif ^a   Wonham, W M ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MAPS; MULTIPROCESSING PROGRAMS; SET THEORY;

BLOCKING DETECTION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0142231387     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. S. Abdelwahed. Interacting Discrete Event Systems: Modelling, Verification, and Supervisory Control. PhD thesis, University of Toronto, 2002.
2. J. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Trans. on Software Engineering, 22(3):1-22, 1996.
3. M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP Completeness. W.H. Freeman and Company, New York, 1979.
4. P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems. PhD thesis, Univ. de Liege, 1994.
5. C. E. McDowell. A practical algorithm for static analysis of parallel algorithms. Journal of Parallel and Distributed Processing, 6(3):515-536, June 1989.
6. R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
7. K. Rudie. Decentralized Control of Discrete Event Systems. PhD thesis, Univ. of Toronto, 1992.
8. W.M. Wonham. Notes on Control of Discrete-Event Systems. ECE Department, University of Toronto, revised 1 July 2002. http://www.control.utoronto.ca/DES.