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

Carleman-Fourier linearization of nonlinear real dynamical systems with quasi-periodic fields

Authors: Nader Motee, Qiyu Sun

Abstract: This work presents Carleman-Fourier linearization for analyzing nonlinear real dynamical systems with quasi-periodic vector fields characterized by multiple fundamental frequencies. Using Fourier basis functions, this novel framework transforms such dynamical systems into equivalent infinite-dimensional linear dynamical systems. In this work, we establish the exponential convergence of the primary… ▽ More This work presents Carleman-Fourier linearization for analyzing nonlinear real dynamical systems with quasi-periodic vector fields characterized by multiple fundamental frequencies. Using Fourier basis functions, this novel framework transforms such dynamical systems into equivalent infinite-dimensional linear dynamical systems. In this work, we establish the exponential convergence of the primary block in the finite-section approximation of this linearized system to the state vector of the original nonlinear system. To showcase the efficacy of our approach, we apply it to the Kuramoto model, a prominent model for coupled oscillators. The results demonstrate promising accuracy in approximating the original system's behavior. △ Less

Submitted 3 March, 2025; originally announced March 2025.

Carleman-Fourier Linearization of Complex Dynamical Systems: Convergence and Explicit Error Bounds

Authors: Panpan Chen, Nader Motee, Qiyu Sun

Abstract: This paper presents a Carleman-Fourier linearization method for nonlinear dynamical systems with periodic vector fields involving multiple fundamental frequencies. By employing Fourier basis functions, the nonlinear dynamical system is transformed into a linear model on an infinite-dimensional space. The proposed approach yields accurate approximations over extended regions around equilibria and f… ▽ More This paper presents a Carleman-Fourier linearization method for nonlinear dynamical systems with periodic vector fields involving multiple fundamental frequencies. By employing Fourier basis functions, the nonlinear dynamical system is transformed into a linear model on an infinite-dimensional space. The proposed approach yields accurate approximations over extended regions around equilibria and for longer time horizons, compared to traditional Carleman linearization with monomials. Additionally, we develop a finite-section approximation for the resulting infinite-dimensional system and provide explicit error bounds that demonstrate exponential convergence to the original system's solution as the truncation length increases. For specific classes of dynamical systems, exponential convergence is achieved across the entire time horizon. The practical significance of these results lies in guiding the selection of suitable truncation lengths for applications such as model predictive control, safety verification through reachability analysis, and efficient quantum computing algorithms. The theoretical findings are validated through illustrative simulations. △ Less

Submitted 18 November, 2024; originally announced November 2024.

MSC Class: 37C50; 37M99;

Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation

Authors: Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee

Abstract: We address the problem of sparse selection of visual features for localizing a team of robots navigating an unknown environment, where robots can exchange relative position measurements with neighbors. We select a set of the most informative features by anticipating their importance in robots localization by simulating trajectories of robots over a prediction horizon. Through theoretical proofs, w… ▽ More We address the problem of sparse selection of visual features for localizing a team of robots navigating an unknown environment, where robots can exchange relative position measurements with neighbors. We select a set of the most informative features by anticipating their importance in robots localization by simulating trajectories of robots over a prediction horizon. Through theoretical proofs, we establish a crucial connection between graph Laplacian and the importance of features. We show that strong network connectivity translates to uniformity in feature importance, which enables uniform random sampling of features and reduces the overall computational complexity. We leverage a scalable randomized algorithm for sparse sums of positive semidefinite matrices to efficiently select the set of the most informative features and significantly improve the probabilistic performance bounds. Finally, we support our findings with extensive simulations. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Beyond Uncertainty: Risk-Aware Active View Acquisition for Safe Robot Navigation and 3D Scene Understanding with FisherRF

Authors: Guangyi Liu, Wen Jiang, Boshu Lei, Vivek Pandey, Kostas Daniilidis, Nader Motee

Abstract: The active view acquisition problem has been extensively studied in the context of robot navigation using NeRF and 3D Gaussian Splatting. To enhance scene reconstruction efficiency and ensure robot safety, we propose the Risk-aware Environment Masking (RaEM) framework. RaEM leverages coherent risk measures to dynamically prioritize safety-critical regions of the unknown environment, guiding active… ▽ More The active view acquisition problem has been extensively studied in the context of robot navigation using NeRF and 3D Gaussian Splatting. To enhance scene reconstruction efficiency and ensure robot safety, we propose the Risk-aware Environment Masking (RaEM) framework. RaEM leverages coherent risk measures to dynamically prioritize safety-critical regions of the unknown environment, guiding active view acquisition algorithms toward identifying the next-best-view (NBV). Integrated with FisherRF, which selects the NBV by maximizing expected information gain, our framework achieves a dual objective: improving robot safety and increasing efficiency in risk-aware 3D scene reconstruction and understanding. Extensive high-fidelity experiments validate the effectiveness of our approach, demonstrating its ability to establish a robust and safety-focused framework for active robot exploration and 3D scene understanding. △ Less

Submitted 16 January, 2025; v1 submitted 17 March, 2024; originally announced March 2024.

Risk of Cascading Collisions in Network of Vehicles with Delayed Communication

Authors: Guangyi Liu, Christoforos Somarakis, Nader Motee

Abstract: This paper establishes and explores a framework to analyze the risk of cascading failures in a platoon of autonomous vehicles, accounting for communication time-delays and input uncertainty. Our proposed framework yields closed-form expressions for cascading collisions, which we quantify using the coherent Average Value-at-Risk ($\AVAR$) to assess the cascading effect of vehicle collisions within… ▽ More This paper establishes and explores a framework to analyze the risk of cascading failures in a platoon of autonomous vehicles, accounting for communication time-delays and input uncertainty. Our proposed framework yields closed-form expressions for cascading collisions, which we quantify using the coherent Average Value-at-Risk ($\AVAR$) to assess the cascading effect of vehicle collisions within the platoon. We investigate how factors such as network connectivity, system dynamics, communication delays, and uncertainty contribute to the emergence of cascading failures. Our findings are extended to standard communication graphs with symmetries, allowing us to evaluate the risk of cascading collisions from a platoon design perspective. Furthermore, by discovering the boundedness of the inter-vehicle distances, we reveal 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 results pave the way for the development of a safety-aware framework aimed at mitigating the risk of cascading collisions in vehicle platoons. △ Less

Submitted 6 October, 2024; v1 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.

Symbolic Perception Risk in Autonomous Driving

Authors: Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee

Abstract: We develop a novel framework to assess the risk of misperception in a traffic sign classification task in the presence of exogenous noise. We consider the problem in an autonomous driving setting, where visual input quality gradually improves due to improved resolution, and less noise since the distance to traffic signs decreases. Using the estimated perception statistics obtained using the standa… ▽ More We develop a novel framework to assess the risk of misperception in a traffic sign classification task in the presence of exogenous noise. We consider the problem in an autonomous driving setting, where visual input quality gradually improves due to improved resolution, and less noise since the distance to traffic signs decreases. Using the estimated perception statistics obtained using the standard classification algorithms, we aim to quantify the risk of misperception to mitigate the effects of imperfect visual observation. By exploring perception outputs, their expected high-level actions, and potential costs, we show the closed-form representation of the conditional value-at-risk (CVaR) of misperception. Several case studies support the effectiveness of our proposed methodology. △ Less

Submitted 16 March, 2023; originally announced March 2023.

Comments: Accepted at 2023 American Control Conference

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

Robustness Analysis of Classification Using Recurrent Neural Networks with Perturbed Sequential Input

Authors: Guangyi Liu, Arash Amini, Martin Takac, Nader Motee

Abstract: For a given stable recurrent neural network (RNN) that is trained to perform a classification task using sequential inputs, we quantify explicit robustness bounds as a function of trainable weight matrices. The sequential inputs can be perturbed in various ways, e.g., streaming images can be deformed due to robot motion or imperfect camera lens. Using the notion of the Voronoi diagram and Lipschit… ▽ More For a given stable recurrent neural network (RNN) that is trained to perform a classification task using sequential inputs, we quantify explicit robustness bounds as a function of trainable weight matrices. The sequential inputs can be perturbed in various ways, e.g., streaming images can be deformed due to robot motion or imperfect camera lens. Using the notion of the Voronoi diagram and Lipschitz properties of stable RNNs, we provide a thorough analysis and characterize the maximum allowable perturbations while guaranteeing the full accuracy of the classification task. We illustrate and validate our theoretical results using a map dataset with clouds as well as the MNIST dataset. △ Less

Submitted 10 March, 2022; originally announced March 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.

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 developing 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.

Estimation with Fast Landmark Selection in Robot Visual Navigation

Authors: Hossein K. Mousavi, Nader Motee

Abstract: We consider the visual feature selection to improve the estimation quality required for the accurate navigation of a robot. We build upon a key property that asserts: contributions of trackable features (landmarks) appear linearly in the information matrix of the corresponding estimation problem. We utilize standard models for motion and vision system using a camera to formulate the feature select… ▽ More We consider the visual feature selection to improve the estimation quality required for the accurate navigation of a robot. We build upon a key property that asserts: contributions of trackable features (landmarks) appear linearly in the information matrix of the corresponding estimation problem. We utilize standard models for motion and vision system using a camera to formulate the feature selection problem over moving finite time horizons. A scalable randomized sampling algorithm is proposed to select more informative features (and ignore the rest) to achieve a superior position estimation quality. We provide probabilistic performance guarantees for our method. The time-complexity of our feature selection algorithm is linear in the number of candidate features, which is practically plausible and outperforms existing greedy methods that scale quadratically with the number of candidates features. Our numerical simulations confirm that not only the execution time of our proposed method is comparably less than that of the greedy method, but also the resulting estimation quality is very close to the greedy method. △ Less

Submitted 3 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 lumping 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.

Convergence Analysis of Classes of Asymmetric Networks of Cucker-Smale Type with Deterministic Perturbations

Authors: Christoforos Somarakis, Evripidis Paraskevas, John S. Baras, Nader Motee

Abstract: We introduce and discuss two nonlinear perturbed extensions of the Cucker-Smale model with asymmetric coupling weights. The first model assumes a finite collection of autonomous agents aiming to perform a consensus process in the presence of identical internal dynamics. The second model describes a similar population of agents that perform velocity alignment with the restriction of collision-free… ▽ More We introduce and discuss two nonlinear perturbed extensions of the Cucker-Smale model with asymmetric coupling weights. The first model assumes a finite collection of autonomous agents aiming to perform a consensus process in the presence of identical internal dynamics. The second model describes a similar population of agents that perform velocity alignment with the restriction of collision-free orbits. Although qualitatively different, we explain how these two non-trivial types of perturbations are analyzed under a unified framework. Rigorous analysis is conducted towards establishing new sufficient conditions for asymptotic flocking to a synchronized motion. Applications of our results are compared with simulations to illustrate the effectiveness of our theoretical estimates. △ Less

Submitted 2 October, 2017; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: 16 pages, extended version of IEEE MED 2016 submitted to IEEE TCNS

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

Optimal Sparse Output Feedback Control Design: a Rank Constrained Optimization Approach

Authors: Reza Arastoo, Nader Motee, Mayuresh V. Kothare

Abstract: We consider the problem of optimal sparse output feedback controller synthesis for continuous linear time invariant systems when the feedback gain is static and subject to specified structural constraints. Introducing an additional term penalizing the number of non-zero entries of the feedback gain into the optimization cost function, we show that this inherently non-convex problem can be equivale… ▽ More We consider the problem of optimal sparse output feedback controller synthesis for continuous linear time invariant systems when the feedback gain is static and subject to specified structural constraints. Introducing an additional term penalizing the number of non-zero entries of the feedback gain into the optimization cost function, we show that this inherently non-convex problem can be equivalently cast as a rank constrained optimization, hence, it is an NP-hard problem. We further exploit our rank constrained approach to define a structured output feedback control feasibility test with global convergence property, then, obtain upper/lower bounds for the optimal cost of the sparse output feedback control problem. Moreover, we show that our problem reformulation allows us to incorporate additional implementation constraints, such as norm bounds on the control inputs or system output, by assimilating them into the rank constraint. We propose to utilize a version of the Alternating Direction Method of Multipliers (ADMM) as an efficient method to sub-optimally solve the equivalent rank constrained problem. As a special case, we study the problem of designing the sparsest stabilizing output feedback controller, and show that it is, in fact, a structured matrix recovery problem where the matrix of interest is simultaneously sparse and low rank. Furthermore, we show that this matrix recovery problem can be equivalently cast in the form of a canonical and well-studied rank minimization problem. We finally illustrate performance of our proposed methodology using numerical examples. △ Less

Submitted 22 June, 2015; v1 submitted 28 December, 2014; originally announced December 2014.

Eminence Grise Coalitions: On the Shaping 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)

Fundamental Limits and Tradeoffs on Disturbance Propagation in Large-Scale Dynamical Networks

Authors: Milad Siami, Nader Motee

Abstract: We consider performance deterioration of interconnected linear dynamical networks subject to exogenous stochastic disturbances. The focus of this paper is on first-order and second-order linear consensus networks. We employ the expected value of the steady state dispersion of the state of the entire network as a performance measure and develop a graph-theoretic methodology to relate structural spe… ▽ More We consider performance deterioration of interconnected linear dynamical networks subject to exogenous stochastic disturbances. The focus of this paper is on first-order and second-order linear consensus networks. We employ the expected value of the steady state dispersion of the state of the entire network as a performance measure and develop a graph-theoretic methodology to relate structural specifications of the underlying graphs of the network to the performance measure. We explicitly quantify several inherent fundamental limits on the best achievable levels of performance in linear consensus networks and show that these limits of performance are merely imposed by the specific structure of the underlying graphs. Furthermore, we discover new connections between notions of sparsity and the performance measure. Particularly, we characterize several fundamental tradeoffs that reveal interplay between the performance measure and various sparsity measures of a linear consensus network. At the end, we apply our results to two real-world dynamical networks and provide energy interpretations for the proposed performance measures. It is shown that the total power loss in synchronous power networks and total kinetic energy of a network of autonomous vehicles in a formation are viable performance measure for these networks and fundamental limits on these measures quantify the best achievable levels of energy-efficiency in these dynamical networks. △ Less

Submitted 18 December, 2014; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: 41-pages, One Column

MSC Class: Systems theory; control

Sparsity and Spatial Localization Measures for Spatially Distributed Systems

Authors: Nader Motee, Qiyu Sun

Abstract: We consider the class of spatially decaying systems, where the underlying dynamics are spatially decaying and the sensing and controls are spatially distributed. This class of systems arise in various applications where there is a notion of spatial distance with respect to which couplings between the subsystems can be quantified using a class of coupling weight functions. We exploit spatial decay… ▽ More We consider the class of spatially decaying systems, where the underlying dynamics are spatially decaying and the sensing and controls are spatially distributed. This class of systems arise in various applications where there is a notion of spatial distance with respect to which couplings between the subsystems can be quantified using a class of coupling weight functions. We exploit spatial decay property of the underlying dynamics of the system to introduce a class of sparsity and spatial localization measures for spatially distributed systems. We develop a new methodology based on concepts of $q$-Banach algebras of spatially decaying operators that enable us to establish a relationship between spatial decay properties of spatially decaying systems and their sparsity and spatial localization features. Moreover, it is shown that the inverse-closedness property of operator algebras plays a central role in exploiting various structural properties of spatially decaying systems. We characterize conditions for exponentially stability of spatially decaying system over $q$-Banach algebras and prove that the unique solutions of the Lyapunov and Riccati equations over a proper $q$-Banach algebra also belong to the same $q$-Banach algebra. It is shown that the quadratically optimal state feedback controllers for spatially decaying systems are sparse and spatially localized in the sense that they have near-optimal sparse information structures. △ Less

Submitted 15 November, 2014; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: 20 pages, Two Columns, Distributed control, infinite-dimensional systems, optimal control, spatially decaying systems, quasi-Banach algebras

On the stability of the Kuramoto model of coupled nonlinear oscillators

Authors: Ali Jadbabaie, Nader Motee, Mauricio Barahona

Abstract: We provide an analysis of the classic Kuramoto model of coupled nonlinear oscillators that goes beyond the existing results for all-to-all networks of identical oscillators. Our work is applicable to oscillator networks of arbitrary interconnection topology with uncertain natural frequencies. Using tools from spectral graph theory and control theory, we prove that for couplings above a critical… ▽ More We provide an analysis of the classic Kuramoto model of coupled nonlinear oscillators that goes beyond the existing results for all-to-all networks of identical oscillators. Our work is applicable to oscillator networks of arbitrary interconnection topology with uncertain natural frequencies. Using tools from spectral graph theory and control theory, we prove that for couplings above a critical value, the synchronized state is locally asymptotically stable, resulting in convergence of all phase differences to a constant value, both in the case of identical natural frequencies as well as uncertain ones. We further explain the behavior of the system as the number of oscillators grows to infinity. △ Less

Submitted 20 April, 2005; originally announced April 2005.

Comments: 8 Pages. An earlier version appeared in the proceedings of the American Control Conference, Boston, MA, June 2004

MSC Class: 34C15