Algebraic Analysis and Criterion for Blocking Detection of Multiprocess Systems

摘要：

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.

关键词： Multiprocess Blocking detection Deadlock and livelock Semi-tensor product

作者: YI Peng XU Xiangru HONG Yiguang

作者单位: Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science,Chinese Academy of Key Laboratory of Systems and Control, Academy of Mathematics and Systems Science, Chinese Academy o

会议类型: 国际会议

会议名称: The 31st Chinese Control Conference(第三十一届中国控制会议)

会议地点: 合肥

会议语种:英文

页码: 1179-1184

在线出版日期: 2012-07-01（万方平台首次上网日期，不代表论文的发表时间）