DocumentCode
581715
Title
Algebraic analysis and criterion for blocking detection of multiprocess systems
Author
Peng, Yi ; Xiangru, Xu ; Yiguang, Hong
Author_Institution
Key Lab. of Syst. & Control, Acad. of Math. & Syst. Sci., Beijing, China
fYear
2012
fDate
25-27 July 2012
Firstpage
1179
Lastpage
1184
Abstract
In this paper, we give a matrix-based approach for blocking detection of multiprocess systems. Based on the matrix expression, the deadlock detection is discussed first, and the potential blocking states in composite automata are identified by examining shared transitions in the components. Then the livelock detection in the multiprocess systems are studied using the proposed approach to detect cycles and cliques. Examples is also given for illustration.
Keywords
automata theory; matrix algebra; multiprocessing systems; algebraic analysis; blocking detection; composite automata; deadlock detection; matrix based approach; matrix expression; multiprocess systems; Algorithm design and analysis; Automata; Discrete event systems; Multiprocessing systems; Sparse matrices; System recovery; Vectors; Blocking detection; Deadlock and livelock; Multiprocess; Semi-tensor product;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Conference (CCC), 2012 31st Chinese
Conference_Location
Hefei
ISSN
1934-1768
Print_ISBN
978-1-4673-2581-3
Type
conf
Filename
6390103
Link To Document