A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems

Abstract This paper extends the RAS-based approach to conflict resolution in multi-vehicle systems presented in Reveliotis and Roszkowska (2008). Similar to that earlier work, the employed model assumes the tesselation of the motion space into cells, which constitute the set of resources shared by the system agents. The key difference in the proposed abstraction is the admission of up to two agents in a single cell at a time, instead of only one, that was assumed earlier. This changes dramatically the complexity of the state-safety problem, from computationally hard to easy, and allows the effective deployment of a maximally permissive control scheme for the coordination of the agents’ motion, as well as the implementation of this scheme in the form of a distributed protocol.

[1]  James K. Kuchar,et al.  A review of conflict detection and resolution modeling methods , 2000, IEEE Trans. Intell. Transp. Syst..

[2]  Spyros A. Reveliotis,et al.  Conflict resolution in multi-vehicle systems: A resource allocation paradigm , 2008, 2008 IEEE International Conference on Automation Science and Engineering.

[3]  Dimos V. Dimarogonas,et al.  A feedback stabilization and collision avoidance scheme for multiple independent non-point agents, , 2006, Autom..

[4]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[5]  Antonio Bicchi,et al.  Decentralized Cooperative Policy for Conflict Resolution in Multivehicle Systems , 2007, IEEE Transactions on Robotics.

[6]  Antonio Bicchi,et al.  On optimal cooperative conflict resolution for air traffic management systems , 2000, IEEE Trans. Intell. Transp. Syst..

[7]  C. Tomlin,et al.  Decentralized optimization, with application to multiple aircraft coordination , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[8]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

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

[10]  Spyros A. Reveliotis,et al.  On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems , 2010, IEEE Transactions on Automatic Control.

[11]  Norman M. Abramson,et al.  THE ALOHA SYSTEM: another alternative for computer communications , 1899, AFIPS '70 (Fall).

[12]  Steven M. LaValle,et al.  Optimal motion planning for multiple robots having independent goals , 1998, IEEE Trans. Robotics Autom..

[13]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..