On Resilient Control for Secure Connected Vehicles: A Hybrid Systems Approach

According to the “Internet of Things Forecast” conducted by Ericsson, connected devices will be around 29 billion by 2022. This technological revolution enables the concept of Cyber-Physical Systems (CPSs) that will transform many applications, including powergrid, transportation, smart buildings, and manufacturing. Manufacturers and institutions are relying on technologies related to CPSs to improve the efficiency and performances of their products and services. However, the higher the number of connected devices, the higher the exposure to cybersecurity threats. In the case of CPSs, successful cyberattacks can potentially hamper the economy and endanger human lives. Therefore, it is of paramount importance to develop and adopt resilient technologies that can complement the existing security tools to make CPSs more resilient to cyber-attacks. By exploiting the intrinsically present physical characteristics of CPSs, this dissertation employs dynamical and control systems theory to improve the CPS resiliency to cyberattacks. In particular, we consider CPSs as Networked Control Systems (NCSs), which are control systems where plant and controller share sensing and actuating information through networks. This dissertation proposes novel design procedures that maximize the resiliency of NCSs to network imperfections (i.e., sampling, packet dropping, and network delays) and denial of service (DoS) attacks. We model CPSs from a general point of view to generate design procedures that have a vast spectrum of applicability while creating computationally affordable algorithms capable of real-time performances. Indeed, the findings of this research aspire to be easily applied to several CPSs applications, e.g., power grid, transportation systems, and remote

[1]  Nathan van de Wouw,et al.  Graceful Degradation of Cooperative Adaptive Cruise Control , 2015, IEEE Transactions on Intelligent Transportation Systems.

[2]  Srdjan S. Stankovic,et al.  Decentralized overlapping control of a platoon of vehicles , 2000, IEEE Trans. Control. Syst. Technol..

[3]  Peng Shi,et al.  New results on networked control systems with non-stationary packet dropouts , 2012 .

[4]  Pierluigi Pisu,et al.  A Receding Horizon Switching Control Resilient to Communication Failures for Connected Vehicles , 2017 .

[5]  Dragan Nesic,et al.  Explicit Computation of the Sampling Period in Emulation of Controllers for Nonlinear Sampled-Data Systems , 2009, IEEE Transactions on Automatic Control.

[6]  Subhrakanti Dey,et al.  Stability of Kalman filtering with Markovian packet losses , 2007, Autom..

[7]  Xinghuo Yu,et al.  Survey on Recent Advances in Networked Control Systems , 2016, IEEE Transactions on Industrial Informatics.

[8]  Yunxin Li,et al.  An Overview of the DSRC/WAVE Technology , 2010, QSHINE.

[9]  Ming Li,et al.  String Stability Analysis for Vehicle Platooning Under Unreliable Communication Links With Event-Triggered Strategy , 2019, IEEE Transactions on Vehicular Technology.

[10]  Yuan Lin,et al.  Cooperative Adaptive Cruise Control With Adaptive Kalman Filter Subject to Temporary Communication Loss , 2019, IEEE Access.

[11]  Anuradha M. Annaswamy,et al.  Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges , 2017, Annu. Rev. Control..

[12]  Jamal Daafouz,et al.  Analysis and control of LTI and switched systems in digital loops via an event-based modelling , 2008, Int. J. Control.

[13]  Xuemin Shen,et al.  Connected Vehicles: Solutions and Challenges , 2014, IEEE Internet of Things Journal.

[14]  Emilia Fridman,et al.  Robust sampled-data stabilization of linear systems: an input delay approach , 2004, Autom..

[15]  Wpmh Maurice Heemels,et al.  Output-Based Controller Synthesis for Networked Control Systems with Periodic Protocols and Time-Varying Transmission Intervals and Delays , 2014 .

[16]  Nathan van de Wouw,et al.  Lp String Stability of Cascaded Systems: Application to Vehicle Platooning , 2014, IEEE Transactions on Control Systems Technology.

[17]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[18]  P. Kabamba Control of Linear Systems Using Generalized Sampled-Data Hold Functions , 1987, 1987 American Control Conference.

[19]  P. Dooren Matrix Mathematics: Theory, Facts, and Formulas with Application to Linear Systems Theory [Book Review] , 2006 .

[20]  E. Fridman,et al.  Input / output delay approach to robust sampled-data H ∞ control , 2005 .

[21]  Randy A. Freeman,et al.  REVISITING THE IISS SMALL-GAIN THEOREM THROUGH TRANSIENT PLUS ISS SMALL-GAIN REGULATION , 2013 .

[22]  Pierluigi Pisu,et al.  DoS-Resilient Hybrid Controller for String-Stable Connected Vehicles , 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).

[23]  Douglas A. Lawrence On output feedback stabilization for linear impulsive systems , 2012, 2012 American Control Conference (ACC).

[24]  Leon J. H. M. Kester,et al.  Critical headway estimation under uncertainty and non-ideal communication conditions , 2014, 17th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[25]  Zeeshan Hameed Mir,et al.  LTE and IEEE 802.11p for vehicular networking: a performance evaluation , 2014, EURASIP J. Wirel. Commun. Netw..

[26]  Nasser E. Nahi,et al.  Optimal recursive estimation with uncertain observation , 1969, IEEE Trans. Inf. Theory.

[27]  Wenyuan Xu,et al.  Jamming sensor networks: attack and defense strategies , 2006, IEEE Network.

[28]  Corentin Briat,et al.  Spectral necessary and sufficient conditions for sampling-period-independent stabilisation of periodic and aperiodic sampled-data systems using a class of generalised sampled-data hold functions , 2014, Int. J. Control.

[29]  Jeroen Ploeg,et al.  Event-Triggered Control for String-Stable Vehicle Platooning , 2017, IEEE Transactions on Intelligent Transportation Systems.

[30]  Jalel Ben-Othman,et al.  Detection of Radio Interference Attacks in VANET , 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference.

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

[32]  Bo Yu,et al.  Robust mixed H2/H∞ control of networked control systems with random time delays in both forward and backward communication links , 2011, Autom..

[33]  Bruno Sinopoli,et al.  Kalman filtering with intermittent observations , 2004, IEEE Transactions on Automatic Control.

[34]  Nathan van de Wouw,et al.  Networked Control Systems With Communication Constraints: Tradeoffs Between Transmission Intervals, Delays and Performance , 2010, IEEE Transactions on Automatic Control.

[35]  Alvin Lim,et al.  An empirical study of DSRC V2V performance in truck platooning scenarios , 2016, Digit. Commun. Networks.

[36]  Pierluigi Pisu,et al.  Resilient control strategy under Denial of Service in connected vehicles , 2017, 2017 American Control Conference (ACC).

[37]  Pierluigi Pisu,et al.  Real-Time Detection and Estimation of Denial of Service Attack in Connected Vehicle Systems , 2018, IEEE Transactions on Intelligent Transportation Systems.

[38]  Fuwen Yang,et al.  Robust $H_{\infty}$ Control for Networked Systems With Random Packet Losses , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[39]  Pierluigi Pisu,et al.  On DoS Resiliency Analysis of Networked Control Systems: Trade-Off Between Jamming Actions and Network Delays , 2019, IEEE Control Systems Letters.

[40]  Pierluigi Pisu,et al.  Network Aware Control Design for String Stabilization in Vehicle Platoons: An LMI Approach , 2019, 2019 American Control Conference (ACC).

[41]  Kim-Chuan Toh,et al.  Solving semidefinite-quadratic-linear programs using SDPT3 , 2003, Math. Program..

[42]  Yuan Zhao,et al.  Sampled-data vehicular platoon control with communication delay , 2018, J. Syst. Control. Eng..

[43]  Maarten Steinbuch,et al.  String-Stable CACC Design and Experimental Validation: A Frequency-Domain Approach , 2010, IEEE Transactions on Vehicular Technology.

[44]  Richard A. Poisel,et al.  Modern Communications Jamming Principles and Techniques , 2003 .

[45]  Leonid Mirkin,et al.  Intermittent Redesign of Analog Controllers via the Youla Parameter , 2015, IEEE Transactions on Automatic Control.

[46]  Yuanqing Xia,et al.  Recent progress in networked control systems — A survey , 2015, International Journal of Automation and Computing.

[47]  Elham Semsar-Kazerooni,et al.  Cooperative adaptive cruise control over unreliable networks: an observer-based approach to increase robustness to packet loss , 2018, 2018 European Control Conference (ECC).

[48]  L. Hetel,et al.  Robust output-feedback control for uncertain linear sampled-data systems: A 2D impulsive system approach , 2019, Nonlinear Analysis: Hybrid Systems.

[49]  Simone Baldi,et al.  An Adaptive Switched Control Approach to Heterogeneous Platooning With Intervehicle Communication Losses , 2018, IEEE Transactions on Control of Network Systems.

[50]  W. P. M. H. Heemels,et al.  Controller synthesis for networked control systems , 2010, Autom..

[51]  Peter J Seiler,et al.  Analysis of communication losses in vehicle control problems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[52]  Wei Liang,et al.  A survey of packet disordering existing in networked control systems , 2015, 2015 IEEE International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER).

[53]  Daoyuan Zhang,et al.  Continuous output feedback stabilization for nonlinear systems based on sampled and delayed output measurements , 2016 .

[54]  João Pedro Hespanha,et al.  Exponential stability of impulsive systems with application to uncertain sampled-data systems , 2008, Syst. Control. Lett..

[55]  Magdi S. Mahmoud,et al.  Networked Control Systems Analysis and Design: An Overview , 2016 .

[56]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[57]  Dong Yue,et al.  State feedback controller design of networked control systems , 2004, IEEE Transactions on Circuits and Systems II: Express Briefs.

[58]  Qingling Zhang,et al.  Modelling and robust stability of networked control systems with packet reordering and long delay , 2009, Int. J. Control.

[59]  Jianqiang Wang,et al.  An overview of vehicular platoon control under the four-component framework , 2015, 2015 IEEE Intelligent Vehicles Symposium (IV).

[60]  Quanyan Zhu,et al.  Resilient control of cyber-physical systems against Denial-of-Service attacks , 2013, 2013 6th International Symposium on Resilient Control Systems (ISRCS).

[61]  Dragan Nesic,et al.  Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design , 2007, Autom..

[62]  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).

[63]  Emilia Fridman,et al.  Recent developments on the stability of systems with aperiodic sampling: An overview , 2017, Autom..

[64]  S E Shladover,et al.  Automated vehicles for highway operations (automated highway systems) , 2005 .

[65]  Peter F. Al-Hokayem Stability Analysis of Networked Control Systems , 2003 .

[66]  Oh-Min Kwon,et al.  Stability and Stabilization Criteria for Sampled-data Control System via Augmented Lyapunov-Krasovskii Functionals , 2018, International Journal of Control, Automation and Systems.

[67]  Wei Chen,et al.  Network-based H∞ output tracking control for systems with time-varying bounded delay , 2011, Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE).

[68]  Ricardo G. Sanfelice,et al.  A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox , 2013, HSCC '13.

[69]  Joao P. Hespanha,et al.  Tracking control for sampled‐data systems with uncertain time‐varying sampling intervals and delays , 2009 .

[70]  Camille Alain Rabbath,et al.  Modeling of packet dropout for UAV wireless communications , 2012, 2012 International Conference on Computing, Networking and Communications (ICNC).

[71]  Yul Y. Nazaruddin,et al.  Distributed resilient tracking control of a vehicle platoon under communication imperfection , 2017, 2017 4th International Conference on Electric Vehicular Technology (ICEVT).

[72]  Biao Huang,et al.  A new method for stabilization of networked control systems with random delays , 2005, Proceedings of the 2005, American Control Conference, 2005..

[73]  Bart van Arem,et al.  The Impact of Cooperative Adaptive Cruise Control on Traffic-Flow Characteristics , 2006, IEEE Transactions on Intelligent Transportation Systems.

[74]  Nathan van de Wouw,et al.  Decentralized observer-based control via networked communication , 2013, Autom..

[75]  Antonio Sala Improving Performance Under Sampling-Rate Variations via Generalized Hold Functions , 2007, IEEE Transactions on Control Systems Technology.

[76]  Ricardo G. Sanfelice,et al.  Observer-based control design for linear systems in the presence of limited measurement streams and intermittent input access , 2015, 2015 American Control Conference (ACC).

[77]  Amir Alipour-Fanid,et al.  String Stability Analysis of Cooperative Adaptive Cruise Control under Jamming Attacks , 2017, 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).

[78]  Ricardo G. Sanfelice,et al.  L2 State Estimation with Guaranteed Convergence Speed in the Presence of Sporadic Measurements , 2018, ArXiv.

[79]  Arman Sargolzaei,et al.  A Decision Support System for Improving Resiliency of Cooperative Adaptive Cruise Control Systems , 2016 .

[80]  C. Scherer,et al.  Multiobjective output-feedback control via LMI optimization , 1997, IEEE Trans. Autom. Control..

[81]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[82]  Carlos Silvestre,et al.  Control of impulsive renewal systems: Application to direct design in networked control , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[83]  Huijun Gao,et al.  Network-Induced Constraints in Networked Control Systems—A Survey , 2013, IEEE Transactions on Industrial Informatics.

[84]  Pietro Tesi,et al.  Resilient control under Denial-of-Service: Robust design , 2016, 2016 American Control Conference (ACC).

[85]  Nathan van de Wouw,et al.  Controller Synthesis for String Stability of Vehicle Platoons , 2014, IEEE Transactions on Intelligent Transportation Systems.

[86]  M. Tomizuka,et al.  Control issues in automated highway systems , 1994, IEEE Control Systems.

[87]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[88]  Nathan van de Wouw,et al.  Stability of Networked Control Systems With Uncertain Time-Varying Delays , 2009, IEEE Transactions on Automatic Control.

[89]  Nathan van de Wouw,et al.  Design and experimental evaluation of cooperative adaptive cruise control , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[90]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

[91]  Emilia Fridman,et al.  A refined input delay approach to sampled-data control , 2010, Autom..

[92]  Dragan Nesic,et al.  A Lyapunov Proof of an Improved Maximum Allowable Transfer Interval for Networked Control Systems , 2007, IEEE Transactions on Automatic Control.

[93]  Pietro Tesi,et al.  A Comparison Among Deterministic Packet-Dropouts Models in Networked Control Systems , 2018, IEEE Control Systems Letters.

[94]  W. P. M. H. Heemels,et al.  Event-Triggered Control Systems Under Denial-of-Service Attacks , 2017, IEEE Transactions on Control of Network Systems.

[95]  S. Shankar Sastry,et al.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks , 2009, HSCC.

[96]  Chaohong Cai,et al.  Characterizations of input-to-state stability for hybrid systems , 2009, Syst. Control. Lett..

[97]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[98]  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).

[99]  Andreas Festag,et al.  Cooperative intelligent transport systems standards in europe , 2014, IEEE Communications Magazine.

[100]  Pierluigi Pisu,et al.  The Impact of Dedicated Short Range Communication on Cooperative Adaptive Cruise Control , 2018, 2018 IEEE International Conference on Communications (ICC).

[101]  Le Yi Wang,et al.  Influence of information flow topology on closed-loop stability of vehicle platoon with rigid formation , 2014, 17th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[102]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[103]  Joao P. Hespanha,et al.  Stability of networked control systems with variable sampling and delay , 2006 .

[104]  Ricardo G. Sanfelice,et al.  A hybrid observer with a continuous intersample injection in the presence of sporadic measurements , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[105]  Stephen P. Boyd,et al.  Future directions in control in an information-rich world , 2003 .

[106]  Dipak Ghosal,et al.  Security vulnerabilities of connected vehicle streams and their impact on cooperative driving , 2015, IEEE Communications Magazine.

[107]  Qing-Long Han,et al.  Modelling and controller design for discrete-time networked control systems with limited channels and data drift , 2014, Inf. Sci..

[108]  Nathan van de Wouw,et al.  Cooperative Adaptive Cruise Control: Network-Aware Analysis of String Stability , 2014, IEEE Transactions on Intelligent Transportation Systems.

[109]  Yuanqing Xia,et al.  Control of networked systems with packet loss and channel uncertainty , 2016 .

[110]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[111]  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.