Distributed Switching Control to Achieve Almost Sure Safety for Leader-Follower Vehicular Networked Systems

Leader-follower formation control is a widely used distributed control strategy that requires systems to exchange their information over a wireless radio communication network to attain and maintain formations. These wireless networks are often subject to deep fades, where a severe drop in the quality of the communication link occurs. Such deep fades inevitably inject a great deal of stochastic uncertainties into the system, which significantly impact the system's performance and stability, and cause unexpected safety problems in applications like smart transportation systems. Assuming an exponentially bursty channel that varies as a function of the vehicular states, this paper proposes a distributed switching control scheme under which the local controller is reconfigured in response to the changes of channel state, to assure almost sure safety for a chain of leader-follower system. Here almost sure safety means that the likelihood of vehicular states entering a safe region asymptotically goes to one as time goes to infinity. Sufficient conditions are provided for each local vehicle to decide which controller is placed in the feedback loop to assure almost sure safety in the presence of deep fades. Simulation results of a chain of leader-follower formation are used to illustrate the findings.

[1]  Gregory W. Wornell,et al.  Cooperative diversity in wireless networks: Efficient protocols and outage behavior , 2004, IEEE Transactions on Information Theory.

[2]  Daniel Liberzon,et al.  Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..

[3]  B. V. K. Vijaya Kumar,et al.  Performance of the 802.11p Physical Layer in Vehicle-to-Vehicle Environments , 2012, IEEE Transactions on Vehicular Technology.

[4]  Chengzhi Li,et al.  A Network Calculus With Effective Bandwidth , 2007, IEEE/ACM Transactions on Networking.

[5]  Nathan Michael,et al.  Vision-Based Localization for Leader–Follower Formation Control , 2009, IEEE Transactions on Robotics.

[6]  Massimo Franceschetti,et al.  Data Rate Theorem for Stabilization Over Time-Varying Feedback Channels , 2009, IEEE Transactions on Automatic Control.

[7]  Andrey V. Savkin,et al.  Comments on "Control over noisy channels" and relevant negative results , 2005, IEEE Trans. Autom. Control..

[8]  J. Hedrick,et al.  String stability of interconnected systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[9]  Raja Sengupta,et al.  An H/sub /spl infin// approach to networked control , 2005, IEEE Transactions on Automatic Control.

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

[11]  Brian D. O. Anderson,et al.  Localization and Circumnavigation of a Slowly Moving Target Using Bearing Measurements , 2014, IEEE Transactions on Automatic Control.

[12]  Qiang Ling,et al.  A Necessary and Sufficient Feedback Dropout Condition to Stabilize Quantized Linear Control Systems With Bounded Noise , 2010, IEEE Transactions on Automatic Control.

[13]  Sekhar Tatikonda,et al.  Control over noisy channels , 2004, IEEE Transactions on Automatic Control.

[14]  Michael D. Lemmon,et al.  Distributed switching control to achieve resilience to deep fades in leader-follower nonholonomic systems , 2014, HiCoNS.

[15]  David Tse,et al.  Fundamentals of Wireless Communication , 2005 .

[16]  Mario di Bernardo,et al.  Distributed Consensus Strategy for Platooning of Vehicles in the Presence of Time-Varying Heterogeneous Communication Delays , 2015, IEEE Transactions on Intelligent Transportation Systems.

[17]  Saleem A. Kassam,et al.  Finite-state Markov model for Rayleigh fading channels , 1999, IEEE Trans. Commun..

[18]  Massimo Franceschetti,et al.  Stabilization Over Markov Feedback Channels: The General Case , 2013, IEEE Transactions on Automatic Control.

[19]  Vijay Kumar,et al.  Controlling formations of multiple mobile robots , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[20]  Kai-Min Chung,et al.  Chernoff-Hoeffding Bounds for Markov Chains: Generalized and Simplified , 2012, STACS.

[21]  Nathan van de Wouw,et al.  Graceful degradation of CACC performance subject to unreliable wireless communication , 2013, 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).

[22]  H. Kushner Stochastic Stability and Control , 2012 .

[23]  Nathan van de Wouw,et al.  String stability of interconnected vehicles under communication constraints , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[24]  Peter Seiler,et al.  Disturbance propagation in vehicle strings , 2004, IEEE Transactions on Automatic Control.

[25]  Constantine A. Balanis,et al.  Antenna Theory: Analysis and Design , 1982 .

[26]  Moshe Sidi,et al.  Performance and stability of communication networks via robust exponential bounds , 1993, TNET.

[27]  Fan Bai,et al.  Mobile Vehicle-to-Vehicle Narrow-Band Channel Measurement and Characterization of the 5.9 GHz Dedicated Short Range Communication (DSRC) Frequency Band , 2007, IEEE Journal on Selected Areas in Communications.

[28]  Paolo Santi,et al.  Vehicle-to-Vehicle Communication: Fair Transmit Power Control for Safety-Critical Information , 2009, IEEE Transactions on Vehicular Technology.

[29]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[30]  Andrea Goldsmith,et al.  Effects of communication delay on string stability in vehicle platoons , 2001, ITSC 2001. 2001 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.01TH8585).

[31]  Brian D. O. Anderson,et al.  Analysis of Noisy Bearing-Only Network Localization , 2013, IEEE Transactions on Automatic Control.

[32]  Florin Ciucu,et al.  Scaling properties of statistical end-to-end bounds in the network calculus , 2006, IEEE Transactions on Information Theory.

[33]  D. Swaroop,et al.  String Stability Of Interconnected Systems: An Application To Platooning In Automated Highway Systems , 1997 .

[34]  Vijay Kumar,et al.  Leader-to-formation stability , 2004, IEEE Transactions on Robotics and Automation.

[35]  Erik G. Ström,et al.  Evaluation of the IEEE 802.11p MAC Method for Vehicle-to-Vehicle Communication , 2008, 2008 IEEE 68th Vehicular Technology Conference.

[36]  Carl Bergenhem,et al.  Vehicle-to-Vehicle Communication for a Platooning System , 2012 .

[37]  R. W. Brockett,et al.  Asymptotic stability and feedback stabilization , 1982 .

[38]  Karl Henrik Johansson,et al.  Guaranteeing safety for heavy duty vehicle platooning : Safe set computations and experimental evaluations , 2014 .

[39]  Prashant G. Mehta,et al.  Stability Margin Scaling Laws for Distributed Formation Control as a Function of Network Structure , 2010, IEEE Transactions on Automatic Control.

[40]  Michael D. Lemmon,et al.  Using channel state feedback to achieve resilience to deep fades in wireless networked control systems , 2013, HiCoNS '13.

[41]  Xiang Cheng,et al.  Vehicle-to-vehicle channel modeling and measurements: recent advances and future challenges , 2009, IEEE Communications Magazine.

[42]  Izhak Rubin,et al.  Vehicular backbone networking protocol for highway broadcasting using directional antennas , 2013, 2013 IEEE Globecom Workshops (GC Wkshps).