Showing 1–24 of 24 results for author: Bamieh, B

Optimal estimation in spatially distributed systems: how far to share measurements from?

Authors: Juncal Arbelaiz, Bassam Bamieh, Anette E. Hosoi, Ali Jadbabaie

Abstract: We consider the centralized optimal estimation problem in spatially distributed systems. We use the setting of spatially invariant systems as an idealization for which concrete and detailed results are given. Such estimators are known to have a degree of spatial localization in the sense that the estimator gains decay in space, with the spatial decay rates serving as a proxy for how far measuremen… ▽ More We consider the centralized optimal estimation problem in spatially distributed systems. We use the setting of spatially invariant systems as an idealization for which concrete and detailed results are given. Such estimators are known to have a degree of spatial localization in the sense that the estimator gains decay in space, with the spatial decay rates serving as a proxy for how far measurements need to be shared in an optimal distributed estimator. In particular, we examine the dependence of spatial decay rates on problem specifications such as system dynamics, measurement and process noise variances, as well as their spatial autocorrelations. We propose non-dimensional parameters that characterize the decay rates as a function of problem specifications. In particular, we find an interesting matching condition between the characteristic lengthscale of the dynamics and the measurement noise correlation lengthscale for which the optimal centralized estimator is completely decentralized. A new technique - termed the branch point locus - is introduced to quantify spatial decay rates in terms of analyticity regions in the complex spatial frequency plane. Our results are illustrated through two case studies of systems with dynamics modeled by diffusion and the Swift-Hohenberg equation, respectively. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Parametric Resonance in Networked Oscillators

Authors: Karthik Chikmagalur, Bassam Bamieh

Abstract: We investigate parametric resonance in oscillator networks subjected to periodically time-varying oscillations in the edge strengths. Such models are inspired by the well-known parametric resonance phenomena for single oscillators, as well as the potential rich phenomenology when such parametric excitations are present in a variety of applications like deep brain stimulation, AC power transmission… ▽ More We investigate parametric resonance in oscillator networks subjected to periodically time-varying oscillations in the edge strengths. Such models are inspired by the well-known parametric resonance phenomena for single oscillators, as well as the potential rich phenomenology when such parametric excitations are present in a variety of applications like deep brain stimulation, AC power transmission networks, as well as vehicular flocking formations. We consider cases where a single edge, a subgraph, or the entire network is subjected to forcing, and in each case, we characterize an interesting interplay between the parametric resonance modes and the eigenvalues/vectors of the graph Laplacian. Our analysis is based on a novel treatment of multiple-scale perturbation analysis that we develop for the underlying high-dimensional dynamic equations. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 16 pages, 11 figures

Excitable crawling

Authors: Juncal Arbelaiz, Alessio Franci, Naomi Ehrich Leonard, Rodolphe Sepulchre, Bassam Bamieh

Abstract: We propose and analyze the suitability of a spiking controller to engineer the locomotion of a soft robotic crawler. Inspired by the FitzHugh-Nagumo model of neural excitability, we design a bistable controller with an electrical flipflop circuit representation capable of generating spikes on-demand when coupled to the passive crawler mechanics. A proprioceptive sensory signal from the crawler mec… ▽ More We propose and analyze the suitability of a spiking controller to engineer the locomotion of a soft robotic crawler. Inspired by the FitzHugh-Nagumo model of neural excitability, we design a bistable controller with an electrical flipflop circuit representation capable of generating spikes on-demand when coupled to the passive crawler mechanics. A proprioceptive sensory signal from the crawler mechanics turns bistability of the controller into a rhythmic spiking. The output voltage, in turn, activates the crawler's actuators to generate movement through peristaltic waves. We show through geometric analysis that this control strategy achieves endogenous crawling. The electro-mechanical sensorimotor interconnection provides embodied negative feedback regulation, facilitating locomotion. Dimensional analysis provides insights on the characteristic scales in the crawler's mechanical and electrical dynamics, and how they determine the crawling gait. Adaptive control of the electrical scales to optimally match the mechanical scales can be envisioned to achieve further efficiency, as in homeostatic regulation of neuronal circuits. Our approach can scale up to multiple sensorimotor loops inspired by biological central pattern generators. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 5 pages, MTNS 2024 extended abstract

Causal Tracking of Distributions in Wasserstein Space: A Model Predictive Control Scheme

Authors: Max Emerick, Jared Jonas, Bassam Bamieh

Abstract: We consider the problem of optimal swarm tracking which can be formulated as a tracking problem for distributions in the Wasserstein metric. Optimal control solutions to this problem are non-causal and require knowing the time-trajectory of the distribution to be tracked in advance. We propose a scheme where these non-causal solutions can be used together with a predictive model for the reference… ▽ More We consider the problem of optimal swarm tracking which can be formulated as a tracking problem for distributions in the Wasserstein metric. Optimal control solutions to this problem are non-causal and require knowing the time-trajectory of the distribution to be tracked in advance. We propose a scheme where these non-causal solutions can be used together with a predictive model for the reference to achieve causal tracking control of a priori-unknown references. We develop the resulting model-predictive control scheme in the simple case where the reference is predicted to be constant-in-time. A computational algorithm based on particle methods and discrete optimal mass transport is presented, and numerical simulations are provided for various classes of reference signals. The results demonstrate that the proposed control algorithm achieves reasonable performance even when using simple predictive models. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 8 pages, 7 figures

MSC Class: 93C25

Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case

Authors: Bassam Bamieh

Abstract: Linear-Quadratic (LQ) problems that arise in systems and controls include the classical optimal control problems of the Linear Quadratic Regulator (LQR) in both its deterministic and stochastic forms, as well as $H^\infty$-analysis (the Bounded Real Lemma), the Positive Real Lemma, and general Integral Quadratic Constraints (IQCs) tests. We present a unified treatment of all of these problems usin… ▽ More Linear-Quadratic (LQ) problems that arise in systems and controls include the classical optimal control problems of the Linear Quadratic Regulator (LQR) in both its deterministic and stochastic forms, as well as $H^\infty$-analysis (the Bounded Real Lemma), the Positive Real Lemma, and general Integral Quadratic Constraints (IQCs) tests. We present a unified treatment of all of these problems using an approach which converts linear-quadratic problems to matrix-valued linear-linear problems with a positivity constraint. This is done through a system representation where the joint state/input covariance (the outer product in the deterministic case) matrix is the fundamental object. LQ problems then become infinite-dimensional semidefinite programs, and the key tool used is that of linear-conic duality. Linear Matrix Inequalities (LMIs) emerge naturally as conal constraints on dual problems. Riccati equations characterize extrema of these special LMIs, and therefore provide solutions to the dual problems. The state-feedback structure of all optimal signals in these problems emerge out of alignment (complementary slackness) conditions between primal and dual problems. Perhaps the new insight gained from this approach is that first LMIs, and then second, Riccati equations arise naturally in dual, rather than primal problems. Furthermore, while traditional LQ problems are set up in $L^2$ spaces of signals, their equivalent covariance-representation problems are most naturally set up in $L^1$ spaces of matrix-valued signals. △ Less

Submitted 2 January, 2024; originally announced January 2024.

A Convex Parameterization of Controllers Constrained to use only Relative Measurements

Authors: Walden Marshall, Bassam Bamieh, Emily Jensen

Abstract: The optimal controller design problem for systems equipped with sensors that measure only relative, rather than absolute, quantities is considered. This relative measurement structure is formulated as a design constraint; it is demonstrated that the resulting constrained controller design problem can be written as a convex program. Certain additional network structural constraints can be incorpora… ▽ More The optimal controller design problem for systems equipped with sensors that measure only relative, rather than absolute, quantities is considered. This relative measurement structure is formulated as a design constraint; it is demonstrated that the resulting constrained controller design problem can be written as a convex program. Certain additional network structural constraints can be incorporated into this formulation, making it especially useful in distributed or networked settings. An illustrative example highlights the advantage of the proposed methodology over the standard formulation of the output feedback controller design problem. A numerical example is provided. △ Less

Submitted 21 March, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: 6 pages, 2 figures

An Adaptation of the AAA-Interpolation Algorithm for Model Reduction of MIMO Systems

Authors: Jared Jonas, Bassam Bamieh

Abstract: We consider the Adaptive Antoulas-Anderson (AAA) rational interpolation algorithm recently developed by Trefethen and co-authors, which can be viewed as a type of moment-matching technique for system realization and approximation. We consider variations on this algorithm that are suitable for model reduction of linear time invariant systems while addressing some of the shortcomings of the block-AA… ▽ More We consider the Adaptive Antoulas-Anderson (AAA) rational interpolation algorithm recently developed by Trefethen and co-authors, which can be viewed as a type of moment-matching technique for system realization and approximation. We consider variations on this algorithm that are suitable for model reduction of linear time invariant systems while addressing some of the shortcomings of the block-AAA variant of the algorithm for MIMO systems. In particular, we develop state-space formulas and keep track of the state-space dimension at every step of the adaptive block-AAA algorithm, showing an unfavorable increase of the state dimension. We propose a new low-rank adaptive interpolation algorithm that addresses this shortcoming. Comparative computational results are included for the algorithms above, together with comparisons to balanced reduction. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Implicit Boundary Conditions in Partial Differential Equations Discretizations: Identifying Spurious Modes and Model Reduction

Authors: Pascal R Karam, Bassam Bamieh

Abstract: We revisit the problem of spurious modes that are sometimes encountered in partial differential equations discretizations. It is generally suspected that one of the causes for spurious modes is due to how boundary conditions are treated, and we use this as the starting point of our investigations. By regarding boundary conditions as algebraic constraints on a differential equation, we point out th… ▽ More We revisit the problem of spurious modes that are sometimes encountered in partial differential equations discretizations. It is generally suspected that one of the causes for spurious modes is due to how boundary conditions are treated, and we use this as the starting point of our investigations. By regarding boundary conditions as algebraic constraints on a differential equation, we point out that any differential equation with homogeneous boundary conditions also admits a typically infinite number of hidden or implicit boundary conditions. In most discretization schemes, these additional implicit boundary conditions are violated, and we argue that this is what leads to the emergence of spurious modes. These observations motivate two definitions of the quality of computed eigenvalues based on violations of derivatives of boundary conditions on the one hand, and on the Grassmann distance between subspaces associated with computed eigenspaces on the other. Both of these tests are based on a standardized treatment of boundary conditions and do not require a priori knowledge of eigenvalue locations. The effectiveness of these tests is demonstrated on several examples known to have spurious modes. In addition, these quality tests show that in most problems, about half the computed spectrum of a differential operator is of low quality. The tests also specifically identify the low accuracy modes, which can then be projected out as a type of model reduction scheme. △ Less

Submitted 8 March, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: 15 pages, 4 figures

Journal ref: J. Comput. Phys. 500 (2024)

Continuum Swarm Tracking Control: A Geometric Perspective in Wasserstein Space

Authors: Max Emerick, Bassam Bamieh

Abstract: We consider a setting in which one swarm of agents is to service or track a second swarm, and formulate an optimal control problem which trades off between the competing objectives of servicing and motion costs. We consider the continuum limit where large-scale swarms are modeled in terms of their time-varying densities, and where the Wasserstein distance between two densities captures the servici… ▽ More We consider a setting in which one swarm of agents is to service or track a second swarm, and formulate an optimal control problem which trades off between the competing objectives of servicing and motion costs. We consider the continuum limit where large-scale swarms are modeled in terms of their time-varying densities, and where the Wasserstein distance between two densities captures the servicing cost. We show how this non-linear infinite-dimensional optimal control problem is intimately related to the geometry of Wasserstein space, and provide new results in the case of absolutely continuous densities and constant-in-time references. Specifically, we show that optimal swarm trajectories follow Wasserstein geodesics, while the optimal control tradeoff determines the time-schedule of travel along these geodesics. We briefly describe how this solution provides a basis for a model-predictive control scheme for tracking time-varying and real-time reference trajectories as well. △ Less

Submitted 16 August, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

Comments: 8 pages; accepted version; incorporates reviewer feedback, including additional motivation, visuals, and simplified notation; revised arguments in section 3, results unchanged

A Short Introduction to the Koopman Representation of Dynamical Systems

Authors: Bassam Bamieh

Abstract: The Koopman representation is an infinite dimensional linear representation of linear or nonlinear dynamical systems. It represents the dynamics of output maps (aka observables), which are functions on the state space whose evaluation is interpreted as an output. Conceptually simple derivations and commentary on the Koopman representation are given. We emphasize an important duality between initia… ▽ More The Koopman representation is an infinite dimensional linear representation of linear or nonlinear dynamical systems. It represents the dynamics of output maps (aka observables), which are functions on the state space whose evaluation is interpreted as an output. Conceptually simple derivations and commentary on the Koopman representation are given. We emphasize an important duality between initial conditions and output maps of the original system, and those of the Koopman representation. This duality is an important consideration when this representation is used in data-driven applications such as the Dynamic Mode Decomposition (DMD) and its variants. The adjoint relation between the Koopman representation and the transfer operator of mass transport is also shown. △ Less

Submitted 16 May, 2022; originally announced May 2022.

A Tutorial on Solution Properties of State Space Models of Dynamical Systems

Authors: Bassam Bamieh

Abstract: The starting point of analysis of state space models is investigating existence, uniqueness and solution properties such as the semigroup property, and various formulas for the solutions. Several concepts such as the state transition matrix, the matrix exponential, the variations of constants formula (the Cauchy formula), the Peano-Baker series, and the Picard iteration are used to characterize so… ▽ More The starting point of analysis of state space models is investigating existence, uniqueness and solution properties such as the semigroup property, and various formulas for the solutions. Several concepts such as the state transition matrix, the matrix exponential, the variations of constants formula (the Cauchy formula), the Peano-Baker series, and the Picard iteration are used to characterize solutions. In this note, a tutorial treatment is given where all of these concepts are shown to be various manifestations of a single abstract method, namely solving equations using an operator Neumann series involving the Volterra operator of forward integration. The matrix exponential, the Peano-Baker series, the Picard iteration, and the Cauchy formula can be "discovered" naturally from this Neumann series. The convergence of the series and iterations is a consequence of the key property of asymptotic nilpotence of the Volterra operator. This property is an asymptotic version of the nilpotence property of a strictly-lower-triangular matrix. △ Less

Submitted 24 April, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Scale Fragilities in Localized Consensus Dynamics

Authors: Emma Tegling, Bassam Bamieh, Henrik Sandberg

Abstract: We consider distributed consensus in networks where the agents have integrator dynamics of order two or higher ($n\ge 2$). We assume all feedback to be localized in the sense that each agent has a bounded number of neighbors and consider a scaling of the network through the addition of agents in a modular manner, i.e., without re-tuning controller gains upon addition. We show that standard consens… ▽ More We consider distributed consensus in networks where the agents have integrator dynamics of order two or higher ($n\ge 2$). We assume all feedback to be localized in the sense that each agent has a bounded number of neighbors and consider a scaling of the network through the addition of agents in a modular manner, i.e., without re-tuning controller gains upon addition. We show that standard consensus algorithms, which rely on relative state feedback, are subject to what we term scale fragilities, meaning that stability is lost as the network scales. For high-order agents ($n\ge 3$), we prove that no consensus algorithm with fixed gains can achieve consensus in networks of any size. That is, while a given algorithm may allow a small network to converge, it causes instability if the network grows beyond a certain finite size. This holds in families of network graphs whose algebraic connectivity, that is, the smallest non-zero Laplacian eigenvalue, is decreasing towards zero in network size (e.g. all planar graphs). For second-order consensus ($n = 2$) we prove that the same scale fragility applies to directed graphs that have a complex Laplacian eigenvalue approaching the origin (e.g. directed ring graphs). The proofs for both results rely on Routh-Hurwitz criteria for complex-valued polynomials and hold true for general directed network graphs. We survey classes of graphs subject to these scale fragilities, discuss their scaling constants, and finally prove that a sub-linear scaling of nodal neighborhoods can suffice to overcome the issue. △ Less

Submitted 26 January, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: arXiv admin note: text overlap with arXiv:1907.02465

An Explicit Parametrization of Closed Loops for Spatially Distributed Controllers with Sparsity Constraints

Authors: Emily Jensen, Bassam Bamieh

Abstract: In this article, we study the linear time-invariant state-feedback controller design problem for distributed systems. We follow the recently developed system level synthesis (SLS) approach and impose locality structure on the resulting closed-loop map**s; the corresponding controller implementation inherits this prescribed structure. In contrast to existing SLS results, we derive an explicit (ra… ▽ More In this article, we study the linear time-invariant state-feedback controller design problem for distributed systems. We follow the recently developed system level synthesis (SLS) approach and impose locality structure on the resulting closed-loop map**s; the corresponding controller implementation inherits this prescribed structure. In contrast to existing SLS results, we derive an explicit (rather than implicit) parameterization of all achievable stabilized closed-loops. This admits more efficient IIR representations of the temporal part of the closed-loop dynamics, and it allows for the H2 design problem with closed-loop spatial sparsity constraints to be converted to a standard model matching problem, with the number of transfer function parameters scaling linearly with the closed-loop spatial extent constraint. We illustrate our results with two applications: consensus of first-order subsystems and the vehicular platoons problem. In the case of first-order consensus, we provide analytic solutions and further analyze the architecture of the resulting controller implementation. Results for infinite extent spatially invariant systems are presented to provide insight to the case of a large but finite number of subsystems. △ Less

Submitted 10 January, 2022; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: to be published in IEEE TAC

On Structured-Closed-Loop versus Structured-Controller Design: the Case of Relative Measurement Feedback

Authors: Emily Jensen, Bassam Bamieh

Abstract: We consider the optimal distributed controller design problem subject to two structural requirements: locality, i.e. available measurements and sub-controllers' interactions are governed by a graph structure, and relative feedback, i.e. only differences of measurements are available to the controller. We formalize controller locality in terms of the controller's transfer function, state-space real… ▽ More We consider the optimal distributed controller design problem subject to two structural requirements: locality, i.e. available measurements and sub-controllers' interactions are governed by a graph structure, and relative feedback, i.e. only differences of measurements are available to the controller. We formalize controller locality in terms of the controller's transfer function, state-space realization, or resulting closed-loop map**. We demonstrate that the relative feedback requirement can be written as a convex constraint on the controller and (in special cases) on the resulting closed-loop, and we characterize the allowable structures of relative feedback controllers. We prove that sparse closed-loop design is a convex relaxation of structured controller state-space design, even in the continuous time IIR setting. This formalizes and extends results of the recently developed System Level Synthesis framework. We take a first step toward quantifying the performance gap associated with this convex relaxation by constructing a class of examples (based on relative feedback requirements) for which the difference in performance, measured by an H2 norm, is infinite. The results presented are used to contrast several issues of structural constraints in distributed control design that remain as open problems. △ Less

Submitted 10 January, 2022; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: Submitted to IEEE Transactions on Automatic Control

Diffusion and Consensus in a Weakly Coupled Network of Networks

Authors: Yuhao Yi, Anirban Das, Stacy Patterson, Bassam Bamieh, Zhongzhi Zhang

Abstract: We study diffusion and consensus dynamics in a Network of Networks model. In this model, there is a collection of sub-networks, connected to one another using a small number of links. We consider a setting where the links between networks have small weights, or are used less frequently than links within each sub-network. Using spectral perturbation theory, we analyze the diffusion rate and converg… ▽ More We study diffusion and consensus dynamics in a Network of Networks model. In this model, there is a collection of sub-networks, connected to one another using a small number of links. We consider a setting where the links between networks have small weights, or are used less frequently than links within each sub-network. Using spectral perturbation theory, we analyze the diffusion rate and convergence rate of the investigated systems. Our analysis shows that the first order approximation of the diffusion and convergence rates is independent of the topologies of the individual graphs; the rates depend only on the number of nodes in each graph and the topology of the connecting edges. The second order analysis shows a relationship between the diffusion and convergence rates and the information centrality of the connecting nodes within each sub-network. We further highlight these theoretical results through numerical examples. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: 12 pages, 5 figures

Stochasticity in Feedback Loops; Great Expectations and Guaranteed Ruin

Authors: Roy S. Smith, Bassam Bamieh

Abstract: Stochastic feedback systems give rise to a variety of notions of stability. The conditions for the stability of the median, mean, and variance stability conditions differ. These conditions can be stated explicitly for scalar discrete-time systems with (almost) arbitrary distributions of the stochastic feedback gain. The state variable in such systems evolves towards a heavy-tailed distribution and… ▽ More Stochastic feedback systems give rise to a variety of notions of stability. The conditions for the stability of the median, mean, and variance stability conditions differ. These conditions can be stated explicitly for scalar discrete-time systems with (almost) arbitrary distributions of the stochastic feedback gain. The state variable in such systems evolves towards a heavy-tailed distribution and exhibits some non-intuitive characteristics. For example, one can use stochastic feedback to stabilise unstable systems where one does not know the sign of the unstable pole or the sign of the system gain. A more dramatic example is an investment scheme which simultaneously yields unbounded expected profit and almost certain bankruptcy to every investor. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Comments: 18 pages, 14 figures. Submitted to IEEE Control Systems Magazine

An Input-Output Approach to Structured Stochastic Uncertainty in Continuous Time

Authors: Maurice Filo, Bassam Bamieh

Abstract: We consider the continuous-time setting of linear time-invariant (LTI) systems in feedback with multiplicative stochastic uncertainties. The objective of the paper is to characterize the conditions of Mean-Square Stability (MSS) using a purely input-output approach, i.e. without having to resort to state space realizations. This has the advantage of encompassing a wider class of models (such as in… ▽ More We consider the continuous-time setting of linear time-invariant (LTI) systems in feedback with multiplicative stochastic uncertainties. The objective of the paper is to characterize the conditions of Mean-Square Stability (MSS) using a purely input-output approach, i.e. without having to resort to state space realizations. This has the advantage of encompassing a wider class of models (such as infinite dimensional systems and systems with delays). The input-output approach leads to uncovering new tools such as stochastic block diagrams that have an intimate connection with the more general Stochastic Integral Equations (SIE), rather than Stochastic Differential Equations (SDE). Various stochastic interpretations are considered, such as Itō and Stratonovich, and block diagram conversion schemes between different interpretations are devised. The MSS conditions are given in terms of the spectral radius of a matrix operator that takes different forms when different stochastic interpretations are considered. △ Less

Submitted 24 June, 2018; originally announced June 2018.

An Input-Output Approach to Structured Stochastic Uncertainty

Authors: Bassam Bamieh, Maurice Filo

Abstract: We consider linear time invariant systems with exogenous stochastic disturbances, and in feedback with structured stochastic uncertainties. This setting encompasses linear systems with both additive and multiplicative noise. Our concern is to characterize second-order properties such as mean-square stability and performance. A purely input-output treatment of these systems is given without recours… ▽ More We consider linear time invariant systems with exogenous stochastic disturbances, and in feedback with structured stochastic uncertainties. This setting encompasses linear systems with both additive and multiplicative noise. Our concern is to characterize second-order properties such as mean-square stability and performance. A purely input-output treatment of these systems is given without recourse to state space models, and thus the results are applicable to certain classes of distributed systems. We derive necessary and sufficient conditions for mean-square stability in terms of the spectral radius of a linear matrix operator whose dimension is that of the number of uncertainties, rather than the dimension of any underlying state space models. Our condition is applicable to the case of correlated uncertainties, and reproduces earlier results for uncorrelated uncertainties. For cases where state space realizations are given, Linear Matrix Inequality (LMI) equivalents of the input-output conditions are given. △ Less

Submitted 19 June, 2018; originally announced June 2018.

Discovering Transforms: A Tutorial on Circulant Matrices, Circular Convolution, and the Discrete Fourier Transform

Authors: Bassam Bamieh

Abstract: How could the Fourier and other transforms be naturally discovered if one didn't know how to postulate them? In the case of the Discrete Fourier Transform (DFT), we show how it arises naturally out of analysis of circulant matrices. In particular, the DFT can be derived as the change of basis that simultaneously diagonalizes all circulant matrices. In this way, the DFT arises naturally from a line… ▽ More How could the Fourier and other transforms be naturally discovered if one didn't know how to postulate them? In the case of the Discrete Fourier Transform (DFT), we show how it arises naturally out of analysis of circulant matrices. In particular, the DFT can be derived as the change of basis that simultaneously diagonalizes all circulant matrices. In this way, the DFT arises naturally from a linear algebra question about a set of matrices. Rather than thinking of the DFT as a signal transform, it is more natural to think of it as a single change of basis that renders an entire set of mutually-commuting matrices into simple, diagonal forms. The DFT can then be "discovered" by solving the eigenvalue/eigenvector problem for a special element in that set. A brief outline is given of how this line of thinking can be generalized to families of linear operators, leading to the discovery of the other common Fourier-type transforms, as well as its connections with group representations theory. △ Less

Submitted 25 April, 2022; v1 submitted 14 May, 2018; originally announced May 2018.

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.

Phase transitions in distributed control systems with multiplicative noise

Authors: Nicolas Allegra, Bassam Bamieh, Partha P. Mitra, Clément Sire

Abstract: Contemporary technological challenges often involve many degrees of freedom in a distributed or networked setting. Three aspects are notable: the variables are usually associated with the nodes of a graph with limited communication resources, hindering centralized control; the communication is subjected to noise; and the number of variables can be very large. These three aspects make tools and tec… ▽ More Contemporary technological challenges often involve many degrees of freedom in a distributed or networked setting. Three aspects are notable: the variables are usually associated with the nodes of a graph with limited communication resources, hindering centralized control; the communication is subjected to noise; and the number of variables can be very large. These three aspects make tools and techniques from statistical physics particularly suitable for the performance analysis of such networked systems in the limit of many variables (analogous to the thermodynamic limit in statistical physics). Perhaps not surprisingly, phase-transition like phenomena appear in these systems, where a sharp change in performance can be observed with a smooth parameter variation, with the change becoming discontinuous or singular in the limit of infinite system size. In this paper we analyze the so called network consensus problem, prototypical of the above considerations, that has been previously analyzed mostly in the context of additive noise. We show that qualitatively new phase-transition like phenomena appear for this problem in the presence of multiplicative noise. Depending on dimensions and on the presence or absence of a conservation law, the system performance shows a discontinuous change at a threshold value of the multiplicative noise strength. In the absence of the conservation law, and for graph spectral dimension less than two, the multiplicative noise threshold (the stability margin of the control problem) is zero. This is reminiscent of the absence of robust controllers for certain classes of centralized control problems. Although our study involves a toy model we believe that the qualitative features are generic, with implication for the robust stability of distributed control systems, as well as the effect of roundoff errors and communication noise on distributed algorithms. △ Less

Submitted 29 August, 2017; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: Submitted To JSTATMECH

Consensus and Coherence in Fractal Networks

Authors: Stacy Patterson, Bassam Bamieh

Abstract: We consider first and second order consensus algorithms in networks with stochastic disturbances. We quantify the deviation from consensus using the notion of network coherence, which can be expressed as an $H_2$ norm of the stochastic system. We use the setting of fractal networks to investigate the question of whether a purely topological measure, such as the fractal dimension, can capture the a… ▽ More We consider first and second order consensus algorithms in networks with stochastic disturbances. We quantify the deviation from consensus using the notion of network coherence, which can be expressed as an $H_2$ norm of the stochastic system. We use the setting of fractal networks to investigate the question of whether a purely topological measure, such as the fractal dimension, can capture the asymptotics of coherence in the large system size limit. Our analysis for first-order systems is facilitated by connections between first-order stochastic consensus and the global mean first passage time of random walks. We then show how to apply similar techniques to analyze second-order stochastic consensus systems. Our analysis reveals that two networks with the same fractal dimension can exhibit different asymptotic scalings for network coherence. Thus, this topological characterization of the network does not uniquely determine coherence behavior. The question of whether the performance of stochastic consensus algorithms in large networks can be captured by purely topological measures, such as the spatial dimension, remains open. △ Less

Submitted 9 October, 2013; originally announced October 2013.

On sensor fusion for airborne wind energy systems

Authors: Lorenzo Fagiano, Khahn Huynh, Bassam Bamieh, Mustafa Khammash

Abstract: A study on filtering aspects of airborne wind energy generators is presented. This class of renewable energy systems aims to convert the aerodynamic forces generated by tethered wings, flying in closed paths transverse to the wind flow, into electricity. The accurate reconstruction of the wing's position, velocity and heading is of fundamental importance for the automatic control of these kinds of… ▽ More A study on filtering aspects of airborne wind energy generators is presented. This class of renewable energy systems aims to convert the aerodynamic forces generated by tethered wings, flying in closed paths transverse to the wind flow, into electricity. The accurate reconstruction of the wing's position, velocity and heading is of fundamental importance for the automatic control of these kinds of systems. The difficulty of the estimation problem arises from the nonlinear dynamics, wide speed range, large accelerations and fast changes of direction that the wing experiences during operation. It is shown that the overall nonlinear system has a specific structure allowing its partitioning into sub-systems, hence leading to a series of simpler filtering problems. Different sensor setups are then considered, and the related sensor fusion algorithms are presented. The results of experimental tests carried out with a small-scale prototype and wings of different sizes are discussed. The designed filtering algorithms rely purely on kinematic laws, hence they are independent from features like wing area, aerodynamic efficiency, mass, etc. Therefore, the presented results are representative also of systems with larger size and different wing design, different number of tethers and/or rigid wings. △ Less

Submitted 12 July, 2013; v1 submitted 21 November, 2012; originally announced November 2012.

Comments: This manuscript is a preprint of a paper accepted for publication on the IEEE Transactions on Control Systems Technology and is subject to IEEE Copyright. The copy of record is available at IEEEXplore library: http://ieeexplore.ieee.org/

Coherence in Large-Scale Networks: Dimension-Dependent Limitations of Local Feedback

Authors: Bassam Bamieh, Mihailo R. Jovanović, Partha Mitra, Stacy Patterson

Abstract: We consider distributed consensus and vehicular formation control problems. Specifically we address the question of whether local feedback is sufficient to maintain coherence in large-scale networks subject to stochastic disturbances. We define macroscopic performance measures which are global quantities that capture the notion of coherence; a notion of global order that quantifies how closely the… ▽ More We consider distributed consensus and vehicular formation control problems. Specifically we address the question of whether local feedback is sufficient to maintain coherence in large-scale networks subject to stochastic disturbances. We define macroscopic performance measures which are global quantities that capture the notion of coherence; a notion of global order that quantifies how closely the formation resembles a solid object. We consider how these measures scale asymptotically with network size in the topologies of regular lattices in 1, 2 and higher dimensions, with vehicular platoons corresponding to the 1 dimensional case. A common phenomenon appears where a higher spatial dimension implies a more favorable scaling of coherence measures, with a dimensions of 3 being necessary to achieve coherence in consensus and vehicular formations under certain conditions. In particular, we show that it is impossible to have large coherent one dimensional vehicular platoons with only local feedback. We analyze these effects in terms of the underlying energetic modes of motion, showing that they take the form of large temporal and spatial scales resulting in an accordion-like motion of formations. A conclusion can be drawn that in low spatial dimensions, local feedback is unable to regulate large-scale disturbances, but it can in higher spatial dimensions. This phenomenon is distinct from, and unrelated to string instability issues which are commonly encountered in control problems for automated highways. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Comments: To appear in IEEE Trans. Automat. Control; 15 pages, 2 figures

Journal ref: IEEE Trans. Automat. Control (2012), vol. 57, no. 9, pp. 2235-2249