DocumentCode :
728074
Title :
Dependency graph: An algorithm for analysis of generalized parameterized networks
Author :
Zibaeenejad, M.H. ; Thistle, J.G.
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
fYear :
2015
fDate :
1-3 July 2015
Firstpage :
696
Lastpage :
702
Abstract :
In areas such as computer software and hardware, manufacturing systems and transportation, engineers encounter networks with arbitrarily large numbers of isomorphic subprocesses. Parameterized discrete event systems (PDES) provide a framework for modeling such networks. The analysis of PDES is a challenge as some key properties such as nonblocking and deadlock-freedom are undecidable. Previously we have established a procedure for deadlock analysis of a parameterized ring network of isomorphic subprocesses. Here we consider a network consisting of several parameterized sections with a more general topology. To model these networks we introduce Generalized Parameterized Discrete Event Systems (GPDES). The difficulty in analysis of a GPDES is the fact that some of the subprocesses interact with several parameterized sections of the network. Hence the analysis proposed in this paper involves careful study of interaction among different branches of the network. We investigate interactions among different components of the network, using a dependency graph. The dependency graph is a directed graph developed to characterize reachable deadlocks of proposed GPDES.
Keywords :
directed graphs; discrete event systems; network theory (graphs); GPDES; PDES analysis; deadlock-freedom property; dependency graph; directed graph; generalized parameterized discrete event systems; generalized parameterized network analysis; isomorphic subprocess; network branch; nonblocking property; parameterized ring network; Computational modeling; Discrete-event systems; Generators; Indexes; Network topology; Silicon; System recovery;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
American Control Conference (ACC), 2015
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-4799-8685-9
Type :
conf
DOI :
10.1109/ACC.2015.7170816
Filename :
7170816
Link To Document :
بازگشت