文章基本信息

标题：A Tool for Deadlock Analysis of Parameterized-chain Networks
本地全文：下载
作者：M. Moodi ; M.H. Zibaeenejad ; J.G. Thistle 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：5849-5854
DOI：10.1016/j.ifacol.2017.08.543
语种：English
出版社：Elsevier
摘要：AbstractThis paper studies algorithmic aspects of deadlock analysis for parameterized networks of discrete-event systems. A parameterized network consists of interacting finite-state subsystems, including finite but arbitrarily large numbers of subsystems within each of a finite number of isomorphism classes. While deadlock analysis of such systems is generally undecidable, decidable subproblems have recently been identified. The decision procedure of Zibaeenejad and Thistle (2017) rests on the construction of a finite dependency graph for the network, and the computation of its full, consistent subgraphs. We present a software tool that takes the template of a Parameterized Chain Network (PCN) and outputs the set of all full, consistent subgraphs of the dependency graph. These subgraphs represent infinite set of deadlocked states of the PCN for all parameter values. As a case study, we investigate deadlock in a complex train network that extends beyond the current theoretical framework. The results suggest ways in which the framework could be extended.
关键词：KeywordsDiscrete-event systemsParameterized systemsDeadlock analysisModel-checking