Showing 1–36 of 36 results for author: Belabbas, M

On the invariance of super-linearization under polynomial automorphisms

Authors: Anmol Harshana, Mohamed-Ali Belabbas

Abstract: We prove that the super-linearizability of polynomial systems is preserved by all currently known classes of polynomial automorphisms of $\R^n$. We then establish connections between such automorphisms and a sufficient condition for super-linearizability. We prove that the super-linearizability of polynomial systems is preserved by all currently known classes of polynomial automorphisms of $\R^n$. We then establish connections between such automorphisms and a sufficient condition for super-linearizability. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Constructing Stochastic Matrices for Weighted Averaging in Gossip Networks

Authors: Erkan Bayram, Mohamed-Ali Belabbas

Abstract: The convergence of the gossip process has been extensively studied; however, algorithms that generate a set of stochastic matrices, the infinite product of which converges to a rank-one matrix determined by a given weight vector, have been less explored. In this work, we propose an algorithm for constructing (local) stochastic matrices based on a given gossip network topology and a set of weights… ▽ More The convergence of the gossip process has been extensively studied; however, algorithms that generate a set of stochastic matrices, the infinite product of which converges to a rank-one matrix determined by a given weight vector, have been less explored. In this work, we propose an algorithm for constructing (local) stochastic matrices based on a given gossip network topology and a set of weights for averaging across different consensus clusters, ensuring that the gossip process converges to a finite limit set. △ Less

Submitted 27 February, 2025; originally announced February 2025.

On Infinite-horizon Minimum Energy Control

Authors: Mohamed-Ali Belabbas, Xudong Chen

Abstract: We address the infinite-horizon minimum energy control problem for linear time-invariant finite-dimensional systems $(A, B)$. We show that the problem admits a solution if and only if $(A, B)$ is stabilizable and $A$ does not have imaginary eigenvalues. We address the infinite-horizon minimum energy control problem for linear time-invariant finite-dimensional systems $(A, B)$. We show that the problem admits a solution if and only if $(A, B)$ is stabilizable and $A$ does not have imaginary eigenvalues. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Time-delay Induced Stochastic Optimization and Extremum Seeking

Authors: Naum Dimitrieski, Michael Reyer, Mohamed-Ali Belabbas, Christian Ebenbauer

Abstract: In this paper a novel stochastic optimization and extremum seeking algorithm is presented, one which is based on time-delayed random perturbations and step size adaptation. For the case of a one-dimensional quadratic unconstrained optimization problem, global exponential convergence in expectation and global exponential practical convergence of the variance of the trajectories are proven. The theo… ▽ More In this paper a novel stochastic optimization and extremum seeking algorithm is presented, one which is based on time-delayed random perturbations and step size adaptation. For the case of a one-dimensional quadratic unconstrained optimization problem, global exponential convergence in expectation and global exponential practical convergence of the variance of the trajectories are proven. The theoretical results are complemented by numerical simulations for one- and multi-dimensional quadratic and non-quadratic objective functions. △ Less

Submitted 27 October, 2024; originally announced October 2024.

Comments: Preprint to be submitted to the 2025 European Control Conference (ECC25)

Dynamic Global Feedback Stabilization: why do the twist?

Authors: Mohamed-Ali Belabbas, Jehyung Ko

Abstract: We investigate global dynamic feedback stabilization from a topological viewpoint. In particular, we consider the general case of dynamic feedback systems, whereby the total space (which includes the state space of the system and of the controller) is a fibre bundle, and derive conditions on the topology of the bundle that are necessary for various notions of global stabilization to hold. This poi… ▽ More We investigate global dynamic feedback stabilization from a topological viewpoint. In particular, we consider the general case of dynamic feedback systems, whereby the total space (which includes the state space of the system and of the controller) is a fibre bundle, and derive conditions on the topology of the bundle that are necessary for various notions of global stabilization to hold. This point of view highlight the importance of distinguishing trivial bundles and twisted bundles in the study of global dynamic feedback stabilization, as we show that dynamic feedback defined on a twisted bundle can stabilize systems that dynamic feedback on trivial bundles cannot. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Control Theoretic Approach to Fine-Tuning and Transfer Learning

Authors: Erkan Bayram, Shenyu Liu, Mohamed-Ali Belabbas, Tamer Başar

Abstract: Given a training set in the form of a paired $(\mathcal{X},\mathcal{Y})$, we say that the control system $\dot x = f(x,u)$ has learned the paired set via the control $u^*$ if the system steers each point of $\mathcal{X}$ to its corresponding target in $\mathcal{Y}$. If the training set is expanded, most existing methods for finding a new control $u^*$ require starting from scratch, resulting in a… ▽ More Given a training set in the form of a paired $(\mathcal{X},\mathcal{Y})$, we say that the control system $\dot x = f(x,u)$ has learned the paired set via the control $u^*$ if the system steers each point of $\mathcal{X}$ to its corresponding target in $\mathcal{Y}$. If the training set is expanded, most existing methods for finding a new control $u^*$ require starting from scratch, resulting in a quadratic increase in complexity with the number of points. To overcome this limitation, we introduce the concept of $\textit{ tuning without forgetting}$. We develop $\textit{an iterative algorithm}$ to tune the control $u^*$ when the training set expands, whereby points already in the paired set are still matched, and new training samples are learned. At each update of our method, the control $u^*$ is projected onto the kernel of the end-point mapping generated by the controlled dynamics at the learned samples. It ensures keeping the end-points for the previously learned samples constant while iteratively learning additional samples. △ Less

Submitted 19 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Graphons and the $H$-property

Authors: Mohamed-Ali Belabbas, Xudong Chen

Abstract: A graphon satisfies the $H$-property if graphs sampled from it contain a Hamiltonian decomposition almost surely, which in turn implies that the corresponding network topologies are, e.g., structurally stable and structurally ensemble controllable. In recent papers, we have exhibited a set of conditions that is essentially necessary and sufficient for the $H$-property to hold for the finite-dimens… ▽ More A graphon satisfies the $H$-property if graphs sampled from it contain a Hamiltonian decomposition almost surely, which in turn implies that the corresponding network topologies are, e.g., structurally stable and structurally ensemble controllable. In recent papers, we have exhibited a set of conditions that is essentially necessary and sufficient for the $H$-property to hold for the finite-dimensional class of step-graphons. The extension to the infinite-dimensional case of general graphons was hindered by the fact that said conditions relied on objects that do not admit immediate extensions to the infinite-dimensional case. We outline here our approach to bypass this difficulty and state conditions that guarantee that the $H$-property holds for general graphons. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: Extended abstract

Vector-Valued Gossip over $w$-Holonomic Networks

Authors: Erkan Bayram, Mohamed-Ali Belabbas, Tamer Başar

Abstract: We study the weighted average consensus problem for a gossip network of agents with vector-valued states. For a given matrix-weighted graph, the gossip process is described by a sequence of pairs of adjacent agents communicating and updating their states based on the edge matrix weight. Our key contribution is providing conditions for the convergence of this non-homogeneous Markov process as well… ▽ More We study the weighted average consensus problem for a gossip network of agents with vector-valued states. For a given matrix-weighted graph, the gossip process is described by a sequence of pairs of adjacent agents communicating and updating their states based on the edge matrix weight. Our key contribution is providing conditions for the convergence of this non-homogeneous Markov process as well as the characterization of its limit set. To this end, we introduce the notion of "$w$-holonomy" of a set of stochastic matrices, which enables the characterization of sequences of gossiping pairs resulting in reaching a desired consensus in a decentralized manner. Stated otherwise, our result characterizes the limiting behavior of infinite products of (non-commuting, possibly with absorbing states) stochastic matrices. △ Less

Submitted 7 November, 2023; originally announced November 2023.

A Sufficient Condition for the Super-linearization of Polynomial Systems

Authors: Mohamed-Ali Belabbas, Xudong Chen

Abstract: We provide in this paper a sufficient condition for a polynomial dynamical system $\dot x(t) = f(x(t))$ to be super-linearizable, i.e., to be such that all its trajectories are linear projections of the trajectories of a linear dynamical system. The condition is expressed in terms of the hereby introduced weighted dependency graph $G$, whose nodes $v_i$ correspond to variables $x_i$ and edges… ▽ More We provide in this paper a sufficient condition for a polynomial dynamical system $\dot x(t) = f(x(t))$ to be super-linearizable, i.e., to be such that all its trajectories are linear projections of the trajectories of a linear dynamical system. The condition is expressed in terms of the hereby introduced weighted dependency graph $G$, whose nodes $v_i$ correspond to variables $x_i$ and edges $v_iv_j$ have weights $\frac{\partial f_j}{\partial x_i}$. We show that if the product of the edge weights along any cycle in $G$ is a constant, then the system is super-linearizable. The proof is constructive, and we provide an algorithm to obtain super-linearizations and illustrate it on an example. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Canonical forms for polynomial systems with balanced super-linearizations

Authors: M. -A. Belabbas

Abstract: A system is Koopman super-linearizable if it admits a finite-dimensional embedding as a linear system. Super-linearization is used to leverage methods from linear systems theory to design controllers or observers for nonlinear systems. We call a super-linearization balanced if the degrees of the hidden observables do not exceed the ones of the visible observables. We show that systems admitting su… ▽ More A system is Koopman super-linearizable if it admits a finite-dimensional embedding as a linear system. Super-linearization is used to leverage methods from linear systems theory to design controllers or observers for nonlinear systems. We call a super-linearization balanced if the degrees of the hidden observables do not exceed the ones of the visible observables. We show that systems admitting such super-linearization can be put in a simple canonical form via a linear change of variables. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Visible and hidden observables in super-linearization

Authors: Mohamed-Ali Belabbas

Abstract: We call a system super-linearizable if it admits finite-dimensional embedding as a linear system -- known as a finite-dimensional Koopman embedding; said otherwise, if its dynamics can be linearized by adding a finite set of observables. We introduce the notions of visible and hidden observables for such embeddings which, roughly speaking, are the observables that explicitly appear in the original… ▽ More We call a system super-linearizable if it admits finite-dimensional embedding as a linear system -- known as a finite-dimensional Koopman embedding; said otherwise, if its dynamics can be linearized by adding a finite set of observables. We introduce the notions of visible and hidden observables for such embeddings which, roughly speaking, are the observables that explicitly appear in the original system and the ones that do not, but yet are necessary for its embedding. Distinct embeddings can have different numbers of hidden and visible observables. In this paper, we derive a tight lower bound for the number of visible observables of a system among all its super-linearizations. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Geometric Characterization of the $H$-property for Step-graphons

Authors: Mohamed Ali Belabbas, Xudong Chen

Abstract: In a recent paper arXiv:2109.08340, we have exhibited a set of conditions that are necessary for the $H$-property to hold for the class of step-graphons. In this paper, we prove that these conditions are essentially sufficient. In a recent paper arXiv:2109.08340, we have exhibited a set of conditions that are necessary for the $H$-property to hold for the class of step-graphons. In this paper, we prove that these conditions are essentially sufficient. △ Less

Submitted 1 June, 2022; originally announced June 2022.

The H-property of Line Graphons

Authors: Mohamed-Ali Belabbas, Xudong Chen, Tamer Basar

Abstract: We explore in this paper sufficient conditions for the $H$-property to hold, with a particular focus on the so-called line graphons. A graphon is a symmetric, measurable function from the unit square $[0,1]^2$ to the closed interval $[0,1]$. Graphons can be used to sample random graphs, and a graphon is said to have the $H$-property if graphs on $n$ nodes sampled from it admit a node-cover by disj… ▽ More We explore in this paper sufficient conditions for the $H$-property to hold, with a particular focus on the so-called line graphons. A graphon is a symmetric, measurable function from the unit square $[0,1]^2$ to the closed interval $[0,1]$. Graphons can be used to sample random graphs, and a graphon is said to have the $H$-property if graphs on $n$ nodes sampled from it admit a node-cover by disjoint cycles -- such a cover is called a Hamiltonian decomposition -- almost surely as $n \to \infty$. A step-graphon is a graphon which is piecewise constant over rectangles in the domain. To a step-graphon, we assign two objects: its concentration vector, encoding the areas of the rectangles, and its skeleton-graph, describing their supports. These two objects were used in our earlier work [3] to establish necessary conditions for a step-graphon to have the $H$-property. In this paper, we prove that these conditions are essentially also sufficient for the class of line-graphons, i.e., the step-graphons whose skeleton graphs are line graphs with a self-loop at an ending node. We also investigate borderline cases where neither the necessary nor the sufficient conditions are met. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 1 footnote

On gradient flows initialized near maxima

Authors: Mohamed-Ali Belabbas

Abstract: Let $(M,g)$ be a closed Riemannian manifold, and let $F:M \to \mathbb{R}$ be a smooth function on $M$. We show the following holds generically for the function $F$: for each maximum $p$ of $F$, there exist two minima, denoted by $m_+(p)$ and $m_-(p)$, so that the gradient flow initialized at a random point close to $p$ converges to either $m_-(p)$ or $m_+(p)$ with high probability. The statement a… ▽ More Let $(M,g)$ be a closed Riemannian manifold, and let $F:M \to \mathbb{R}$ be a smooth function on $M$. We show the following holds generically for the function $F$: for each maximum $p$ of $F$, there exist two minima, denoted by $m_+(p)$ and $m_-(p)$, so that the gradient flow initialized at a random point close to $p$ converges to either $m_-(p)$ or $m_+(p)$ with high probability. The statement also holds for $F \in C^\infty(M)$ fixed and a generic metric $g$ on $M$. We conclude by associating to a given a generic pair $(F, g)$ what we call its max-min graph, which captures the relation between minima and maxima derived in the main result. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: no footnotes

On the H-property for step-graphons and edge polytopes

Authors: Mohamed-Ali Belabbas, Xudong Chen, Tamer Basar

Abstract: Graphons $W$ can be used as stochastic models to sample graphs $G_n$ on $n$ nodes for $n$ arbitrarily large. A graphon $W$ is said to have the $H$-property if $G_n$ admits a decomposition into disjoint cycles with probability one as $n$ goes to infinity. Such a decomposition is known as a Hamiltonian decomposition. In this paper, we provide necessary conditions for the $H$-property to hold. The pr… ▽ More Graphons $W$ can be used as stochastic models to sample graphs $G_n$ on $n$ nodes for $n$ arbitrarily large. A graphon $W$ is said to have the $H$-property if $G_n$ admits a decomposition into disjoint cycles with probability one as $n$ goes to infinity. Such a decomposition is known as a Hamiltonian decomposition. In this paper, we provide necessary conditions for the $H$-property to hold. The proof builds upon a hereby established connection between the so-called edge polytope of a finite undirected graph associated with $W$ and the $H$-property. Building on its properties, we provide a purely geometric solution to a random graph problem. More precisely, we assign two natural objects to $W$, which we term concentration vector and skeleton graph, denoted by $x^*$ and $S$ respectively. We then establish two necessary conditions for the $H$-property to hold: (1) the edge-polytope of $S$, denoted by $\mathcal{X}(S)$, is of full rank, and (2) $x^* \in \mathcal{X}(S)$. △ Less

Submitted 10 November, 2021; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: no footnote

On Structural Rank and Resilience of Sparsity Patterns

Authors: Mohamed Ali Belabbas, Xudong Chen, Daniel Zelazo

Abstract: A sparsity pattern in $\mathbb{R}^{n \times m}$, for $m\geq n$, is a vector subspace of matrices admitting a basis consisting of canonical basis vectors in $\mathbb{R}^{n \times m}$. We represent a sparsity pattern by a matrix with $0/\star$-entries, where $\star$-entries are arbitrary real numbers and $0$-entries are equal to $0$. We say that a sparsity pattern has full structural rank if the max… ▽ More A sparsity pattern in $\mathbb{R}^{n \times m}$, for $m\geq n$, is a vector subspace of matrices admitting a basis consisting of canonical basis vectors in $\mathbb{R}^{n \times m}$. We represent a sparsity pattern by a matrix with $0/\star$-entries, where $\star$-entries are arbitrary real numbers and $0$-entries are equal to $0$. We say that a sparsity pattern has full structural rank if the maximal rank of matrices contained in it is $n$. In this paper, we investigate the degree of resilience of patterns with full structural rank: We address questions such as how many $\star$-entries can be removed without decreasing the structural rank and, reciprocally, how many $\star$-entries one needs to add so as to increase the said degree of resilience to reach a target. Our approach goes by translating these questions into max-flow problems on appropriately defined bipartite graphs. Based on these translations, we provide algorithms that solve the problems in polynomial time. △ Less

Submitted 17 September, 2021; v1 submitted 25 July, 2021; originally announced July 2021.

Comments: Two footnotes

Gossip over Holonomic Graphs

Authors: Xudong Chen, Mohamed-Ali Belabbas, Ji Liu

Abstract: A gossip process is an iterative process in a multi-agent system where only two neighboring agents communicate at each iteration and update their states. The neighboring condition is by convention described by an undirected graph. In this paper, we consider a general update rule whereby each agent takes an arbitrary weighted average of its and its neighbor's current states. In general, the limit o… ▽ More A gossip process is an iterative process in a multi-agent system where only two neighboring agents communicate at each iteration and update their states. The neighboring condition is by convention described by an undirected graph. In this paper, we consider a general update rule whereby each agent takes an arbitrary weighted average of its and its neighbor's current states. In general, the limit of the gossip process (if it converges) depends on the order of iterations of the gossiping pairs. The main contribution of the paper is to provide a necessary and sufficient condition for convergence of the gossip process that is independent of the order of iterations. This result relies on the introduction of the novel notion of holonomy of local stochastic matrices for the communication graph. We also provide complete characterizations of the limit and the space of holonomic stochastic matrices over the graph. △ Less

Submitted 17 October, 2021; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: No footnotes

Geometric Heat Flow Method for Legged Locomotion Planning

Authors: Yinai Fan, Shenyu Liu, Mohamed-Ali Belabbas

Abstract: We propose in this paper a motion planning method for legged robot locomotion based on Geometric Heat Flow framework. The motion planning task is challenging due to the hybrid nature of dynamics and contact constraints. We encode the hybrid dynamics and constraints into Riemannian inner product, and this inner product is defined so that short curves correspond to admissible motions for the system.… ▽ More We propose in this paper a motion planning method for legged robot locomotion based on Geometric Heat Flow framework. The motion planning task is challenging due to the hybrid nature of dynamics and contact constraints. We encode the hybrid dynamics and constraints into Riemannian inner product, and this inner product is defined so that short curves correspond to admissible motions for the system. We rely on the affine geometric heat flow to deform an arbitrary path connecting the desired initial and final states to this admissible motion. The method is able to automatically find the trajectory of robot's center of mass, feet contact positions and forces on uneven terrain. △ Less

Submitted 19 January, 2021; originally announced January 2021.

On Integer Balancing of Digraphs

Authors: Mohamed-Ali Belabbas, Xudong Chen

Abstract: A weighted digraph is balanced if the sums of the weights of the incoming and of the outgoing edges are equal at each vertex. We show that if these sums are integers, then the edge weights can be integers as well. A weighted digraph is balanced if the sums of the weights of the incoming and of the outgoing edges are equal at each vertex. We show that if these sums are integers, then the edge weights can be integers as well. △ Less

Submitted 18 November, 2020; v1 submitted 16 November, 2020; originally announced November 2020.

Triangulated Laman Graphs, Local Stochastic Matrices, and Limits of Their Products

Authors: Mohamed Ali Belabbas, Xudong Chen

Abstract: We derive conditions on the products of stochastic matrices guaranteeing the existence of a unique limit invariant distribution. Belying our approach is the hereby defined notion of restricted triangulated Laman graphs. The main idea is the following: to each triangle in the graph, we assign a stochastic matrix. Two matrices can be adjacent in a product only if their corresponding triangles share… ▽ More We derive conditions on the products of stochastic matrices guaranteeing the existence of a unique limit invariant distribution. Belying our approach is the hereby defined notion of restricted triangulated Laman graphs. The main idea is the following: to each triangle in the graph, we assign a stochastic matrix. Two matrices can be adjacent in a product only if their corresponding triangles share an edge in the graph. We provide an explicit formula for the limit invariant distribution of the product in terms of the individual stochastic matrices. △ Less

Submitted 1 November, 2020; originally announced November 2020.

MSC Class: 15B51; 40A20; 52C25; 60J05

Gradient Approximation and Multi-Variable Derivative-Free Optimization based on Non-Commutative Maps

Authors: Jan Feiling, Mohamed-Ali Belabbas, Christian Ebenbauer

Abstract: In this work, multi-variable derivative-free optimization algorithms for unconstrained optimization problems are developed. A novel procedure for approximating the gradient of multi-variable objective functions based on non-commutative maps is introduced. The procedure is based on the construction of an exploration sequence to specify where the objective function is evaluated and the definition of… ▽ More In this work, multi-variable derivative-free optimization algorithms for unconstrained optimization problems are developed. A novel procedure for approximating the gradient of multi-variable objective functions based on non-commutative maps is introduced. The procedure is based on the construction of an exploration sequence to specify where the objective function is evaluated and the definition of so-called gradient generating functions which are composed with the objective function such that the procedure mimics a gradient descent algorithm. Various theoretical properties of the proposed class of algorithms are investigated and numerical examples are presented. △ Less

Submitted 15 November, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: 25 pages; Matlab Toolbox attached. To view attachments, please download the files listed under "Ancillary Files"

On the structural stability of random systems

Authors: Mohamed Ali Belabbas, Artur Kirkoryan

Abstract: Understanding which system structure can sustain stable dynamics is a fundamental step in the design and analysis of large scale dynamical systems. Towards this goal, we investigate here the structural stability of systems with a random structure. As is usually done, we describe the system's structure through a graph describing interactions between parts of the system, and we call a graph stable i… ▽ More Understanding which system structure can sustain stable dynamics is a fundamental step in the design and analysis of large scale dynamical systems. Towards this goal, we investigate here the structural stability of systems with a random structure. As is usually done, we describe the system's structure through a graph describing interactions between parts of the system, and we call a graph stable if it describe a structurally stable system, i.e., a system which can sustain stable dynamics. We then consider two Erdos-Renyi random graph models, and we obtain for each the probability that a graph sampled from these models is structurally stable. △ Less

Submitted 9 March, 2020; originally announced March 2020.

The Affine Geometric Heat Flow and Motion Planning for Dynamic Systems

Authors: Shenyu Liu, Yinai Fan, Mohamed Ali Belabbas

Abstract: We present a new method for motion planning for control systems. The method aims to provide a natural computational framework in which a broad class of motion planning problems can be cast; including problems with holonomic and non-holonomic constraints, drift dynamics, obstacle constraints and constraints on the magnitudes of the applied controls. The method, which finds its inspiration in recent… ▽ More We present a new method for motion planning for control systems. The method aims to provide a natural computational framework in which a broad class of motion planning problems can be cast; including problems with holonomic and non-holonomic constraints, drift dynamics, obstacle constraints and constraints on the magnitudes of the applied controls. The method, which finds its inspiration in recent work on the so-called geometric heat flows and curve shortening flows, relies on a hereby introduced partial differential equation, which we call the affine geometric heat flow, which evolves an arbitrary differentiable path joining initial to final state in configuration space to a path that meets the constraints imposed on the problem. From this path, controls to be applied on the system can be extracted. We provide conditions guaranteeing that the controls extracted will drive the system arbitrarily close to the desired final state, while meeting the imposed constraints and illustrate the method on three canonical examples. △ Less

Submitted 6 May, 2019; originally announced May 2019.

A Homotopy Method for Motion Planning

Authors: Shenyu Liu, Mohamed Ali Belabbas

Abstract: We propose a novel method for motion planning and illustrate its implementation on several canonical examples. The core novel idea underlying the method is to define a metric for which a path of minimal length is an admissible path, that is path that respects the various constraints imposed by the environment and the physics of the system on its dynamics. To be more precise, our method takes as in… ▽ More We propose a novel method for motion planning and illustrate its implementation on several canonical examples. The core novel idea underlying the method is to define a metric for which a path of minimal length is an admissible path, that is path that respects the various constraints imposed by the environment and the physics of the system on its dynamics. To be more precise, our method takes as input a control system with holonomic and non-holonomic constraints, an initial and final point in configuration space, a description of obstacles to avoid, and an initial trajectory for the system, called a sketch. This initial trajectory does not need to meet the constraints, except for the obstacle avoidance constraints. The constraints are then encoded in an inner product, which is used to deform (via a homotopy) the initial sketch into an admissible trajectory from which controls realizing the transfer can be obtained. We illustrate the method on various examples, including vehicle motion with obstacles and a two-link manipulator problem. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Controlling and Stabilizing a Rigid Formation Using a Few Agents

Authors: Xudong Chen, M. -A. Belabbas, Tamer Basar

Abstract: We show in this paper that a small subset of agents of a formation of n agents in Euclidean space can control the position and orientation of the entire formation. We consider here formations tasked with maintaining inter-agent distances at prescribed values. It is known that when the inter-agent distances specified can be realized as the edges of a rigid graph, there is a finite number of possibl… ▽ More We show in this paper that a small subset of agents of a formation of n agents in Euclidean space can control the position and orientation of the entire formation. We consider here formations tasked with maintaining inter-agent distances at prescribed values. It is known that when the inter-agent distances specified can be realized as the edges of a rigid graph, there is a finite number of possible configurations of the agents that satisfy the distance constraints, up to rotations and translations of the entire formation. We show here that under mild conditions on the type of control used by the agents, a subset of them forming a clique can work together to control the position and orientation of the formation as a whole. Mathematically, we investigate the effect of certain allowable perturbations of a nominal dynamics of the formation system. In particular, we show that any such perturbation leads to a rigid motion of the entire formation. Furthermore, we show that the map which assigns to a perturbation the infinitesimal generator of the corresponding rigid motion is locally surjective. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Voltage Graphs and Cluster Consensus with Point Group Symmetries

Authors: Xudong Chen, Mohamed-Ali Belabbas, Tamer Basar

Abstract: A cluster consensus system is a multi-agent system in which the autonomous agents communicate to form multiple clusters, with each cluster of agents asymptotically converging to the same clustering point. We introduce in this paper a special class of cluster consensus dynamics, termed the $G$-clustering dynamics for $G$ a point group, whereby the autonomous agents can form as many as $|G|$ cluster… ▽ More A cluster consensus system is a multi-agent system in which the autonomous agents communicate to form multiple clusters, with each cluster of agents asymptotically converging to the same clustering point. We introduce in this paper a special class of cluster consensus dynamics, termed the $G$-clustering dynamics for $G$ a point group, whereby the autonomous agents can form as many as $|G|$ clusters, and moreover, the associated $|G|$ clustering points exhibit a geometric symmetry induced by the point group. The definition of a $G$-clustering dynamics relies on the use of the so-called voltage graph. We recall that a $G$-voltage graph is comprised of two elements---one is a directed graph (digraph), and the other is a map assigning elements of a group~$G$ to the edges of the digraph. For example, in the case when $G = \{1, -1\}$, i.e., a cyclic group of order~$2$, a voltage graph is nothing but a signed graph. A $G$-clustering dynamics can then be viewed as a generalization of the so-called Altafini's model, which was originally defined over a signed graph, by defining the dynamics over a voltage graph. One of the main contributions of this paper is to identify a necessary and sufficient condition for the exponential convergence of a $G$-clustering dynamics. Various properties of voltage graphs that are necessary for establishing the convergence result are also investigated, some of which might be of independent interest in topological graph theory. △ Less

Submitted 24 January, 2016; originally announced January 2016.

Exponential Convergence of the Discrete-Time Altafini Model

Authors: Ji Liu, Xudong Chen, Tamer Basar, Mohamed Ali Belabbas

Abstract: This paper considers the discrete-time version of Altafini's model for opinion dynamics in which the interaction among a group of agents is described by a time-varying signed digraph. Prompted by an idea from [1], exponential convergence of the system is studied using a graphical approach. Necessary and sufficient conditions for exponential convergence with respect to each possible type of limit s… ▽ More This paper considers the discrete-time version of Altafini's model for opinion dynamics in which the interaction among a group of agents is described by a time-varying signed digraph. Prompted by an idea from [1], exponential convergence of the system is studied using a graphical approach. Necessary and sufficient conditions for exponential convergence with respect to each possible type of limit states are provided. Specifically, under the assumption of repeatedly jointly strong connectivity, it is shown that (1) a certain type of two-clustering will be reached exponentially fast for almost all initial conditions if, and only if, the sequence of signed digraphs is repeatedly jointly structurally balanced corresponding to that type of two-clustering; (2) the system will converge to zero exponentially fast for all initial conditions if, and only if, the sequence of signed digraphs is repeatedly jointly structurally unbalanced. An upper bound on the convergence rate is also provided. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Geometric methods for optimal sensor design

Authors: M. -A. Belabbas

Abstract: An observer is an estimator of the state of a dynamical system from noisy sensor measurements. The need for observers is ubiquitous, with applications in fields ranging from engineering to biology to economics. The most widely used observer is the Kalman filter, which is known to be the optimal estimator of the state when the noise is additive and Gaussian. Because its performance is limited by th… ▽ More An observer is an estimator of the state of a dynamical system from noisy sensor measurements. The need for observers is ubiquitous, with applications in fields ranging from engineering to biology to economics. The most widely used observer is the Kalman filter, which is known to be the optimal estimator of the state when the noise is additive and Gaussian. Because its performance is limited by the sensors to which it is paired, it is natural to seek an optimal sensor for the Kalman filter. The problem is however not convex and, as a consequence, many ad hoc methods have been used over the years to design sensors. We show in this paper how to characterize and obtain the optimal sensor for the Kalman filter. Precisely, we exhibit a positive definite operator which optimal sensors have to commute with. We furthermore provide a gradient flow to find optimal sensors, and prove the convergence of this gradient flow to the unique minimum in a broad range of applications. This optimal sensor yields the lowest possible estimation error for measurements with a fixed signal to noise ratio. The results presented here also apply to the dual problem of optimal actuator design. △ Less

Submitted 6 July, 2015; v1 submitted 19 March, 2015; originally announced March 2015.

Global Stabilization of Triangulated Formations

Authors: Xudong Chen, M. -A. Belabbas, Tamer Başar

Abstract: Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the inter-agent distance conditions. It is well known that when the distance conditions are defined by a rigid graph, there is a finite number of target configurations m… ▽ More Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the inter-agent distance conditions. It is well known that when the distance conditions are defined by a rigid graph, there is a finite number of target configurations modulo rotations and translations of the entire formation. We can thus recast the objective of formation control as stabilizing one or many of the target configurations. A major issue is that such control laws will also have equilibria corresponding to configurations which do not meet the desired inter-agent distance conditions; we refer to these as undesirable configurations. The undesirable configurations become problematic if they are also stable. Designing decentralized control laws whose stable equilibria are all target configurations in the case of a general rigid graph is still an open problem. We provide here a new point of view on this problem, and propose a partial solution by exhibiting a class of rigid graphs and control laws for which all stable equilibria are target configurations. △ Less

Submitted 19 May, 2016; v1 submitted 22 December, 2014; originally announced December 2014.

Formation Control with Triangulated Laman Graphs

Authors: Xudong Chen, M. -A. Belabbas, Tamer Basar

Abstract: Formation control deals with the design of decentralized control laws that stabilize agents at prescribed distances from each other. We call any configuration that satisfies the inter-agent distance conditions a target configuration. It is well known that when the distance conditions are defined via a rigid graph, there is a finite number of target configurations modulo rotations and translations.… ▽ More Formation control deals with the design of decentralized control laws that stabilize agents at prescribed distances from each other. We call any configuration that satisfies the inter-agent distance conditions a target configuration. It is well known that when the distance conditions are defined via a rigid graph, there is a finite number of target configurations modulo rotations and translations. We can thus recast the objective of formation control as stabilizing one or many of the target configurations. A major issue is that such control laws will also have equilibria corresponding to configurations which do not meet the desired inter-agent distance conditions; we refer to these as undesired equilibria. The undesired equilibria become problematic if they are also stable. Designing decentralized control laws whose stable equilibria are all target configurations in the case of a general rigid graph is still an open problem. We propose here a partial solution to this problem by exhibiting a class of rigid graphs and control laws for which all stable equilibria are target configurations. △ Less

Submitted 27 March, 2015; v1 submitted 22 December, 2014; originally announced December 2014.

Sparse Stable Matrices

Authors: M. -A . Belabbas

Abstract: In the design of decentralized networked systems, it is useful to know whether a given network topology can sustain stable dynamics. We consider a basic version of this problem here: given a vector space of sparse real matrices, does it contain a stable (Hurwitz) matrix? Said differently, is a feedback channel (corresponding to a non-zero entry) necessary for stabilization or can it be done withou… ▽ More In the design of decentralized networked systems, it is useful to know whether a given network topology can sustain stable dynamics. We consider a basic version of this problem here: given a vector space of sparse real matrices, does it contain a stable (Hurwitz) matrix? Said differently, is a feedback channel (corresponding to a non-zero entry) necessary for stabilization or can it be done without. We provide in this paper a set of necessary and a set of sufficient conditions for the existence of stable matrices in a vector space of sparse matrices. We further prove some properties of the set of sparse matrix spaces that contain Hurwitz matrices. The conditions we exhibit are most easily stated in the language of graph theory, which we thus adopt in this paper. △ Less

Submitted 11 April, 2013; originally announced April 2013.

Comments: 19 pages

Singularities and global stability of decentralized formations in the plane

Authors: M. -A. Belabbas

Abstract: Formation control is concerned with the design of control laws that stabilize agents at given distances from each other, with the constraint that an agent's dynamics can depend only on a subset of other agents. When the information flow graph of the system, which encodes this dependency, is acyclic, simple control laws are known to globally stabilize the system, save for a set of measure zero of i… ▽ More Formation control is concerned with the design of control laws that stabilize agents at given distances from each other, with the constraint that an agent's dynamics can depend only on a subset of other agents. When the information flow graph of the system, which encodes this dependency, is acyclic, simple control laws are known to globally stabilize the system, save for a set of measure zero of initial conditions. The situation has proven to be more complex when the graph contains cycles; in fact, with the exception of the cyclic formation with three agents, which is stabilized with laws similar to the ones of the acyclic case, very little is known about formations with cycles. Moreover, all of the control laws used in the acyclic case fail at stabilizing more complex cyclic formations. In this paper, we explain why this is the case and show that a large class of planar formations with cycles cannot be globally stabilized, even up to sets of measure zero of initial conditions. The approach rests on relating the information flow to singularities in the dynamics of formations. These singularities are in turn shown to make the existence of stable configurations that do not satisfy the prescribed edge lengths generic. △ Less

Submitted 3 December, 2011; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: 33 pages, 11 figures, submitted for publication. Replaces and updates the second part of arXiv:1101.2421

Known unknowns, unknown unknowns and information flow: new concepts in decentralized control

Authors: M. -A. Belabbas

Abstract: We introduce and analyze a model for decentral- ized control. The model is broad enough to include problems such as formation control, decentralization of the power grid and flocking. The objective of this paper is twofold. First, we show how the issue of decentralization goes beyond having agents know only part of the state of the system. In fact, we argue that a complete theory of decentralizati… ▽ More We introduce and analyze a model for decentral- ized control. The model is broad enough to include problems such as formation control, decentralization of the power grid and flocking. The objective of this paper is twofold. First, we show how the issue of decentralization goes beyond having agents know only part of the state of the system. In fact, we argue that a complete theory of decentralization should take into account the fact that agents can be made aware of only part of the global objective of the ensemble. A second contribution of this paper is the introduction of a rigorous definition of information flow for a decentralized system: we show how to attach to a general nonlinear decentralized system a unique information flow graph that is an invariant of the system. In order to address some finer issues in decentralized system, such as the existence of so-called "information loops", we further refine the information flow graph to a simplicial complex-more precisely, a Whitney complex. We illustrate the main results on a variety of examples. △ Less

Submitted 5 October, 2011; originally announced October 2011.

Mathematical aspects of decentralized control of formations in the plane

Authors: M. -A. Belabbas

Abstract: In formation control, an ensemble of autonomous agents is required to stabilize at a given configuration in the plane, doing so while agents are allowed to observe only a subset of the ensemble. As such, formation control provides a rich class of problems for decentralized control methods and techniques. Additionally, it can be used to model a wide variety of scenarios where decentralization is a… ▽ More In formation control, an ensemble of autonomous agents is required to stabilize at a given configuration in the plane, doing so while agents are allowed to observe only a subset of the ensemble. As such, formation control provides a rich class of problems for decentralized control methods and techniques. Additionally, it can be used to model a wide variety of scenarios where decentralization is a main characteristic. We introduce here some mathematical background necessary to address questions of stability in decentralized control in general and formation control in particular. This background includes an extension of the notion of global stability to systems evolving on manifolds and a notion of robustness of feedback control for nonlinear systems. We then formally introduce the class of formation control problems, and summarize known results. △ Less

Submitted 5 October, 2011; originally announced October 2011.

Comments: 10 pages

Decentralized Formation Control Part II: Algebraic aspects of information flow and singularities

Authors: M. -A. Belabbas

Abstract: Given an ensemble of autonomous agents and a task to achieve cooperatively, how much do the agents need to know about the state of the ensemble and about the task in order to achieve it? We introduce new methods to understand these aspects of decentralized control. Precisely, we introduce a framework to capture what agents with partial information can achieve by cooperating and illustrate its use… ▽ More Given an ensemble of autonomous agents and a task to achieve cooperatively, how much do the agents need to know about the state of the ensemble and about the task in order to achieve it? We introduce new methods to understand these aspects of decentralized control. Precisely, we introduce a framework to capture what agents with partial information can achieve by cooperating and illustrate its use by deriving results about global stabilization of directed formations. This framework underscores the need to differentiate the knowledge an agent has about the task to accomplish from the knowledge an agent has about the current state of the system. The control of directed formations has proven to be more difficult than initially thought, as is exemplified by the lack of global result for formations with n \geq 4 agents. We established in part I that the space of planar formations has a non-trivial global topology. We propose here an extension of the notion of global stability which, because it acknowledges this non-trivial topology, can be applied to the study of formation control. We then develop a framework that reduces the question of whether feedback with partial information can stabilize the system to whether two sets of functions intersect. We apply this framework to the study of a directed formation with n = 4 agents and show that the agents do not have enough information to implement locally stabilizing feedback laws. Additionally, we show that feedback laws that respect the information flow cannot stabilize a target configuration without stabilizing other, unwanted configurations. △ Less

Submitted 14 January, 2011; v1 submitted 12 January, 2011; originally announced January 2011.

Comments: Part 2 of a 2 parts paper. Preprint. To be submitted

Decentralized Formation Control Part I: Geometric Aspects

Authors: M. -A. Belabbas

Abstract: In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with multiple agents corresponding to the nodes of a graph whose edges encode the information that is available to the agents. We address the question of whether the information flow defined by the graph is sufficient for the… ▽ More In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with multiple agents corresponding to the nodes of a graph whose edges encode the information that is available to the agents. We address the question of whether the information flow defined by the graph is sufficient for the agents to accomplish a given task. Formation control is concerned with problems in which agents are required to stabilize at a given distance from other agents. In this context, the graph of a formation encodes both the information flow and the distance constraints, by fixing the lengths of the edges. A formation is said to be rigid if it cannot be continuously deformed with the distance constraints satisfied; a formation is minimally rigid if no distance constraint can be omitted without the formation losing its rigidity. Hence, the graph underlying minimally rigid formation provides just enough constraints to yield a rigid formation. An open question we will settle is whether the information flow afforded by a minimally rigid graph is sufficient to insure global stability. We show that the answer is negative in the case of directed information flow. In this first part, we establish basic properties of formation control in the plane. Formations and the associated control problems are defined modulo rigid transformations. This fact has strong implications on the geometry of the space of formations and on the feedback laws, since they need to respect this invariance. We study both aspects here. We show that the space of frameworks of n agents is CP(n-2) x (0,\infty). We then illustrate how the non-trivial topology of this space relates to the parametrization of the formation by inter-agent distances. △ Less

Submitted 14 January, 2011; v1 submitted 12 January, 2011; originally announced January 2011.

Comments: Part 1 of 2 parts paper. Preprint. To be submitted