Estimation for decentralized safety control under communication delay and measurement uncertainty

This paper addresses the design of a decentralized safety controller for two agents, subject to communication delay and imperfect measurements. The control objective is to ensure safety, meaning that the state of the two-agent system does not enter an undesired set in the state space. Assuming that we know a feedback map designed for the delay free-case, we propose a state estimation strategy which guarantees control agreement between the two agents. We present an estimation technique for bounded communication delays, assuming that the agents share the same internal clock, and extend it for infinitely-distributed communication delays by determining a lower bound for the probability of safety. We also explain how the proposed approach can be extended to a general system of N agents and discuss efficient computation of our estimation strategy. Performance of the controller and relevance of the proposed approach are discussed in light of simulations performed for a collision avoidance problem between two semi-autonomous vehicles at an intersection.

[1]  S. Sastry,et al.  Aircraft conflict prediction and resolution using Brownian motion , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[2]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[3]  Colas Le Guernic.  Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire) , 2009 .

[4]  Mark Peters,et al.  Strategic conflict detection and resolution for free flight , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[5]  Eric Guizzo,et al.  Three Engineers, Hundreds of Robots, One Warehouse , 2008, IEEE Spectrum.

[6]  D. Del Vecchio,et al.  Development of a Scaled Vehicle With Longitudinal Dynamics of an HMMWV for an ITS Testbed , 2008, IEEE/ASME Transactions on Mechatronics.

[7]  Vicente Milanés Montero,et al.  Controller for Urban Intersections Based on Wireless Communications and Fuzzy Logic , 2010, IEEE Transactions on Intelligent Transportation Systems.

[8]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[9]  Ruggero Carli,et al.  Quantized Coordination Algorithms for Rendezvous and Deployment , 2009, SIAM J. Control. Optim..

[10]  Panta Lucic,et al.  Intelligent parking systems , 2006, Eur. J. Oper. Res..

[11]  Domitilla Del Vecchio,et al.  Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial Order , 2011, SIAM J. Control. Optim..

[12]  Domitilla Del Vecchio,et al.  Supervisory control for intersection collision avoidance in the presence of uncontrolled vehicles , 2014, 2014 American Control Conference.

[13]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[14]  Steve Green,et al.  CONFLICT-FREE TRAJECTORY PLANNING FOR AIR TRAFFIC CONTROL AUTOMATION. , 1994 .

[15]  Jongeun Choi,et al.  Distributed learning and cooperative control for multi-agent systems , 2009, Autom..

[16]  Domitilla Del Vecchio,et al.  Control for Safety Specifications of Systems With Imperfect Information on a Partial Order , 2014, IEEE Transactions on Automatic Control.

[17]  Pravin Varaiya,et al.  Novel Freeway Traffic Control with Variable Speed Limit and Coordinated Ramp Metering , 2011 .

[18]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[19]  Bernhard Sterzbach.  GPS-based Clock Synchronization in a Mobile, Distributed Real-Time System , 2004, Real-Time Systems.

[20]  Domitilla Del Vecchio,et al.  Computation of safety control for uncertain piecewise continuous systems on a partial order , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  Ü. Özgüner,et al.  A SIMULATION STUDY OF AN INTERSECTION COLLISION WARNING SYSTEM , 2004 .

[22]  Panganamala Ramana Kumar,et al.  Efficient Message Composition and Coding for Cooperative Vehicular Safety Applications , 2007, IEEE Transactions on Vehicular Technology.

[23]  Vijay Gupta.  On the Effect of Stochastic Delay on Estimation , 2011, IEEE Transactions on Automatic Control.

[24]  Michael Maile,et al.  Vehicle Safety Communications – Applications VSC-A Second Annual Report January 1, 2008 through December 31, 2008 , 2011 .

[25]  Randal W. Beard,et al.  Distributed Consensus in Multi-vehicle Cooperative Control - Theory and Applications , 2007, Communications and Control Engineering.

[26]  Domitilla Del Vecchio,et al.  Robust multi-agent collision avoidance through scheduling , 2013, 52nd IEEE Conference on Decision and Control.

[27]  John Lygeros,et al.  Controlled Invariance of Discrete Time Systems , 2000, HSCC.

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

[29]  Raffaello D'Andrea,et al.  Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses , 2007, AI Mag..

[30]  Calin Belta,et al.  Discrete abstractions for robot motion planning and control in polygonal environments , 2005, IEEE Transactions on Robotics.

[31]  Domitilla Del Vecchio,et al.  Evaluation of closed-loop performance of an estimation strategy for decentralized safety controller under communication delay and measurement uncertainty , 2015 .

[32]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[33]  R. Verma,et al.  Semiautonomous Multivehicle Safety , 2011, IEEE Robotics & Automation Magazine.

[34]  Byungkyu Brian Park,et al.  Development and Evaluation of a Cooperative Vehicle Intersection Control Algorithm Under the Connected Vehicles Environment , 2012, IEEE Transactions on Intelligent Transportation Systems.

[35]  Domitilla Del Vecchio,et al.  Efficient algorithms for collision avoidance at intersections , 2012, HSCC '12.

[36]  Umit Ozguner,et al.  A robust video based traffic light detection algorithm for intelligent vehicles , 2009, 2009 IEEE Intelligent Vehicles Symposium.

[37]  Panganamala Ramana Kumar,et al.  Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.

[38]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

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

[40]  Sandro Zampieri,et al.  Average consensus with packet drop communication , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[41]  Domitilla Del Vecchio,et al.  Cooperative Collision Avoidance at Intersections: Algorithms and Experiments , 2013, IEEE Transactions on Intelligent Transportation Systems.