Deadlock Avoidance Policy in Mobile Wireless Sensor Networks with Free Choice Resource Routing

Efficient control schemes are required for effective cooperation of robot teams in a mobile wireless sensor network. If the robots (resources) are also in charge of executing multiple simultaneous missions, then risks of deadlocks due to the presence of shared resources among different missions increase and have to be tackled. Discrete event control with deadlock avoidance has been used in the past for robot team coordination for the case of multi reentrant flowline models with shared resources. In this paper we present an analysis of deadlock avoidance for a generalized case of multi reentrant flow line systems (MRF) called the Free Choice Multi Reentrant Flow Line systems (FMRF). In FMRF, some tasks have multiple resource choices; hence routing decisions have to be made and current results in deadlock avoidance for MRF do not hold. This analysis is based on the so-called Circular Waits (CW) of the resources in the system. For FMRF, the well known notions of Critical Siphons and Critical Subsystems must be generalized and we redefine these objects for such systems. Our second contribution provides a matrix formulation that efficiently computes the objects required for deadlock avoidance in FMRF systems. A MAXWIP dispatching policy is formulated for deadlock avoidance in FMRF systems. According to this policy, deadlock in FMRF is avoided by limiting the work in progress (WIP) in the critical subsystems of each CW. Implemented results of the proposed scheme in a WSN test-bed is presented in the paper.

[1]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[2]  Maja J. Mataric,et al.  Sold!: auction methods for multirobot coordination , 2002, IEEE Trans. Robotics Autom..

[3]  B. Turchiano,et al.  Matrix Computational Framework for Discrete Event Control of Wireless Sensor Networks with Some Mobile Agents , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[4]  B. Turchiano,et al.  Coordination control policy for mobile sensor networks with shared heterogeneous resources , 2005, 2005 International Conference on Control and Automation.

[5]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[6]  L. Ferrarini,et al.  A Modular Approach for Deadlock Avoidance in FMS , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  Spyros A. Reveliotis,et al.  On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems , 2003, ICATPN.

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  Chee-Yee Chong,et al.  Sensor networks: evolution, opportunities, and challenges , 2003, Proc. IEEE.

[10]  Gaurav S. Sukhatme,et al.  Robomote: enabling mobility in sensor networks , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[11]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[12]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[13]  Maja J. Matarić,et al.  A formal framework for the study of task allocation in multi-robot systems , 2003 .

[14]  Bruno Sinopoli,et al.  Distributed control applications within sensor networks , 2003, Proc. IEEE.

[15]  Frank L. Lewis,et al.  Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines , 2000, IEEE Trans. Autom. Control..

[16]  Yu Feng,et al.  Deadlock Avoidance Petri Net Controller for Manufacturing Systems with Multiple Resource Service , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[17]  B. Turchiano,et al.  Supervisory control of mobile sensor networks: math formulation, simulation, and implementation , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[18]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[19]  Mark Lawley.  Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems , 2000 .

[20]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[21]  Wenle Zhang,et al.  A scalable deadlock avoidance algorithm for flexible manufacturing systems with free choice in part routing , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[22]  Catherine M. Harmonosky,et al.  Production , Manufacturing and Logistics A real-time methodology for minimizing mean flowtime in FMSs with routing flexibility : Threshold-based alternate routing , 2005 .

[23]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[24]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[25]  D. Puccinelli,et al.  Wireless sensor networks: applications and challenges of ubiquitous sensing , 2005, IEEE Circuits and Systems Magazine.

[26]  V. Giordano,et al.  Deadlock free dynamic resource assignment in multi-robot systems with multiple missions: a matrix-based approach , 2006, 2006 14th Mediterranean Conference on Control and Automation.

[27]  Maria Pia Fanti,et al.  Distributed event-control for deadlock avoidance in automated manufacturing systems , 2001 .

[28]  Ian F. Akyildiz,et al.  Wireless sensor networks , 2007 .

[29]  MengChu Zhou,et al.  Deadlock Resolution in Computer-Integrated Systems , 2004 .

[30]  Frank L. Lewis,et al.  Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems , 1998, Autom..

[31]  David Naso,et al.  Modeling evolutionary supervisors for multi-agent manufacturing control with discrete event formalism , 2001, SMCia/01. Proceedings of the 2001 IEEE Mountain Workshop on Soft Computing in Industrial Applications (Cat. No.01EX504).

[32]  Zack J. Butler,et al.  Event-Based Motion Control for Mobile-Sensor Networks , 2003, IEEE Pervasive Comput..

[33]  K. Sreenath,et al.  Deadlock avoidance for free choice Multi-Reentrant Flow Lines: Critical Siphons & Critical Subsystems , 2007, 2007 Mediterranean Conference on Control & Automation.

[34]  Joaquín Ezpeleta,et al.  A deadlock avoidance approach for nonsequential resource allocation systems , 2002, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[35]  Frank L. Lewis,et al.  A new matrix model for discrete event systems: application to simulation , 1997 .

[36]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[37]  Frank L. Lewis,et al.  Implementation of a Deadlock Avoidance Policy for Multipart Reentrant Flow Lines Using a Matrix-Based Discrete Event Controller , 2002 .