Using Petri Net Plans for Modeling UAV-UGV Cooperative Landing

Aerial and ground vehicles working in corporation are crucial assets for several real world applications, ranging from search and rescue to logistics. In this paper, we consider a cooperative landing task problem, where an unmanned aerial vehicle (UAV) must land on an unmanned ground vehicle (UGV) while such ground vehicle is moving in the environment to execute its own mission. To solve this challenging problem we consider the Petri Net Plans (PNPs) framework, an advanced planning specification framework that allows to design and monitor multi robot plans. Specifically, we use the PNP framework to effectively use different controllers in different conditions and to monitor the evolution of the system during mission execution so that the best controller is always used even in face of unexpected situations. Empirical simulation results show that our system can properly monitor the joint mission carried out by the UAV/UGV team, hence confirming that the use of a formal planning language significantly helps in the design of such complex scenarios.

[1]  Fusaomi Nagata,et al.  Robotics for rescue and risky intervention , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[2]  Carl Crane,et al.  Use of cooperative unmanned air and ground vehicles for detection and disposal of mines , 2005, SPIE Optics East.

[3]  Randal W. Beard,et al.  Probabilistic path planning for cooperative target tracking using aerial and ground vehicles , 2011, Proceedings of the 2011 American Control Conference.

[4]  Giovanni Muscato,et al.  UAV/UGV cooperation for surveying operations in humanitarian demining , 2013, 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

[5]  H.H.T. Liu,et al.  A cooperative UAV/UGV platform for wildfire detection and fighting , 2008, 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing.

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

[7]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[8]  Didier Lime,et al.  Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches , 2007, Discret. Event Dyn. Syst..

[9]  Huili Yu,et al.  Moving ground target tracking in urban terrain using air/ground vehicles , 2010, 2010 IEEE Globecom Workshops.

[10]  Milind Tambe,et al.  Towards Flexible Teamwork , 1997, J. Artif. Intell. Res..

[11]  Ricardo Carelli,et al.  Decentralized Control of a Formation Involving a Miniature Helicopter and a Team of Ground Robots Based on Artificial Vision , 2010, 2010 Latin American Robotics Symposium and Intelligent Robotics Meeting.

[12]  Steven Lake Waslander,et al.  Coordinated landing of a quadrotor on a skid-steered ground vehicle in the presence of time delays , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  Alessandro Farinelli,et al.  A Mechanism for Smoothly Handling Human Interrupts in Team Oriented Plans , 2015, AAMAS.

[14]  Torsten Kr On-Line Trajectory Generation: Nonconstant Motion Constraints , 2012 .

[15]  K. Madhava Krishna,et al.  Heterogeneous UGV-MAV exploration using integer programming , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[16]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[17]  Torsten Kröger,et al.  Simple and robust visual servo control of robot arms using an on-line trajectory generator , 2012, 2012 IEEE International Conference on Robotics and Automation.

[18]  Pedro U. Lima,et al.  Petri Net Plans , 2011, Autonomous Agents and Multi-Agent Systems.

[19]  金子 真,et al.  Robotics research : The 13th International Symposium ISRR , 2010 .

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