Showing 1–28 of 28 results for author: Motee, N

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.

Data-Driven Distributionally Robust Mitigation of Risk of Cascading Failures

Authors: Guangyi Liu, Arash Amini, Vivek Pandey, Nader Motee

Abstract: We introduce a novel data-driven method to mitigate the risk of cascading failures in delayed discrete-time Linear Time-Invariant (LTI) systems. Our approach involves formulating a distributionally robust finite-horizon optimal control problem, where the objective is to minimize a given performance function while satisfying a set of distributionally chances constraints on cascading failures, which… ▽ More We introduce a novel data-driven method to mitigate the risk of cascading failures in delayed discrete-time Linear Time-Invariant (LTI) systems. Our approach involves formulating a distributionally robust finite-horizon optimal control problem, where the objective is to minimize a given performance function while satisfying a set of distributionally chances constraints on cascading failures, which accounts for the impact of a known sequence of failures that can be characterized using nested sets. The optimal control problem becomes challenging as the risk of cascading failures and input time-delay poses limitations on the set of feasible control inputs. However, by solving the convex formulation of the distributionally robust model predictive control (DRMPC) problem, the proposed approach is able to keep the system from cascading failures while maintaining the system's performance with delayed control input, which has important implications for designing and operating complex engineering systems, where cascading failures can severely affect system performance, safety, and reliability. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Quantification of Distributionally Robust Risk of Cascade of Failures in Platoon of Vehicles

Authors: Vivek Pandey, Guangyi Liu, Arash Amini, Nader Motee

Abstract: Achieving safety is a critical aspect of attaining autonomy in a platoon of autonomous vehicles. In this paper, we propose a distributionally robust risk framework to investigate cascading failures in platoons. To examine the impact of network connectivity and system dynamics on the emergence of cascading failures, we consider a time-delayed network model of the platoon of vehicles as a benchmark.… ▽ More Achieving safety is a critical aspect of attaining autonomy in a platoon of autonomous vehicles. In this paper, we propose a distributionally robust risk framework to investigate cascading failures in platoons. To examine the impact of network connectivity and system dynamics on the emergence of cascading failures, we consider a time-delayed network model of the platoon of vehicles as a benchmark. To study the cascading effects among pairs of vehicles in the platoon, we use the measure of conditional distributionally robust functional. We extend the risk framework to quantify cascading failures by utilizing a bi-variate normal distribution. Our work establishes closed-form risk formulas that illustrate the effects of time-delay, noise statistics, underlying communication graph, and sets of soft failures. The insights gained from our research can be applied to design safe platoons that are robust to the risk of cascading failures. We validate our results through extensive simulations. △ Less

Submitted 9 September, 2023; originally announced September 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.

Comments: Accepted at 2023 American Control Conference

Learning Nonlinear Couplings in Network of Agents from a Single Sample Trajectory

Authors: Arash Amini, Qiyu Sun, Nader Motee

Abstract: We consider a class of stochastic dynamical networks whose governing dynamics can be modeled using a coupling function. It is shown that the dynamics of such networks can generate geometrically ergodic trajectories under some reasonable assumptions. We show that a general class of coupling functions can be learned using only one sample trajectory from the network. This is practically plausible as… ▽ More We consider a class of stochastic dynamical networks whose governing dynamics can be modeled using a coupling function. It is shown that the dynamics of such networks can generate geometrically ergodic trajectories under some reasonable assumptions. We show that a general class of coupling functions can be learned using only one sample trajectory from the network. This is practically plausible as in numerous applications it is desired to run an experiment only once but for a longer period of time, rather than repeating the same experiment multiple times from different initial conditions. Building upon ideas from the concentration inequalities for geometrically ergodic Markov chains, we formulate several results about the convergence of the empirical estimator to the true coupling function. Our theoretical findings are supported by extensive simulation results. △ Less

Submitted 20 November, 2022; originally announced November 2022.

Comments: 15 pages, 5 figures

MSC Class: 93E35 (Primary) 93B70; 47H25 (Secondary)

Carleman Linearization of Nonlinear Systems and Its Finite-Section Approximations

Authors: Arash Amini, Cong Zheng, Qiyu Sun, Nader Motee

Abstract: The Carleman linearization is one of the mainstream approaches to lift a finite-dimensional nonlinear dynamical system into an infinite-dimensional linear system with the promise of providing accurate approximations of the original nonlinear system over larger regions around the equilibrium for longer time horizons with respect to the conventional first-order linearization approach. Finite-section… ▽ More The Carleman linearization is one of the mainstream approaches to lift a finite-dimensional nonlinear dynamical system into an infinite-dimensional linear system with the promise of providing accurate approximations of the original nonlinear system over larger regions around the equilibrium for longer time horizons with respect to the conventional first-order linearization approach. Finite-section approximations of the lifted system has been widely used to study dynamical and control properties of the original nonlinear system. In this context, some of the outstanding problems are to determine under what conditions, as the finite-section order (i.e., truncation length) increases, the trajectory of the resulting approximate linear system from the finite-section scheme converges to that of the original nonlinear system and whether the time interval over which the convergence happens can be quantified explicitly. In this paper, we provide explicit error bounds for the finite-section approximation and prove that the convergence is indeed exponential with respect to the finite-section order. For a class of nonlinear systems, it is shown that one can achieve exponential convergence over the entire time horizon up to infinity. Our results are practically plausible as our proposed error bound estimates can be used to compute proper truncation lengths for a given application, e.g., determining proper sampling period for model predictive control and reachability analysis for safety verifications. We validate our theoretical findings through several illustrative simulations. △ Less

Submitted 19 July, 2022; v1 submitted 15 July, 2022; originally announced July 2022.

Comments: 25 Pages, 10 figures

MSC Class: 34H05 (Primary); 65P99; 37M99 (Secondary) ACM Class: G.1.7; G.1.2

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.

Comments: Submitted to CDC 2022

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.

Comments: Submitted to IEEE Transactions on Automatic Control

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.

Comments: This work is accepted at The 60th IEEE conference on Decision and Control (CDC) 2021

Robust Learning of Recurrent Neural Networks in Presence of Exogenous Noise

Authors: Arash Amini, Guangyi Liu, Nader Motee

Abstract: Recurrent Neural networks (RNN) have shown promising potential for learning dynamics of sequential data. However, artificial neural networks are known to exhibit poor robustness in presence of input noise, where the sequential architecture of RNNs exacerbates the problem. In this paper, we will use ideas from control and estimation theories to propose a tractable robustness analysis for RNN models… ▽ More Recurrent Neural networks (RNN) have shown promising potential for learning dynamics of sequential data. However, artificial neural networks are known to exhibit poor robustness in presence of input noise, where the sequential architecture of RNNs exacerbates the problem. In this paper, we will use ideas from control and estimation theories to propose a tractable robustness analysis for RNN models that are subject to input noise. The variance of the output of the noisy system is adopted as a robustness measure to quantify the impact of noise on learning. It is shown that the robustness measure can be estimated efficiently using linearization techniques. Using these results, we proposed a learning method to enhance robustness of a RNN with respect to exogenous Gaussian noise with known statistics. Our extensive simulations on benchmark problems reveal that our proposed methodology significantly improves robustness of recurrent neural networks. △ Less

Submitted 4 May, 2021; v1 submitted 3 May, 2021; originally announced May 2021.

Distributed Map Classification using Local Observations

Authors: Guangyi Liu, Arash Amini, Martin Takáč, Héctor Muñoz-Avila, Nader Motee

Abstract: We consider the problem of classifying a map using a team of communicating robots. It is assumed that all robots have localized visual sensing capabilities and can exchange their information with neighboring robots. Using a graph decomposition technique, we proposed an offline learning structure that makes every robot capable of communicating with and fusing information from its neighbors to plan… ▽ More We consider the problem of classifying a map using a team of communicating robots. It is assumed that all robots have localized visual sensing capabilities and can exchange their information with neighboring robots. Using a graph decomposition technique, we proposed an offline learning structure that makes every robot capable of communicating with and fusing information from its neighbors to plan its next move towards the most informative parts of the environment for map classification purposes. The main idea is to decompose a given undirected graph into a union of directed star graphs and train robots w.r.t a bounded number of star graphs. This will significantly reduce the computational cost of offline training and makes learning scalable (independent of the number of robots). Our approach is particularly useful for fast map classification in large environments using a large number of communicating robots. We validate the usefulness of our proposed methodology through extensive simulations. △ Less

Submitted 10 March, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

A Layered Architecture for Active Perception: Image Classification using Deep Reinforcement Learning

Authors: Hossein K. Mousavi, Guangyi Liu, Weihang Yuan, Martin Takáč, Héctor Muñoz-Avila, Nader Motee

Abstract: We propose a planning and perception mechanism for a robot (agent), that can only observe the underlying environment partially, in order to solve an image classification problem. A three-layer architecture is suggested that consists of a meta-layer that decides the intermediate goals, an action-layer that selects local actions as the agent navigates towards a goal, and a classification-layer that… ▽ More We propose a planning and perception mechanism for a robot (agent), that can only observe the underlying environment partially, in order to solve an image classification problem. A three-layer architecture is suggested that consists of a meta-layer that decides the intermediate goals, an action-layer that selects local actions as the agent navigates towards a goal, and a classification-layer that evaluates the reward and makes a prediction. We design and implement these layers using deep reinforcement learning. A generalized policy gradient algorithm is utilized to learn the parameters of these layers to maximize the expected reward. Our proposed methodology is tested on the MNIST dataset of handwritten digits, which provides us with a level of explainability while interpreting the agent's intermediate goals and course of action. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Comments: Submitted to ICRA-2020

Explicit Characterization of Performance of a Class of Networked Linear Control Systems

Authors: Hossein K. Mousavi, Nader Motee

Abstract: We show that the steady-state variance as a performance measure for a class of networked linear control systems is expressible as the summation of a rational function over the Laplacian eigenvalues of the network graph. Moreover, we characterize the role of connectivity thresholds for the feedback (and observer) gain design of these networks. We use our framework to derive bounds and scaling laws… ▽ More We show that the steady-state variance as a performance measure for a class of networked linear control systems is expressible as the summation of a rational function over the Laplacian eigenvalues of the network graph. Moreover, we characterize the role of connectivity thresholds for the feedback (and observer) gain design of these networks. We use our framework to derive bounds and scaling laws for the performance of the dynamical network. Our approach generalizes and unifies the previous results on the performance measure of these networks for the case of arbitrary nodal dynamics. We bring extensions of our methodology for the case of decentralized observer-based output feedback as well as a class of composite networks. Numerous examples support our theoretical contributions. △ Less

Submitted 4 August, 2019; originally announced August 2019.

Comments: detailed version of a paper of the same name to be submitted to IEEE TCNS

Multi-Agent Image Classification via Reinforcement Learning

Authors: Hossein K. Mousavi, Mohammadreza Nazari, Martin Takáč, Nader Motee

Abstract: We investigate a classification problem using multiple mobile agents capable of collecting (partial) pose-dependent observations of an unknown environment. The objective is to classify an image over a finite time horizon. We propose a network architecture on how agents should form a local belief, take local actions, and extract relevant features from their raw partial observations. Agents are allo… ▽ More We investigate a classification problem using multiple mobile agents capable of collecting (partial) pose-dependent observations of an unknown environment. The objective is to classify an image over a finite time horizon. We propose a network architecture on how agents should form a local belief, take local actions, and extract relevant features from their raw partial observations. Agents are allowed to exchange information with their neighboring agents to update their own beliefs. It is shown how reinforcement learning techniques can be utilized to achieve decentralized implementation of the classification problem by running a decentralized consensus protocol. Our experimental results on the MNIST handwritten digit dataset demonstrates the effectiveness of our proposed framework. △ Less

Submitted 6 August, 2019; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: Preprint of the paper to be published in IROS'19 proceedings

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.

Sparse Sensing, Communication, and Actuation via Self-Triggered Control Algorithms

Authors: MirSaleh Bahavarnia, Hossein K. Mousavi, Nader Motee

Abstract: We propose a self-triggered control algorithm to reduce onboard processor usage, communication bandwidth, and energy consumption across a linear time-invariant networked control system. We formulate an optimal control problem by penalizing the l0-measures of the feedback gain and the vector of control inputs and maximizing the dwell time between the consecutive triggering times. It is shown that t… ▽ More We propose a self-triggered control algorithm to reduce onboard processor usage, communication bandwidth, and energy consumption across a linear time-invariant networked control system. We formulate an optimal control problem by penalizing the l0-measures of the feedback gain and the vector of control inputs and maximizing the dwell time between the consecutive triggering times. It is shown that the corresponding l1-relaxation of the optimal control problem is feasible and results in a stabilizing feedback control law with guaranteed performance bounds, while providing a sparse schedule for collecting samples from sensors, communication with other subsystems, and activating the input actuators. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: Submitted to Automatica

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.

Comments: Extended version of journal paper. It contains proofs of technical results

Journal ref: IEEE Transactions on Automatic Control. Vol. 65, Issue 9, September 2020

Space-Time Sampling for Network Observability

Authors: Hossein K. Mousavi, Qiyu Sun, Nader Motee

Abstract: Designing sparse sampling strategies is one of the important components in having resilient estimation and control in networked systems as they make network design problems more cost-effective due to their reduced sampling requirements and less fragile to where and when samples are collected. It is shown that under what conditions taking coarse samples from a network will contain the same amount o… ▽ More Designing sparse sampling strategies is one of the important components in having resilient estimation and control in networked systems as they make network design problems more cost-effective due to their reduced sampling requirements and less fragile to where and when samples are collected. It is shown that under what conditions taking coarse samples from a network will contain the same amount of information as a more finer set of samples. Our goal is to estimate initial condition of linear time-invariant networks using a set of noisy measurements. The observability condition is reformulated as the frame condition, where one can easily trace location and time stamps of each sample. We compare estimation quality of various sampling strategies using estimation measures, which depend on spectrum of the corresponding frame operators. Using properties of the minimal polynomial of the state matrix, deterministic and randomized methods are suggested to construct observability frames. Intrinsic tradeoffs assert that collecting samples from fewer subsystems dictates taking more samples (in average) per subsystem. Three scalable algorithms are developed to generate sparse space-time sampling strategies with explicit error bounds. △ Less

Submitted 18 July, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

Comments: Submitted to IEEE TAC (Revised Version)

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.

Comments: 16 pages, 11 figures

Journal ref: IEEE Transactions on Automatic Control. Vol. 64, Issue 6, June 2019

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.

Comments: 9 pages, 5 figures, conference proceedings (proofs included)

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.

Comments: Submitted as a chapter to the book "Introduction to Koopman Operator Theory", Revised Version

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.

Abstraction of Linear Consensus Networks with Guaranteed Systemic Performance Measures

Authors: Milad Siami, Nader Motee

Abstract: A proper abstraction of a large-scale linear consensus network with a dense coupling graph is one whose number of coupling links is proportional to its number of subsystems and its performance is comparable to the original network. Optimal design problems for an abstracted network are more amenable to efficient optimization algorithms. From the implementation point of view, maintaining such networ… ▽ More A proper abstraction of a large-scale linear consensus network with a dense coupling graph is one whose number of coupling links is proportional to its number of subsystems and its performance is comparable to the original network. Optimal design problems for an abstracted network are more amenable to efficient optimization algorithms. From the implementation point of view, maintaining such networks are usually more favorable and cost effective due to their reduced communication requirements across a network. Therefore, approximating a given dense linear consensus network by a suitable abstract network is an important analysis and synthesis problem. In this paper, we develop a framework to compute an abstraction of a given large-scale linear consensus network with guaranteed performance bounds using a nearly-linear time algorithm. First, the existence of abstractions of a given network is proven. Then, we present an efficient and fast algorithm for computing a proper abstraction of a given network. Finally, we illustrate the effectiveness of our theoretical findings via several numerical simulations. △ Less

Submitted 4 September, 2017; originally announced September 2017.

Fundamental Limits and Tradeoffs in Autocatalytic Pathways

Authors: Milad Siami, Nader Motee, Gentian Buzi, Bassam Bamieh, Mustafa Khammash, John C. Doyle

Abstract: This paper develops some basic principles to study autocatalytic networks and exploit their structural properties in order to characterize their inherent fundamental limits and tradeoffs. In a dynamical system with autocatalytic structure, the system's output is necessary to catalyze its own production. We consider a simplified model of Glycolysis pathway as our motivating application. First, the… ▽ More This paper develops some basic principles to study autocatalytic networks and exploit their structural properties in order to characterize their inherent fundamental limits and tradeoffs. In a dynamical system with autocatalytic structure, the system's output is necessary to catalyze its own production. We consider a simplified model of Glycolysis pathway as our motivating application. First, the properties of these class of pathways are investigated through a simplified two-state model, which is obtained by lum** all the intermediate reactions into a single intermediate reaction. Then, we generalize our results to autocatalytic pathways that are composed of a chain of enzymatically catalyzed intermediate reactions. We explicitly derive a hard limit on the minimum achievable $\mathcal L_2$-gain disturbance attenuation and a hard limit on its minimum required output energy. Finally, we show how these resulting hard limits lead to some fundamental tradeoffs between transient and steady-state behavior of the network and its net production. △ Less

Submitted 29 June, 2017; originally announced June 2017.

Growing Linear Consensus Networks Endowed by Spectral Systemic Performance Measures

Authors: Milad Siami, Nader Motee

Abstract: We propose an axiomatic approach for design and performance analysis of noisy linear consensus networks by introducing a notion of systemic performance measure. This class of measures are spectral functions of Laplacian eigenvalues of the network that are monotone, convex, and orthogonally invariant with respect to the Laplacian matrix of the network. It is shown that several existing gold-standar… ▽ More We propose an axiomatic approach for design and performance analysis of noisy linear consensus networks by introducing a notion of systemic performance measure. This class of measures are spectral functions of Laplacian eigenvalues of the network that are monotone, convex, and orthogonally invariant with respect to the Laplacian matrix of the network. It is shown that several existing gold-standard and widely used performance measures in the literature belong to this new class of measures. We build upon this new notion and investigate a general form of combinatorial problem of growing a linear consensus network via minimizing a given systemic performance measure. Two efficient polynomial-time approximation algorithms are devised to tackle this network synthesis problem: a linearization-based method and a simple greedy algorithm based on rank-one updates. Several theoretical fundamental limits on the best achievable performance for the combinatorial problem is derived that assist us to evaluate optimality gaps of our proposed algorithms. A detailed complexity analysis confirms the effectiveness and viability of our algorithms to handle large-scale consensus networks. △ Less

Submitted 23 June, 2017; originally announced June 2017.

Scaling Laws for Disturbance Propagation in Cyclic Dynamical Networks

Authors: Milad Siami, Nader Motee

Abstract: Our goal is to analyze performance of stable linear dynamical networks subject to external stochastic disturbances. The square of the $\mathcal H_2$-norm of the network is used as a performance measure to quantify the expected steady-state dispersion of the outputs of the network. We show that this performance measure can be tightly bounded from below and above by some spectral functions of the st… ▽ More Our goal is to analyze performance of stable linear dynamical networks subject to external stochastic disturbances. The square of the $\mathcal H_2$-norm of the network is used as a performance measure to quantify the expected steady-state dispersion of the outputs of the network. We show that this performance measure can be tightly bounded from below and above by some spectral functions of the state-space matrices of the network. This result is applied to a class of cyclic linear networks and shown that their performance measure scale quadratically with the network size. △ Less

Submitted 3 February, 2015; originally announced February 2015.

Comments: 14 pages; submitted for possible journal publication. arXiv admin note: text overlap with arXiv:1403.1494

Eminence Grise Coalitions: On the Sha** of Public Opinion

Authors: Sadegh Bolouki, Roland P. Malhame, Milad Siami, Nader Motee

Abstract: We consider a network of evolving opinions. It includes multiple individuals with first-order opinion dynamics defined in continuous time and evolving based on a general exogenously defined time-varying underlying graph. In such a network, for an arbitrary fixed initial time, a subset of individuals forms an eminence grise coalition, abbreviated as EGC, if the individuals in that subset are capabl… ▽ More We consider a network of evolving opinions. It includes multiple individuals with first-order opinion dynamics defined in continuous time and evolving based on a general exogenously defined time-varying underlying graph. In such a network, for an arbitrary fixed initial time, a subset of individuals forms an eminence grise coalition, abbreviated as EGC, if the individuals in that subset are capable of leading the entire network to agreeing on any desired opinion, through a cooperative choice of their own initial opinions. In this endeavor, the coalition members are assumed to have access to full profile of the underlying graph of the network as well as the initial opinions of all other individuals. While the complete coalition of individuals always qualifies as an EGC, we establish the existence of a minimum size EGC for an arbitrary time-varying network; also, we develop a non-trivial set of upper and lower bounds on that size. As a result, we show that, even when the underlying graph does not guarantee convergence to a global or multiple consensus, a generally restricted coalition of agents can steer public opinion towards a desired global consensus without affecting any of the predefined graph interactions, provided they can cooperatively adjust their own initial opinions. Geometric insights into the structure of EGC's are given. The results are also extended to the discrete time case where the relation with Decomposition-Separation Theorem is also made explicit. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 35 pages

Systemic Measures for Performance and Robustness of Large-Scale Interconnected Dynamical Networks

Authors: Milad Siami, Nader Motee

Abstract: In this paper, we develop a novel unified methodology for performance and robustness analysis of linear dynamical networks. We introduce the notion of systemic measures for the class of first--order linear consensus networks. We classify two important types of performance and robustness measures according to their functional properties: convex systemic measures and Schur--convex systemic measures.… ▽ More In this paper, we develop a novel unified methodology for performance and robustness analysis of linear dynamical networks. We introduce the notion of systemic measures for the class of first--order linear consensus networks. We classify two important types of performance and robustness measures according to their functional properties: convex systemic measures and Schur--convex systemic measures. It is shown that a viable systemic measure should satisfy several fundamental properties such as homogeneity, monotonicity, convexity, and orthogonal invariance. In order to support our proposed unified framework, we verify functional properties of several existing performance and robustness measures from the literature and show that they all belong to the class of systemic measures. Moreover, we introduce new classes of systemic measures based on (a version of) the well--known Riemann zeta function, input--output system norms, and etc. Then, it is shown that for a given linear dynamical network one can take several different strategies to optimize a given performance and robustness systemic measure via convex optimization. Finally, we characterized an interesting fundamental limit on the best achievable value of a given systemic measure after adding some certain number of new weighted edges to the underlying graph of the network. △ Less

Submitted 8 September, 2014; originally announced September 2014.

Comments: Submitted to the IEEE Conference on Decision and Control (IEEE CDC)