-
Delay-Induced Watermarking for Detection of Replay Attacks in Linear Systems
Authors:
Christoforos Somarakis,
Raman Goyal,
Erfaun Noorani,
Shantanu Rane
Abstract:
A state-feedback watermarking signal design for the detection of replay attacks in linear systems is proposed. The control input is augmented with a random time-delayed term of the system state estimate, in order to secure the system against attacks of replay type. We outline the basic analysis of the closed-loop response of the state-feedback watermarking in a LQG controlled system. Our theoretic…
▽ More
A state-feedback watermarking signal design for the detection of replay attacks in linear systems is proposed. The control input is augmented with a random time-delayed term of the system state estimate, in order to secure the system against attacks of replay type. We outline the basic analysis of the closed-loop response of the state-feedback watermarking in a LQG controlled system. Our theoretical results are applied on a temperature process control example. While the proposed secure control scheme requires very involved analysis, it, nevertheless, holds promise of being superior to conventional, feed-forward, watermarking schemes, in both its ability to detect attacks as well as the secured system performance.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Risk of Cascading Collisions in Network of Vehicles with Delayed Communication
Authors:
Guangyi Liu,
Christoforos Somarakis,
Nader Motee
Abstract:
This work explores cascading failures in networked control systems by employing a platoon of vehicles that exchange information over a time-delayed communication graph as a model. We study the roles of network connectivity, system dynamics, communication time-delay, and uncertainty in the emergence of these failure phenomena. Our results yield closed-form expressions for the average value-at-risk…
▽ More
This work explores cascading failures in networked control systems by employing a platoon of vehicles that exchange information over a time-delayed communication graph as a model. We study the roles of network connectivity, system dynamics, communication time-delay, and uncertainty in the emergence of these failure phenomena. Our results yield closed-form expressions for the average value-at-risk (AV@R), which we utilize as a coherent risk measure to quantify the cascading effect of vehicle collisions within a platoon. These findings are further extended with several standard communication graphs with symmetries to reveal the impact of graph design parameters on the risk of cascading collisions. By presenting the boundedness of the steady-state statistics of the inter-vehicle distances, we present the best achievable risk of cascading collision with general graph topologies, which is further specified for special communication graph such as the complete graph. Our theoretical findings pave the way for the development of a robust framework designed to mitigate the risk of cascading collisions in vehicle platoons by exploring how platoon reacts to the various existing failures and the change of communication links.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Cascading Waves of Fluctuation in Time-delay Multi-agent Rendezvous
Authors:
Guangyi Liu,
Vivek Pandey,
Christoforos Somarakis,
Nader Motee
Abstract:
We develop a framework to assess the risk of cascading failures when a team of agents aims to rendezvous in time in the presence of exogenous noise and communication time-delay. The notion of value-at-risk (VaR) measure is used to evaluate the risk of cascading failures (i.e., waves of large fluctuations) when agents have failed to rendezvous. Furthermore, an efficient explicit formula is obtained…
▽ More
We develop a framework to assess the risk of cascading failures when a team of agents aims to rendezvous in time in the presence of exogenous noise and communication time-delay. The notion of value-at-risk (VaR) measure is used to evaluate the risk of cascading failures (i.e., waves of large fluctuations) when agents have failed to rendezvous. Furthermore, an efficient explicit formula is obtained to calculate the risk of higher-order cascading failures recursively. Finally, from a risk-aware design perspective, we report an evaluation of the most vulnerable sequence of agents in various communication graphs.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Co-Design of Watermarking and Robust Control for Security in Cyber-Physical Systems
Authors:
Raman Goyal,
Christoforos Somarakis,
Erfaun Noorani,
Shantanu Rane
Abstract:
This work discusses a novel framework for simultaneous synthesis of optimal watermarking signal and robust controllers in cyber-physical systems to minimize the loss in performance due to added watermarking signal and to maximize the detection rate of the attack. A general dynamic controller is designed to improve system performance with respect to the $\mathcal H_2$ norm, while a watermarking sig…
▽ More
This work discusses a novel framework for simultaneous synthesis of optimal watermarking signal and robust controllers in cyber-physical systems to minimize the loss in performance due to added watermarking signal and to maximize the detection rate of the attack. A general dynamic controller is designed to improve system performance with respect to the $\mathcal H_2$ norm, while a watermarking signal is added to improve security performance concerning the detection rate of replay attacks. The attack model considered in the paper is a replay attack, a natural attack mode when the dynamics of the system is unknown to the attacker. The paper first generalizes the existing result on the detection rate of $χ^2$ detector from a static-LQR controller to a general dynamic controller. The design improvements on both robustness and security fronts are obtained by iteratively solving the convex subsets of the formulated non-convex problem in terms of the controller and watermarking signal. A semi-definite programming optimization is formulated using Linear Matrix Inequality (LMI) results to solve the larger system-level design optimization problem. We highlight the effectiveness of our method over a simplified three-tank chemical system.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Emergence of Cascading Risk and Role of Spatial Locations of Collisions in Time-Delayed Platoon of Vehicles
Authors:
Guangyi Liu,
Christoforos Somarakis,
Nader Motee
Abstract:
We develop a framework to assess the risk of cascading collisions in a platoon of vehicles in the presence of exogenous noise and communication time-delay. The notion of Value-at-Risk (VaR) is adopted to quantify the risk of collision between vehicles in a pair conditioned on the knowledge of multiple previously occurred failures in the platoon. We show that the risk of cascading failures depends…
▽ More
We develop a framework to assess the risk of cascading collisions in a platoon of vehicles in the presence of exogenous noise and communication time-delay. The notion of Value-at-Risk (VaR) is adopted to quantify the risk of collision between vehicles in a pair conditioned on the knowledge of multiple previously occurred failures in the platoon. We show that the risk of cascading failures depends on the Laplacian spectrum of the underlying communication graph, time-delay, and noise statistics. Furthermore, we exploit the structure of several standard graphs to show how the risk profile depends on the magnitude and spatial location of the prior collisions (failures). Our theoretical findings are significant as they can be applied to designing safe platoons that minimize the risk of cascading failures. Our theoretical findings are supported by several simulations.
△ Less
Submitted 6 April, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Risk of Phase Incoherence in Wide Area Control of Synchronous Power Networks
Authors:
Christoforos Somarakis,
Guangyi Liu,
Nader Motee
Abstract:
We develop a framework to quantify systemic risk measures in a class of Wide-Area-Control (WAC) laws in power networks in the presence of noisy and time-delayed sensory data. A closed-form calculation of the risk of phase incoherence in interconnected power networks is presented, and the effect of network parameters, information flow in WAC architecture, statistics of noise, and time-delays are ch…
▽ More
We develop a framework to quantify systemic risk measures in a class of Wide-Area-Control (WAC) laws in power networks in the presence of noisy and time-delayed sensory data. A closed-form calculation of the risk of phase incoherence in interconnected power networks is presented, and the effect of network parameters, information flow in WAC architecture, statistics of noise, and time-delays are characterized. We show that in the presence of time-delay and noise, a fundamental trade-off between the best achievable performance (via tuning feedback gains) and value-at-risk emerges. The significance of our results is that they provide a guideline for develo** algorithmic design tools to enhance the coherency and robustness of closed-loop power networks simultaneously. Finally, we validate our theoretical findings through extensive simulation examples.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
Risk of Cascading Failures in Time-Delayed Vehicle Platooning
Authors:
Guangyi Liu,
Christoforos Somarakis,
Nader Motee
Abstract:
We develop a systemic risk framework to explore cascading systemic failures in networked control systems. A time-delayed version of the vehicle platooning problem is used as a benchmark to study the interplay among network connectivity, system dynamics, physical limitations, and uncertainty onto the possibility of cascading failure phenomena. The measure of value-at-risk is employed to investigate…
▽ More
We develop a systemic risk framework to explore cascading systemic failures in networked control systems. A time-delayed version of the vehicle platooning problem is used as a benchmark to study the interplay among network connectivity, system dynamics, physical limitations, and uncertainty onto the possibility of cascading failure phenomena. The measure of value-at-risk is employed to investigate the domino effect of failures among pairs of vehicles within the platoon. The systemic risk framework is suitably extended to quantify the robustness of cascading failures via a novel manipulation of bi-variate distribution. We establish closed-form risk formulas that explain the effect of network parameters (e.g., Laplacian eigen-spectrum, time delay), noise statistics, and systemic event sets onto the cascading failures. Our findings can be applied to the design of robust platoons to lower the cascading risk. We support our theoretical results with extensive simulations.
△ Less
Submitted 4 September, 2021;
originally announced September 2021.
-
Centrality in Time-Delay Consensus Networks with Structured Uncertainties
Authors:
Yaser Ghaedsharaf,
Milad Siami,
Christoforos Somarakis,
Nader Motee
Abstract:
We investigate notions of network centrality in terms of the underlying coupling graph of the network, structure of exogenous uncertainties, and communication time-delay. Our focus is on time-delay linear consensus networks, where uncertainty is modeled by structured additive noise on the dynamics of agents. The centrality measures are defined using the $\mathcal H_2$-norm of the network. We quant…
▽ More
We investigate notions of network centrality in terms of the underlying coupling graph of the network, structure of exogenous uncertainties, and communication time-delay. Our focus is on time-delay linear consensus networks, where uncertainty is modeled by structured additive noise on the dynamics of agents. The centrality measures are defined using the $\mathcal H_2$-norm of the network. We quantify the centrality measures as functions of time-delay, the graph Laplacian, and the covariance matrix of the input noise. Several practically relevant uncertainty structures are considered, where we discuss two notions of centrality: one w.r.t intensity of the noise and the other one w.r.t coupling strength between the agents. Furthermore, explicit formulas for the centrality measures are obtained for all types of uncertainty structures. Lastly, we rank agents and communication links based on their centrality indices and highlight the role of time-delay and uncertainty structure in each scenario. Our counter intuitive grasp is that some of centrality measures are highly volatile with respect to time-delay.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Risk of Collision and Detachment in Vehicle Platooning: Time-Delay-Induced Limitations and Trade-Offs (Extended Version)
Authors:
Christoforos Somarakis,
Yaser Ghaedsharaf,
Nader Motee
Abstract:
We quantify the value-at-risk of inter-vehicle collision and detachment for a class of platoons, which are governed by second-order dynamics in presence of communication time-delay and exogenous stochastic noise. Closed-form expressions for the risk measures are obtained as functions of Laplacian eigen-spectrum as well as their fine explicit approximations using rational polynomial functions. We q…
▽ More
We quantify the value-at-risk of inter-vehicle collision and detachment for a class of platoons, which are governed by second-order dynamics in presence of communication time-delay and exogenous stochastic noise. Closed-form expressions for the risk measures are obtained as functions of Laplacian eigen-spectrum as well as their fine explicit approximations using rational polynomial functions. We quantify several hard limits and fundamental tradeoffs among the risk measures, network connectivity, communication time-delay, and statistics of exogenous stochastic noise. Simultaneous presence of stochastic noise and time delay in a platoon imposes some idiosyncratic limitations on the behavior of collision and detachment risks, for instance, weakening (improving) network connectivity may result in lower (higher) levels of risk. Furthermore, a thorough risk analysis and comparison have been conducted for networks with specific graph topology. We support our theoretical findings via extensive simulations.
△ Less
Submitted 23 November, 2019; v1 submitted 11 December, 2018;
originally announced December 2018.
-
Performance Improvement in Noisy Linear Consensus Networks with Time-Delay
Authors:
Yaser Ghaedsharaf,
Milad Siami,
Christoforos Somarakis,
Nader Motee
Abstract:
We analyze performance of a class of time-delay first-order consensus networks from a graph topological perspective and present methods to improve it. The performance is measured by network's square of H-2 norm and it is shown that it is a convex function of Laplacian eigenvalues and the coupling weights of the underlying graph of the network. First, we propose a tight convex, but simple, approxim…
▽ More
We analyze performance of a class of time-delay first-order consensus networks from a graph topological perspective and present methods to improve it. The performance is measured by network's square of H-2 norm and it is shown that it is a convex function of Laplacian eigenvalues and the coupling weights of the underlying graph of the network. First, we propose a tight convex, but simple, approximation of the performance measure in order to achieve lower complexity in our design problems by eliminating the need for eigen-decomposition. The effect of time-delay reincarnates itself in the form of non-monotonicity, which results in nonintuitive behaviors of the performance as a function of graph topology. Next, we present three methods to improve the performance by growing, re-weighting, or sparsifying the underlying graph of the network. It is shown that our suggested algorithms provide near-optimal solutions with lower complexity with respect to existing methods in literature.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Aggregate Fluctuations in Networks with Drift-Diffusion Models Driven by Stable Non-Gaussian Disturbances
Authors:
Christoforos Somarakis,
Nader Motee
Abstract:
The focus of this paper is to quantify measures of aggregate fluctuations for a class of consensus-seeking multiagent networks subject to exogenous noise with alpha-stable distributions. This type of noise is generated by a class of random measures with heavy-tailed probability distributions. We define a cumulative scale parameter using scale parameters of probability distributions of the output v…
▽ More
The focus of this paper is to quantify measures of aggregate fluctuations for a class of consensus-seeking multiagent networks subject to exogenous noise with alpha-stable distributions. This type of noise is generated by a class of random measures with heavy-tailed probability distributions. We define a cumulative scale parameter using scale parameters of probability distributions of the output variables, as a measure of aggregate fluctuation. Although this class of measures can be characterized implicitly in closed-form in steady-state, finding their explicit forms in terms of network parameters is, in general, almost impossible. We obtain several tractable upper bounds in terms of Laplacian spectrum and statistics of the input noise. Our results suggest that relying on Gaussian-based optimal design algorithms will result in non-optimal solutions for networks that are driven by non-Gaussian noise inputs with alpha-stable distributions.
The manuscript has been submitted for publication to IEEE Transactions on Control of Network Systems. It is the extended version of preliminary paper included in the proceedings of the 2018 American Control Conference.
△ Less
Submitted 28 January, 2019; v1 submitted 12 July, 2018;
originally announced July 2018.
-
Koopman Performance Analysis of Nonlinear Consensus Networks
Authors:
Hossein K. Mousavi,
Christoforos Somarakis,
Qiyu Sun,
Nader Motee
Abstract:
Spectral decomposition of dynamical systems is a popular methodology to investigate the fundamental qualitative and quantitative properties of these systems and their solutions. In this chapter, we consider a class of nonlinear cooperative protocols, which consist of multiple agents that are coupled together via an undirected state-dependent graph. We develop a representation of the system solutio…
▽ More
Spectral decomposition of dynamical systems is a popular methodology to investigate the fundamental qualitative and quantitative properties of these systems and their solutions. In this chapter, we consider a class of nonlinear cooperative protocols, which consist of multiple agents that are coupled together via an undirected state-dependent graph. We develop a representation of the system solution by decomposing the nonlinear system utilizing ideas from the Koopman operator theory and its spectral analysis. We use recent results on the extensions of the well-known Hartman theorem for hyperbolic systems to establish a connection between the original nonlinear dynamics and the linearized dynamics in terms of Koopman spectral properties. The expected value of the output energy of the nonlinear protocol, which is related to the notions of coherence and robustness in dynamical networks, is evaluated and characterized in terms of Koopman eigenvalues, eigenfunctions, and modes. Spectral representation of the performance measure enables us to develop algorithmic methods to assess the performance of this class of nonlinear dynamical networks as a function of their graph topology. Finally, we propose a scalable computational method for approximation of the components of the Koopman mode decomposition, which is necessary to evaluate the systemic performance measure of the nonlinear dynamic network.
△ Less
Submitted 19 April, 2019; v1 submitted 11 July, 2018;
originally announced July 2018.
-
Time-Delay Origins of Fundamental Tradeoffs Between Risk of Large Fluctuations and Network Connectivity
Authors:
Christoforos Somarakis,
Yaser Ghaedsharaf,
Nader Motee
Abstract:
For the class of noisy time-delay linear consensus networks, we obtain explicit formulas for risk of large fluctuations of a scalar observable as a function of Laplacian spectrum and its eigenvectors. It is shown that there is an intrinsic tradeoff between risk and effective resistance of the underlying coupling graph of the network. The main implication is that increasing network connectivity, in…
▽ More
For the class of noisy time-delay linear consensus networks, we obtain explicit formulas for risk of large fluctuations of a scalar observable as a function of Laplacian spectrum and its eigenvectors. It is shown that there is an intrinsic tradeoff between risk and effective resistance of the underlying coupling graph of the network. The main implication is that increasing network connectivity, increases the risk of large fluctuations. For vector-valued observables, we obtain computationally tractable lower and upper bounds for joint risk measures. Then, we study behavior of risk measures for networks with specific graph topologies and show how risk scales with network size.
△ Less
Submitted 24 September, 2018; v1 submitted 21 January, 2018;
originally announced January 2018.