Reachable Set Analysis of Vehicular Platooning in Adversarial Environment

In this paper, we propose a method based on reachable set theory to investigate adversarial behavior in automated vehicle platoons. Vehicular platoons have been developed to increase highway throughput and safety, and to enhance driving comfort. The resulting deployment of cyber-physical technology in critical infrastructure is increasingly attractive to both hackers and security researchers. To ensure safety and privacy of vehicle occupants, it is essential to identify the vulnerabilities of platoon systems. In this paper, we study the attacker's capabilities under input constraints during two types of attack: motion modification and integral attacks. Using ellipsoidal techniques, we investigate the extent of an attacker's ability to manipulate the control variables and states of a platoon resulting in oscillatory motion or collision. The outcomes of our analysis are demonstrated by an example.

[1]  Wei-Bin Zhang,et al.  Demonstration of integrated longitudinal and lateral control for the operation of automated vehicles in platoons , 2000, IEEE Trans. Control. Syst. Technol..

[2]  J. K. Hedrick,et al.  Constant Spacing Strategies for Platooning in Automated Highway Systems , 1999 .

[3]  Soodeh Dadras,et al.  Path Tracking Using Fractional Order Extremum Seeking Controller for Autonomous Ground Vehicle , 2017 .

[4]  Mo Chen,et al.  Reach-avoid problems with time-varying dynamics, targets and constraints , 2014, HSCC.

[5]  Prathyush P. Menon,et al.  Analysis of Automotive Cyber-Attacks on Highways Using Partial Differential Equation Models , 2018, IEEE Transactions on Control of Network Systems.

[6]  Soodeh Dadras,et al.  Cybersecurity of Autonomous Vehicle Platooning , 2017 .

[7]  Nick McKeown,et al.  Automated vehicle control developments in the PATH program , 1991 .

[8]  Mo Chen,et al.  Safe platooning of unmanned aerial vehicles via reachability , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[9]  Soodeh Dadras.  Insider Vs. Outsider threats to autonomous vehicle platooning , 2018 .

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

[11]  Hongxin Hu,et al.  Comprehensive view of security practices in vehicular networks , 2016, 2016 International Conference on Connected Vehicles and Expo (ICCVE).

[12]  A. Kurzhanski,et al.  Ellipsoidal Calculus for Estimation and Control , 1996 .

[13]  Pravin Varaiya,et al.  On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations , 2002, Optim. Methods Softw..

[14]  Byungkyu Park,et al.  Assessment of mobility, energy, and environment impacts of IntelliDrive-based Cooperative Adaptive Cruise Control and Intelligent Traffic Signal control , 2010, Proceedings of the 2010 IEEE International Symposium on Sustainable Systems and Technology.

[15]  A. Girard,et al.  Reachability analysis of linear systems using support functions , 2010 .

[16]  Hasnaa Zidani,et al.  Reachability and Minimal Times for State Constrained Nonlinear Problems without Any Controllability Assumption , 2010, SIAM J. Control. Optim..

[17]  Bruno Sinopoli,et al.  Is your commute driving you crazy?: a study of misbehavior in vehicular platoons , 2015, WISEC.

[18]  John S. Baras,et al.  Reachable set approach to collision avoidance for UAVs , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[19]  Charles A. Desoer,et al.  Longitudinal Control of a Platoon of Vehicles , 1990, 1990 American Control Conference.

[20]  J.K. Hedrick,et al.  String Stability Analysis for Heterogeneous Vehicle Strings , 2007, 2007 American Control Conference.

[21]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[22]  Soodeh Dadras,et al.  Vehicular Platooning in an Adversarial Environment , 2015, AsiaCCS.

[23]  Sara Dadras,et al.  Identification of the Attacker in Cyber-Physical Systems with an Application to Vehicular Platooning in Adversarial Environment , 2018, 2018 Annual American Control Conference (ACC).

[24]  J. Ploeg,et al.  VEHIL: developing and testing intelligent vehicles , 2002, Intelligent Vehicle Symposium, 2002. IEEE.

[25]  Todd Litman,et al.  Autonomous Vehicle Implementation Predictions: Implications for Transport Planning , 2015 .

[26]  Claire J. Tomlin,et al.  A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[27]  S. Shankar Sastry,et al.  Reachability calculations for automated aerial refueling , 2008, 2008 47th IEEE Conference on Decision and Control.

[28]  Soodeh Dadras.  Collaborative attacks on vehicular platooning , 2018 .

[29]  Ellen van Nunen,et al.  Cooperative Competition for Future Mobility , 2012, IEEE Transactions on Intelligent Transportation Systems.

[30]  Jonas Fredriksson,et al.  A control matching model predictive control approach to string stable vehicle platooning , 2015 .

[31]  YangQuan Chen,et al.  Vehicle Platooning: A Brief Survey and Categorization , 2011 .

[32]  Diana Yanakiev,et al.  A SIMPLIFIED FRAMEWORK FOR STRING STABILITY ANALYSIS IN AHS , 1996 .

[33]  Prathyush P. Menon,et al.  PDE-based analysis of automotive cyber-attacks on highways , 2017, 2017 American Control Conference (ACC).

[34]  Mo Chen,et al.  Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways , 2016, 1602.08150.