-
Forced Symmetric Formation Control
Authors:
Daniel Zelazo,
Shin-ichi Tanigawa,
Bernd Schulze
Abstract:
This work considers the distance constrained formation control problem with an additional constraint requiring that the formation exhibits a specified spatial symmetry. We employ recent results from the theory of symmetry-forced rigidity to construct an appropriate potential function that leads to a gradient dynamical system driving the agents to the desired formation. We show that only…
▽ More
This work considers the distance constrained formation control problem with an additional constraint requiring that the formation exhibits a specified spatial symmetry. We employ recent results from the theory of symmetry-forced rigidity to construct an appropriate potential function that leads to a gradient dynamical system driving the agents to the desired formation. We show that only $(1+1/|Γ|)n$ edges are sufficient to implement the control strategy when there are $n$ agents and the underlying symmetry group is $Γ$. This number is considerably smaller than what is typically required from classic rigidity-theory based strategies ($2n-3$ edges). We also provide an augmented control strategy that ensures the agents can converge to a formation with respect to an arbitrary centroid. Numerous numerical examples are provided to illustrate the main results.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
A Robustness Analysis to Structured Channel Tampering Over Secure-by-Design Consensus Networks
Authors:
Marco Fabris,
Daniel Zelazo
Abstract:
This work addresses multi-agent consensus networks where adverse attackers affect the convergence performances of the protocol by manipulating the edge weights. We generalize (Fabris and Zelazo, 2022) and provide guarantees on the agents' agreement in the presence of attacks on multiple links in the network. A stability analysis is conducted to show the robustness to channel tampering in the scena…
▽ More
This work addresses multi-agent consensus networks where adverse attackers affect the convergence performances of the protocol by manipulating the edge weights. We generalize (Fabris and Zelazo, 2022) and provide guarantees on the agents' agreement in the presence of attacks on multiple links in the network. A stability analysis is conducted to show the robustness to channel tampering in the scenario where part of the codeword, corresponding to the value of the edge weights, is corrupted. Exploiting the built-in objective coding, we show how to compensate the conservatism that may emerge because of multiple threats in exchange for higher encryption capabilities. Numerical examples related to semi-autonomous networks are provided.
△ Less
Submitted 13 December, 2023; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Characterizing bearing equivalence in directed graphs
Authors:
Zhiyong Sun,
Shiyu Zhao,
Daniel Zelazo
Abstract:
In this paper, we study bearing equivalence in directed graphs. We first give a strengthened definition of bearing equivalence based on the \textit{kernel equivalence} relationship between bearing rigidity matrix and bearing Laplacian matrix. We then present several conditions to characterize bearing equivalence for both directed acyclic and cyclic graphs. These conditions involve the spectrum and…
▽ More
In this paper, we study bearing equivalence in directed graphs. We first give a strengthened definition of bearing equivalence based on the \textit{kernel equivalence} relationship between bearing rigidity matrix and bearing Laplacian matrix. We then present several conditions to characterize bearing equivalence for both directed acyclic and cyclic graphs. These conditions involve the spectrum and null space of the associated bearing Laplacian matrix for a directed bearing formation. For directed acyclic graphs, all eigenvalues of the associated bearing Laplacian are real and nonnegative, while for directed graphs containing cycles, the bearing Laplacian can have eigenvalues with negative real parts. Several examples of bearing equivalent and bearing non-equivalent formations are given to illustrate these conditions.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Cluster Assignment in Multi-Agent Systems : Sparsity Bounds and Fault Tolerance
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
We study cluster assignment in homogeneous diffusive multi-agent networks. Given the number of clusters and agents within each cluster, we design the network graph ensuring the system will converge to the prescribed cluster configuration. Using recent results linking clustering and symmetries, we show that it is possible to design an oriented graph for which the action of the automorphism group of…
▽ More
We study cluster assignment in homogeneous diffusive multi-agent networks. Given the number of clusters and agents within each cluster, we design the network graph ensuring the system will converge to the prescribed cluster configuration. Using recent results linking clustering and symmetries, we show that it is possible to design an oriented graph for which the action of the automorphism group of the graph has orbits of predetermined sizes, guaranteeing the network will converge to the prescribed cluster configuration. We provide bounds on the number of edges needed to construct these graphs along with a constructive approach for their generation. We also consider the robustness of the clustering process under agent malfunction.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
On the Internal Stability of Diffusively Coupled Multi-Agent Systems and the Dangers of Cancel Culture
Authors:
Gal Barkai,
Leonid Mirkin,
Daniel Zelazo
Abstract:
We study internal stability in the context of diffusively-coupled control architectures, common in multi-agent systems (i.e. the celebrated consensus protocol), for linear time-invariant agents. We derive a condition under which the system can not be stabilized by any controller from that class. In the finite-dimensional case the condition states that diffusive controllers cannot stabilize agents…
▽ More
We study internal stability in the context of diffusively-coupled control architectures, common in multi-agent systems (i.e. the celebrated consensus protocol), for linear time-invariant agents. We derive a condition under which the system can not be stabilized by any controller from that class. In the finite-dimensional case the condition states that diffusive controllers cannot stabilize agents that share common unstable dynamics, directions included. This class always contains the group of homogeneous unstable agents, like integrators. We argue that the underlying reason is intrinsic cancellations of unstable agent dynamics by such controllers, even static ones, where directional properties play a key role. The intrinsic lack of internal stability explains the notorious behavior of some distributed control protocols when affected by measurement noise or exogenous disturbances.
△ Less
Submitted 9 May, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Cluster Assignment in Multi-Agent Systems
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
We study cluster assignment in multi-agent networks. We consider homogeneous diffusive networks, and focus on design of the graph that ensures the system will converge to a prescribed cluster configuration, i.e., specifying the number of clusters and agents within each cluster. Leveraging recent results from cluster synthesis, we show that it is possible to design an oriented graph such that the a…
▽ More
We study cluster assignment in multi-agent networks. We consider homogeneous diffusive networks, and focus on design of the graph that ensures the system will converge to a prescribed cluster configuration, i.e., specifying the number of clusters and agents within each cluster. Leveraging recent results from cluster synthesis, we show that it is possible to design an oriented graph such that the action of the automorphism group of the graph has orbits of predetermined sizes, guaranteeing that the network will converge to the prescribed cluster configuration. We provide upper and lower bounds on the number of edges that are needed to construct these graphs along with a constructive approach for generating these graphs. We support our analysis with some numerical examples.
△ Less
Submitted 13 March, 2022;
originally announced March 2022.
-
Bearing-based Autonomous Communication Relay Positioning under Field-of-View Constraints
Authors:
Marco Fabris,
Daniel Zelazo
Abstract:
This paper investigates the problem of communication relay establishment for multiple agent-based mobile units using a relay vehicle. The objective is to drive autonomously the relay vehicle to attain a position for communication relay establishment while maintaining the other vehicles inside of its field-of-view. A bearing-based control law is proposed for the relay drone and designed for both si…
▽ More
This paper investigates the problem of communication relay establishment for multiple agent-based mobile units using a relay vehicle. The objective is to drive autonomously the relay vehicle to attain a position for communication relay establishment while maintaining the other vehicles inside of its field-of-view. A bearing-based control law is proposed for the relay drone and designed for both single and multiple agents. We also provide a collision avoidance scheme that ensures no collisions between the relay and other agents. Numerical simulations and experimental results are reported as well to show the efficacy of the proposed approach.
△ Less
Submitted 18 February, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Gradient Free Cooperative Seeking of a Moving Source
Authors:
Elad Michael,
Chris Manzie,
Tony A. Wood,
Daniel Zelazo,
Iman Shames
Abstract:
In this paper, we consider the optimisation of a time varying scalar field by a network of agents with no gradient information. We propose a composite control law, blending extremum seeking with formation control in order to converge to the extrema faster by minimising the gradient estimation error. By formalising the relationship between the formation and the gradient estimation error, we provide…
▽ More
In this paper, we consider the optimisation of a time varying scalar field by a network of agents with no gradient information. We propose a composite control law, blending extremum seeking with formation control in order to converge to the extrema faster by minimising the gradient estimation error. By formalising the relationship between the formation and the gradient estimation error, we provide a novel analysis to prove the convergence of the network to a bounded neighbourhood of the field's time varying extrema. We assume the time-varying field satisfies the Polyak Lojasiewicz inequality and the gradient is Lipschitz continuous at each iteration. Numerical studies and comparisons are provided to support the theoretical results.
△ Less
Submitted 30 June, 2022; v1 submitted 2 January, 2022;
originally announced January 2022.
-
Product Form of Projection-Based Model Reduction and its Application to Multi-Agent Systems
Authors:
Noam Leiter,
Daniel Zelazo
Abstract:
Orthogonal projection-based reduced order models (PROM) are the output of widely-used model reduction methods. In this work, a novel product form is derived for the reduction error system of these reduced models, and it is shown that any such PROM can be obtained from a sequence of 1-dimensional projection reductions. Investigating the error system product form, we then define interface-invariant…
▽ More
Orthogonal projection-based reduced order models (PROM) are the output of widely-used model reduction methods. In this work, a novel product form is derived for the reduction error system of these reduced models, and it is shown that any such PROM can be obtained from a sequence of 1-dimensional projection reductions. Investigating the error system product form, we then define interface-invariant PROMs, model order reductions with projection-invariant input and output matrices, and it is shown that for such PROMs the error product systems are strictly proper. Furthermore, exploiting this structure, an analytic $\mathcal{H}_{\infty}$ reduction error bound is obtained and an $\mathcal{H}_{\infty}$ bound optimization problem is defined. Interface-invariant reduced models are natural to graph-based model reduction of multi-agent systems where subsets of agents function as the input and output of the system. In the second part of this study, graph contractions are used as a constructive solution approach to the $\mathcal{H}_{\infty}$ bound optimization problem for multi-agent systems. Edge-based contractions are then utilized in a greedy-edge reduction algorithm and are demonstrated for the model reduction of a first-order Laplacian controlled consensus protocol.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
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.
-
Secure Consensus via Objective Coding: Robustness Analysis to Channel Tampering
Authors:
Marco Fabris,
Daniel Zelazo
Abstract:
This work mainly addresses continuous-time multiagent consensus networks where an adverse attacker affects the convergence performances of said protocol. In particular, we develop a novel secure-by-design approach in which the presence of a network manager monitors the system and broadcasts encrypted tasks (i.e., hidden edge weight assignments) to the agents involved. Each agent is then expected t…
▽ More
This work mainly addresses continuous-time multiagent consensus networks where an adverse attacker affects the convergence performances of said protocol. In particular, we develop a novel secure-by-design approach in which the presence of a network manager monitors the system and broadcasts encrypted tasks (i.e., hidden edge weight assignments) to the agents involved. Each agent is then expected to decode the received codeword containing data on the task through appropriate decoding functions by leveraging advanced security principles, such as objective coding and information localization. Within this framework, a stability analysis is conducted for showing the robustness to channel tampering in the scenario where part of the codeword corresponding to a single link in the system is corrupted. A tradeoff between objective coding capability and network robustness is also pointed out. To support these novelties, an application example on decentralized estimation is provided. Moreover, an investigation of the robust agreement is as well extended in the discrete-time domain. Further numerical simulations are given to validate the theoretical results in both the time domains.
△ Less
Submitted 5 June, 2022; v1 submitted 9 July, 2021;
originally announced July 2021.
-
Economic Dispatch of a Single Micro-Gas Turbine Under CHP Operation with Uncertain Demands
Authors:
Miel Sharf,
Iliya Romm,
Michael Palman,
Daniel Zelazo,
Beni Cukurel
Abstract:
This work considers the economic dispatch problem for a single micro-gas turbine, governed by a discrete state-space model, under combined heat and power (CHP) operation and coupled with a utility. If the exact power and heat demands are given, existing algorithms can be used to give a quick optimal solution to the economic dispatch problem. However, in practice, the power and heat demands can not…
▽ More
This work considers the economic dispatch problem for a single micro-gas turbine, governed by a discrete state-space model, under combined heat and power (CHP) operation and coupled with a utility. If the exact power and heat demands are given, existing algorithms can be used to give a quick optimal solution to the economic dispatch problem. However, in practice, the power and heat demands can not be known deterministically, but are rather predicted, resulting in an estimate and a bound on the estimation error. We consider the case in which the power and heat demands are unknown, and present a robust optimization-based approach for scheduling the turbine's heat and power generation, in which the demand is assumed to be inside an uncertainty set. We consider two different choices of the uncertainty set relying on the $\ell^\infty$- and the $\ell^1$-norms, each with different advantages, and consider the associated robust economic dispatch problems. We recast these as robust shortest-path problems on appropriately defined graphs. For the first choice, we provide an exact linear-time algorithm for the solution of the robust shortest-path problem, and for the second, we provide an exact quadratic-time algorithm and an approximate linear-time algorithm. The efficiency and usefulness of the algorithms are demonstrated using a detailed case study that employs real data on energy demand profiles and electricity tariffs.
△ Less
Submitted 4 November, 2021; v1 submitted 27 February, 2021;
originally announced March 2021.
-
Optimization with Zeroth-Order Oracles in Formation
Authors:
Elad Michael,
Daniel Zelazo,
Tony A. Wood,
Chris Manzie,
Iman Shames
Abstract:
In this paper, we consider the optimisation of time varying functions by a network of agents with no gradient information. The proposed a novel method to estimate the gradient at each agent's position using only neighbour information. The gradient estimation is coupled with a formation controller, to minimise gradient estimation error and prevent agent collisions. Convergence results for the algor…
▽ More
In this paper, we consider the optimisation of time varying functions by a network of agents with no gradient information. The proposed a novel method to estimate the gradient at each agent's position using only neighbour information. The gradient estimation is coupled with a formation controller, to minimise gradient estimation error and prevent agent collisions. Convergence results for the algorithm are provided for functions which satisfy the Polyak-Lojasiewicz inequality. Simulations and numerical results are provided to support the theoretical results.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Edge-Matching Graph Contractions and their Interlacing Properties
Authors:
Noam Leiter,
Daniel Zelazo
Abstract:
For a given graph $\mathcal{G}$ of order $n$ with $m$ edges, and a real symmetric matrix associated to the graph, $M\left(\mathcal{G}\right)\in\mathbb{R}^{n\times n}$, the interlacing graph reduction problem is to find a graph $\mathcal{G}_{r}$ of order $r<n$ such that the eigenvalues of $M\left(\mathcal{G}_{r}\right)$ interlace the eigenvalues of $M\left(\mathcal{G}\right)$. Graph contractions ov…
▽ More
For a given graph $\mathcal{G}$ of order $n$ with $m$ edges, and a real symmetric matrix associated to the graph, $M\left(\mathcal{G}\right)\in\mathbb{R}^{n\times n}$, the interlacing graph reduction problem is to find a graph $\mathcal{G}_{r}$ of order $r<n$ such that the eigenvalues of $M\left(\mathcal{G}_{r}\right)$ interlace the eigenvalues of $M\left(\mathcal{G}\right)$. Graph contractions over partitions of the vertices are widely used as a combinatorial graph reduction tool. In this study, we derive a graph reduction interlacing theorem based on subspace map**s and the minmax theory. We then define a class of edge-matching graph contractions and show how two types of edge-matching contractions provide Laplacian and normalized Laplacian interlacing. An $\mathcal{O}\left(mn\right)$ algorithm is provided for finding a normalized Laplacian interlacing contraction and an $\mathcal{O}\left(n^{2}+nm\right)$ algorithm is provided for finding a Laplacian interlacing contraction.
△ Less
Submitted 9 August, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
Passivity theory is one of the cornerstones of control theory, as it allows one to prove stability of a large-scale system while treating each component separately. In practice, many systems are not passive, and must be passivized in order to be included in the framework of passivity theory. Input-output transformations are the most general tool for passivizing systems, generalizing output-feedbac…
▽ More
Passivity theory is one of the cornerstones of control theory, as it allows one to prove stability of a large-scale system while treating each component separately. In practice, many systems are not passive, and must be passivized in order to be included in the framework of passivity theory. Input-output transformations are the most general tool for passivizing systems, generalizing output-feedback and input-feedthrough. In this paper, we classify all possible input-output transformations that map a system with given shortage of passivity to a system with prescribed excess of passivity. We do so by using the connection between passivity theory and cones for SISO systems, and using the S-lemma for MIMO systems. We also present several possible applications of our results, including simultaneous passivation of multiple systems or with respect to multiple equilibria, as well as optimization problems such as $\mathcal{L}_2$-gain minimization. We also exhibit our results in a case study about synchronization in a network of non-passive faulty agents.
△ Less
Submitted 5 May, 2021; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
Authors:
Christos K. Verginis,
Daniel Zelazo,
Dimos V. Dimarogonas
Abstract:
This paper considers the integration of rigid cooperative manipulation with rigidity theory. Motivated by rigid models of cooperative manipulation systems, i.e., where the gras** contacts are rigid, we introduce first the notion of bearing and distance rigidity for graph frameworks in SE(3). Next, we associate the nodes of these frameworks to the robotic agents of rigid cooperative manipulation…
▽ More
This paper considers the integration of rigid cooperative manipulation with rigidity theory. Motivated by rigid models of cooperative manipulation systems, i.e., where the gras** contacts are rigid, we introduce first the notion of bearing and distance rigidity for graph frameworks in SE(3). Next, we associate the nodes of these frameworks to the robotic agents of rigid cooperative manipulation schemes and we express the object-agent interaction forces by using the graph rigidity matrix, which encodes the infinitesimal rigid body motions of the system. Moreover, we show that the associated cooperative manipulation grasp matrix is related to the rigidity matrix via a range-nullspace relation, based on which we provide novel results on the relation between the arising interaction and internal forces and consequently on the energy-optimal force distribution on a cooperative manipulation system. Finally, simulation results on a realistic environment enhance the validity of the theoretical findings.
△ Less
Submitted 25 April, 2022; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Monitoring Link Faults in Nonlinear Diffusively-coupled Networks
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
Fault detection and isolation is an area of engineering dealing with designing on-line protocols for systems that allow one to identify the existence of faults, pinpoint their exact location, and overcome them. We consider the case of multi-agent systems, where faults correspond to the disappearance of links in the underlying graph, simulating a communication failure between the corresponding agen…
▽ More
Fault detection and isolation is an area of engineering dealing with designing on-line protocols for systems that allow one to identify the existence of faults, pinpoint their exact location, and overcome them. We consider the case of multi-agent systems, where faults correspond to the disappearance of links in the underlying graph, simulating a communication failure between the corresponding agents. We study the case in which the agents and controllers are maximal equilibrium-independent passive (MEIP), and use the known connection between steady-states of these multi-agent systems and network optimization theory. We first study asymptotic methods of differentiating the faultless system from its faulty versions by studying their steady-state outputs. We explain how to apply the asymptotic differentiation to detect and isolate communication faults, with graph-theoretic guarantees on the number of faults that can be isolated, assuming the existence of a "convergence assertion protocol", a data-driven method of asserting that a multi-agent system converges to a conjectured limit. We then construct two data-driven model-based convergence assertion protocols. We demonstrate our results by a case study.
△ Less
Submitted 14 July, 2020; v1 submitted 9 August, 2019;
originally announced August 2019.
-
Model-Free Practical Cooperative Control for Diffusively Coupled Systems
Authors:
Miel Sharf,
Anne Koch,
Daniel Zelazo,
Frank Allgöwer
Abstract:
In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an $ε$-neighborhood of the desired formation. The controller is comprised of a fixed controller with an adjustable gain on each edge. Via passivity theory and network optimization we not only prove that there exists a gain attaining the desired formation control goal, b…
▽ More
In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an $ε$-neighborhood of the desired formation. The controller is comprised of a fixed controller with an adjustable gain on each edge. Via passivity theory and network optimization we not only prove that there exists a gain attaining the desired formation control goal, but we present a data-based method to find an upper bound on this gain. Furthermore, by allowing for additional experiments, the conservatism of the upper bound can be reduced via iterative sampling schemes. The introduced scheme is based on the assumption of passive systems, which we relax by discussing different methods for estimating the systems' passivity shortage, as well as applying transformations passivizing them. Finally, we illustrate the developed model-free cooperative control scheme with a case study.
△ Less
Submitted 4 April, 2021; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Network Identification for Diffusively-Coupled Systems with Minimal Time Complexity
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents. However, the theory for nonlinear agents using probing inputs is far less developed, relying on dynamics linearization, and thus cannot be applied to networks with non-smooth or discontinuous dynamics. We use global convergence pr…
▽ More
The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents. However, the theory for nonlinear agents using probing inputs is far less developed, relying on dynamics linearization, and thus cannot be applied to networks with non-smooth or discontinuous dynamics. We use global convergence properties of the network, which can be assured using passivity theory, to present a network identification method for nonlinear agents. We do so by linearizing the steady-state equations rather than the dynamics, achieving a sub-cubic time algorithm for network identification. We also study the problem of network identification from a complexity theory standpoint, showing that the presented algorithms are optimal in terms of time complexity. We demonstrate the presented algorithm in two case studies with discontinuous dynamics.
△ Less
Submitted 2 November, 2022; v1 submitted 11 March, 2019;
originally announced March 2019.
-
Network Feedback Passivation of Passivity-Short Multi-Agent Systems
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
In this paper, we propose a network-optimization framework for the analysis of multi-agent systems with passive-short agents. We consider the known connection between diffusively-coupled maximally equilibrium-independent passive systems, and network optimization, culminating in a pair of dual convex network optimization problems, whose minimizers are exactly the steady-states of the closed-loop sy…
▽ More
In this paper, we propose a network-optimization framework for the analysis of multi-agent systems with passive-short agents. We consider the known connection between diffusively-coupled maximally equilibrium-independent passive systems, and network optimization, culminating in a pair of dual convex network optimization problems, whose minimizers are exactly the steady-states of the closed-loop system. We propose a network-based regularization term to the network optimization problem and show that it results in a network-based feedback using only relative outputs. We prove that if the average of the passivity indices is positive, then we convexify the problem, passivize the agents, and that steady-states of the augmented system correspond to the minimizers of the regularized network optimization problem. We also suggest a hybrid approach, in which only a subset of agents sense their own output, and show that if the set is nonempty, then we can always achieve the same correspondence as above, regardless of the passivity indices. We demonstrate our results on a traffic model with non-passive agents and limited GNSS reception.
△ Less
Submitted 24 February, 2019;
originally announced February 2019.
-
Symmetry-Induced Clustering in Multi-Agent Systems using Network Optimization and Passivity
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
This work studies the effects of a weak notion of symmetry on diffusively-coupled multi-agent systems. We focus on networks comprised of agents and controllers which are maximally equilibrium independent passive, and show that these converge to a clustered steady-state, with clusters corresponding to certain symmetries of the system. Namely, clusters are computed using the notion of the exchangeab…
▽ More
This work studies the effects of a weak notion of symmetry on diffusively-coupled multi-agent systems. We focus on networks comprised of agents and controllers which are maximally equilibrium independent passive, and show that these converge to a clustered steady-state, with clusters corresponding to certain symmetries of the system. Namely, clusters are computed using the notion of the exchangeability graph. We then discuss homogeneous networks and the cluster synthesis problem, namely finding a graph and homogeneous controllers forcing the agents to cluster at prescribed values.
△ Less
Submitted 9 February, 2019;
originally announced February 2019.
-
A Unified Dissertation on Bearing Rigidity Theory
Authors:
Giulia Michieletto,
Angelo Cenedese,
Daniel Zelazo
Abstract:
This work focuses on the bearing rigidity theory, namely the branch of knowledge investigating the structural properties necessary for multi-element systems to preserve the inter-units bearings when exposed to deformations. The original contributions are twofold. The first one consists in the definition of a general framework for the statement of the principal definitions and results that are then…
▽ More
This work focuses on the bearing rigidity theory, namely the branch of knowledge investigating the structural properties necessary for multi-element systems to preserve the inter-units bearings when exposed to deformations. The original contributions are twofold. The first one consists in the definition of a general framework for the statement of the principal definitions and results that are then particularized by evaluating the most studied metric spaces, providing a complete overview of the existing literature about the bearing rigidity theory. The second one rests on the determination of a necessary and sufficient condition guaranteeing the rigidity properties of a given multi-element system, independently of its metric space.
△ Less
Submitted 23 March, 2021; v1 submitted 7 February, 2019;
originally announced February 2019.
-
A Geometric Method for Passivation and Cooperative Control of Equilibrium-Independent Passivity-Short Systems
Authors:
Miel Sharf,
Anoop Jain,
Daniel Zelazo
Abstract:
Equilibrium-independent passive-short (EIPS) systems are a class of systems that satisfy a passivity-like dissipation inequality with respect to any forced equilibria with non-positive passivity indices. This paper presents a geometric approach for finding a passivizing transformation for such systems, relying on their steady-state input-output relation and the notion of projective quadratic inequ…
▽ More
Equilibrium-independent passive-short (EIPS) systems are a class of systems that satisfy a passivity-like dissipation inequality with respect to any forced equilibria with non-positive passivity indices. This paper presents a geometric approach for finding a passivizing transformation for such systems, relying on their steady-state input-output relation and the notion of projective quadratic inequalities (PQIs). We show that PQIs arise naturally from passivity-shortage characteristics of an EIPS system, and the set of their solutions can be explicitly expressed. We leverage this connection to build an input-output map** that transforms the steady-state input-output relation to a monotone relation, and show that the same map** passivizes the EIPS system. We show that the proposed transformation can be implemented through a combination of feedback, feed-through, post- and pre-multiplication gains. Furthermore, we consider an application of the presented passivation scheme for the analysis of networks comprised of EIPS systems. Numerous examples are provided to illustrate the theoretical findings.
△ Less
Submitted 1 October, 2020; v1 submitted 19 January, 2019;
originally announced January 2019.
-
Convergence Analysis of Signed Nonlinear Networks
Authors:
Hao Chen,
Daniel Zelazo,
Xiangke Wang,
Lincheng Shen
Abstract:
This work analyzes the convergence properties of signed networks with nonlinear edge functions. We consider diffusively coupled networks comprised of maximal equilibrium-independent passive (MEIP) dynamics on the nodes, and a general class of nonlinear coupling functions on the edges. The first contribution of this work is to generalize the classical notion of signed networks for graphs with scala…
▽ More
This work analyzes the convergence properties of signed networks with nonlinear edge functions. We consider diffusively coupled networks comprised of maximal equilibrium-independent passive (MEIP) dynamics on the nodes, and a general class of nonlinear coupling functions on the edges. The first contribution of this work is to generalize the classical notion of signed networks for graphs with scalar weights to graphs with nonlinear edge functions using notions from passivity theory. We show that the output of the network can finally form one or several steady-state clusters if all edges are positive, and in particular, all nodes can reach an output agreement if there is a connected subnetwork spanning all nodes and strictly positive edges. When there are non-positive edges added to the network, we show that the tension of the network still converges to the equilibria of the edge functions if the relative outputs of the nodes connected by non-positive edges converge to their equilibria. Furthermore, we establish the equivalent circuit models for signed nonlinear networks, and define the concept of equivalent edge functions which is a generalization of the notion of effective resistance. We finally characterize the relationship between the convergence property and the equivalent edge function, when a non-positive edge is added to a strictly positive network comprised of nonlinear integrators. We show that the convergence of the network is always guaranteed, if the sum of the equivalent edge function of the previous network and the new edge function is passive.
△ Less
Submitted 27 March, 2019; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Network Identification: A Passivity and Network Optimization Approach
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
The theory of network identification, namely identifying the interaction topology among a known number of agents, has been widely developed for linear agents over recent years. However, the theory for nonlinear agents remains less extensive. We use the notion maximal equilibrium-independent passivity (MEIP) and network optimization theory to present a network identification method for nonlinear ag…
▽ More
The theory of network identification, namely identifying the interaction topology among a known number of agents, has been widely developed for linear agents over recent years. However, the theory for nonlinear agents remains less extensive. We use the notion maximal equilibrium-independent passivity (MEIP) and network optimization theory to present a network identification method for nonlinear agents.We do so by introducing a specially designed exogenous input, and exploiting the properties of networked MEIP systems. We then specialize on LTI agents, showing that the method gives a distributed cubic-time algorithm for network reconstruction in that case. We also discuss different methods of choosing the exogenous input, and provide an example on a neural network model.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
Bearing Rigidity Theory and its Applications for Control and Estimation of Network Systems: Life Beyond Distance Rigidity
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
The problem of distributed control and estimation for multi-agent systems with limited sensing capabilities is a practical challenge motivated by incomplete and imperfect sensing. This article addresses an important case where each agent in a network can only sense the relative bearings to their nearest neighbors. The study of this topic is motivated mainly by the rapid development of bearing-only…
▽ More
The problem of distributed control and estimation for multi-agent systems with limited sensing capabilities is a practical challenge motivated by incomplete and imperfect sensing. This article addresses an important case where each agent in a network can only sense the relative bearings to their nearest neighbors. The study of this topic is motivated mainly by the rapid development of bearing-only sensors such as optical cameras or sensor arrays. This article provides a tutorial review on this topic focusing on the problems of formation control and network localization. A key component of this review is a presentation of the recently developed bearing rigidity theory, which defines a necessary architectural feature of multi-agent systems aiming to solve these two problems. This article presents a high-level summary of recently developed algorithms solving these problems, various simulation examples, and discussions pointing to the relevant literature and important remaining challenges in this area.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
Pointing consensus for rooted out-branching graphs
Authors:
Minh Hoang Trinh,
Daniel Zelazo,
Quoc Van Tran,
Hyo-Sung Ahn
Abstract:
Given a network of multiple agents, the pointing consensus problem asks all agents to point toward a common target. This paper proposes a simple method to solve the pointing consensus problem in the plane. In our formulation, each agent does not know its own position, but has information about its own heading vector expressed in a common coordinate frame and some desired relative angles to the nei…
▽ More
Given a network of multiple agents, the pointing consensus problem asks all agents to point toward a common target. This paper proposes a simple method to solve the pointing consensus problem in the plane. In our formulation, each agent does not know its own position, but has information about its own heading vector expressed in a common coordinate frame and some desired relative angles to the neighbors. By exchanging the heading vectors via a communication network described by a rooted out-branching graph and controlling the angle between the heading vectors, we show that all agents' heading vectors asymptotically point towards the same target for almost all initial conditions. Simulations are provided to validate the effectiveness of the proposed method.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
Analysis and Synthesis of MIMO Multi-Agent Systems Using Network Optimization
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
This work studies analysis and synthesis problems for diffusively coupled multi-agent systems. We focus on networks comprised of multi-input multi-output nonlinear systems that posses a property we term maximal equilibrium-independent cyclically monotonone passivity (MEICMP), which is an extension of recent passivity results. We demonstrate that networks comprised of MEICMP systems are related to…
▽ More
This work studies analysis and synthesis problems for diffusively coupled multi-agent systems. We focus on networks comprised of multi-input multi-output nonlinear systems that posses a property we term maximal equilibrium-independent cyclically monotonone passivity (MEICMP), which is an extension of recent passivity results. We demonstrate that networks comprised of MEICMP systems are related to a pair of dual network optimization problems. In particular, we show that the steady-state behavior of the multi-agent system correspond to the minimizers of appropriately defined network optimization problems. Exploiting this connection between the dynamic networked system and static optimization problems, we propose a synthesis procedure for designing the coupling controllers in the network to achieve a desired output state for the network. We provide detailed examples of dynamical networked systems satisfying these properties and demonstrate the results for a network of damped planar oscillators.
△ Less
Submitted 12 July, 2018; v1 submitted 12 November, 2017;
originally announced November 2017.
-
Laman Graphs are Generically Bearing Rigid in Arbitrary Dimensions
Authors:
Shiyu Zhao,
Zhiyong Sun,
Daniel Zelazo,
Minh-Hoang Trinh,
Hyo-Sung Ahn
Abstract:
This paper addresses the problem of constructing bearing rigid networks in arbitrary dimensions. We first show that the bearing rigidity of a network is a generic property that is critically determined by the underlying graph of the network. A new notion termed generic bearing rigidity is defined for graphs. If the underlying graph of a network is generically bearing rigid, then the network is bea…
▽ More
This paper addresses the problem of constructing bearing rigid networks in arbitrary dimensions. We first show that the bearing rigidity of a network is a generic property that is critically determined by the underlying graph of the network. A new notion termed generic bearing rigidity is defined for graphs. If the underlying graph of a network is generically bearing rigid, then the network is bearing rigid for almost all configurations; otherwise, the network is not bearing rigid for any configuration. As a result, the key to construct bearing rigid networks is to construct generically bearing rigid graphs. The main contribution of this paper is to prove that Laman graphs, which can be generated by the Henneberg construction, are generically bearing rigid in arbitrary dimensions. As a consequence, if the underlying graph of a network is Laman, the network is bearing rigid for almost all configurations in arbitrary dimensions.
△ Less
Submitted 23 August, 2017; v1 submitted 11 March, 2017;
originally announced March 2017.
-
On Certain Properties of Convex Functions
Authors:
Miel Sharf,
Daniel Zelazo
Abstract:
This note deals with certain properties of convex functions. We provide results on the convexity of the set of minima of these functions, the behaviour of their subgradient set under restriction, and optimization of these functions over an affine subspace.
This note deals with certain properties of convex functions. We provide results on the convexity of the set of minima of these functions, the behaviour of their subgradient set under restriction, and optimization of these functions over an affine subspace.
△ Less
Submitted 18 March, 2017; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Consensus over Weighted Directed Graphs: A Robustness Perspective
Authors:
Dwaipayan Mukherjee,
Daniel Zelazo
Abstract:
The present paper investigates the robustness of the consensus protocol over weighted directed graphs using the Nyquist criterion. The limit to which a single weight can vary, while consensus among the agents can be achieved, is explicitly derived. It is shown that even with a negative weight on one of the edges, consensus may be achieved. The result obtained in this paper is applied to a directed…
▽ More
The present paper investigates the robustness of the consensus protocol over weighted directed graphs using the Nyquist criterion. The limit to which a single weight can vary, while consensus among the agents can be achieved, is explicitly derived. It is shown that even with a negative weight on one of the edges, consensus may be achieved. The result obtained in this paper is applied to a directed acyclic graph and to the directed cycle graph. Graph theoretic interpretations of the limits are provided for the two cases. Simulations support the theoretical results.
△ Less
Submitted 1 September, 2016;
originally announced September 2016.
-
Fekete points, formation control, and the balancing problem
Authors:
Jan Maximilian Montenbruck,
Daniel Zelazo,
Frank Allgöwer
Abstract:
We study formation control problems. Our approach is to let a group of systems maximize their pairwise distances whilst bringing them all to a given submanifold, determining the shape of the formation. The algorithm we propose allows to initialize the positions of the individual systems in the ambient space of the given submanifold but brings them to the desired formation asymptotically in a stabl…
▽ More
We study formation control problems. Our approach is to let a group of systems maximize their pairwise distances whilst bringing them all to a given submanifold, determining the shape of the formation. The algorithm we propose allows to initialize the positions of the individual systems in the ambient space of the given submanifold but brings them to the desired formation asymptotically in a stable fashion. Our control inherently consists of a distributed component, maximizing the pairwise distances, and a decentralized component, asymptotically stabilizing the submanifold. We establish a graph-theoretical interpretation of the equilibria that our control enforces and extend our approach to systems living on the special Euclidean group. Throughout the paper, we illustrate our approach on different examples.
△ Less
Submitted 25 October, 2016; v1 submitted 27 June, 2016;
originally announced June 2016.
-
Bearing-Based Formation Stabilization with Directed Interaction Topologies
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
This paper studies the problem of stabilizing target formations specified by inter-neighbor bearings with relative position measurements. While the undirected case has been studied in the existing works, this paper focuses on the case where the interaction topology is directed. It is shown that a linear distributed control law, which was proposed previously for undirected cases, can still be appli…
▽ More
This paper studies the problem of stabilizing target formations specified by inter-neighbor bearings with relative position measurements. While the undirected case has been studied in the existing works, this paper focuses on the case where the interaction topology is directed. It is shown that a linear distributed control law, which was proposed previously for undirected cases, can still be applied to the directed case. The formation stability in the directed case, however, relies on a new notion termed bearing persistence, which describes whether or not the directed underlying graph is persistent with the bearing rigidity of a formation. If a target formation is not bearing persistent, undesired equilibriums will appear and global formation stability cannot be guaranteed. The notion of bearing persistence is defined by the bearing Laplacian matrix and illustrated by simulation examples.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
Translational and Scaling Formation Maneuver Control via a Bearing-Based Approach
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
This paper studies distributed maneuver control of multi-agent formations in arbitrary dimensions. The objective is to control the translation and scale of the formation while maintaining the desired formation pattern. Unlike conventional approaches where the target formation is defined by relative positions or distances, we propose a novel bearing-based approach where the target formation is defi…
▽ More
This paper studies distributed maneuver control of multi-agent formations in arbitrary dimensions. The objective is to control the translation and scale of the formation while maintaining the desired formation pattern. Unlike conventional approaches where the target formation is defined by relative positions or distances, we propose a novel bearing-based approach where the target formation is defined by inter-neighbor bearings. Since the bearings are invariant to the translation and scale of the formation, the bearing-based approach provides a simple solution to the problem of translational and scaling formation maneuver control. Linear formation control laws for double-integrator dynamics are proposed and the global formation stability is analyzed. This paper also studies bearing-based formation control in the presence of practical problems including input disturbances, acceleration saturation, and collision avoidance. The theoretical results are illustrated with numerical simulations.
△ Less
Submitted 12 December, 2015; v1 submitted 18 June, 2015;
originally announced June 2015.
-
Bearing-Based Formation Maneuvering
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
This paper studies the problem of multi-agent formation maneuver control where both of the centroid and scale of a formation are required to track given velocity references while maintaining the formation shape. Unlike the conventional approaches where the target formation is defined by inter-neighbor relative positions or distances, we propose a bearing-based approach where the target formation i…
▽ More
This paper studies the problem of multi-agent formation maneuver control where both of the centroid and scale of a formation are required to track given velocity references while maintaining the formation shape. Unlike the conventional approaches where the target formation is defined by inter-neighbor relative positions or distances, we propose a bearing-based approach where the target formation is defined by inter-neighbor bearings. Due to the invariance of the bearings, the bearing-based approach provides a natural solution to formation scale control. We assume the dynamics of each agent as a single integrator and propose a globally stable proportional-integral formation maneuver control law. It is shown that at least two leaders are required to collaborate in order to control the centroid and scale of the formation whereas the followers are not required to have access to any global information, such as the velocities of the leaders.
△ Less
Submitted 3 August, 2015; v1 submitted 14 April, 2015;
originally announced April 2015.
-
Bearing-Based Distributed Control and Estimation of Multi-Agent Systems
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
This paper studies the distributed control and estimation of multi-agent systems based on bearing information. In particular, we consider two problems: (i) the distributed control of bearing-constrained formations using relative position measurements and (ii) the distributed localization of sensor networks using bearing measurements. Both of the two problems are considered in arbitrary dimensional…
▽ More
This paper studies the distributed control and estimation of multi-agent systems based on bearing information. In particular, we consider two problems: (i) the distributed control of bearing-constrained formations using relative position measurements and (ii) the distributed localization of sensor networks using bearing measurements. Both of the two problems are considered in arbitrary dimensional spaces. The analyses of the two problems rely on the recently developed bearing rigidity theory. We show that the two problems have the same mathematical formulation and can be solved by identical protocols. The proposed controller and estimator can globally solve the two problems without ambiguity. The results are supported with illustrative simulations.
△ Less
Submitted 29 March, 2015;
originally announced March 2015.
-
Localizability and Distributed Protocols for Bearing-Based Network Localization in Arbitrary Dimensions
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
This paper addresses the problem of bearing-based network localization, which aims to localize all the nodes in a static network given the locations of a subset of nodes termed anchors and inter-node bearings measured in a common reference frame. The contributions of the paper are twofold. Firstly, we propose necessary and sufficient conditions for network localizability with both algebraic and ri…
▽ More
This paper addresses the problem of bearing-based network localization, which aims to localize all the nodes in a static network given the locations of a subset of nodes termed anchors and inter-node bearings measured in a common reference frame. The contributions of the paper are twofold. Firstly, we propose necessary and sufficient conditions for network localizability with both algebraic and rigidity theoretic interpretations. The analysis of the localizability heavily relies on the recently developed bearing rigidity theory and a special matrix termed the bearing Laplacian. Secondly, we propose a linear distributed protocol for bearing-based network localization. The protocol can globally localize a network if and only if the network is localizable. The sensitivity of the protocol to constant measurement errors is also analyzed. One novelty of this work is that the localizability analysis and localization protocol are applicable to networks in arbitrary dimensional spaces.
△ Less
Submitted 20 February, 2016; v1 submitted 31 January, 2015;
originally announced February 2015.
-
Bearing Rigidity and Almost Global Bearing-Only Formation Stabilization
Authors:
Shiyu Zhao,
Daniel Zelazo
Abstract:
A fundamental problem that the bearing rigidity theory studies is to determine when a framework can be uniquely determined up to a translation and a scaling factor by its inter-neighbor bearings. While many previous works focused on the bearing rigidity of two-dimensional frameworks, a first contribution of this paper is to extend these results to arbitrary dimensions. It is shown that a framework…
▽ More
A fundamental problem that the bearing rigidity theory studies is to determine when a framework can be uniquely determined up to a translation and a scaling factor by its inter-neighbor bearings. While many previous works focused on the bearing rigidity of two-dimensional frameworks, a first contribution of this paper is to extend these results to arbitrary dimensions. It is shown that a framework in an arbitrary dimension can be uniquely determined up to a translation and a scaling factor by the bearings if and only if the framework is infinitesimally bearing rigid. In this paper, the proposed bearing rigidity theory is further applied to the bearing-only formation stabilization problem where the target formation is defined by inter-neighbor bearings and the feedback control uses only bearing measurements. Nonlinear distributed bearing-only formation control laws are proposed for the cases with and without a global orientation. It is proved that the control laws can almost globally stabilize infinitesimally bearing rigid formations. Numerical simulations are provided to support the analysis.
△ Less
Submitted 8 July, 2015; v1 submitted 27 August, 2014;
originally announced August 2014.
-
On the Robustness of Uncertain Consensus Networks
Authors:
Daniel Zelazo,
Mathias Bürger
Abstract:
This work considers the robustness of uncertain consensus networks. The first set of results studies the stability properties of consensus networks with negative edge weights. We show that if either the negative weight edges form a cut in the graph, or any single negative edge weight has magnitude less than the inverse of the effective resistance between the two incident nodes, then the resulting…
▽ More
This work considers the robustness of uncertain consensus networks. The first set of results studies the stability properties of consensus networks with negative edge weights. We show that if either the negative weight edges form a cut in the graph, or any single negative edge weight has magnitude less than the inverse of the effective resistance between the two incident nodes, then the resulting network is unstable. These results are then applied to analyze the robustness properties of the consensus network with additive but bounded perturbations of the edge weights. It is shown that the small-gain condition is related again to cuts in the graph and effective resistance. For the single edge case, the small-gain condition is also shown to be exact. The results are then extended to consensus networks with non-linear couplings.
△ Less
Submitted 2 March, 2015; v1 submitted 19 August, 2014;
originally announced August 2014.
-
On the Definiteness of the Weighted Laplacian and its Connection to Effective Resistance
Authors:
Daniel Zelazo,
Mathias Bürger
Abstract:
This work explores the definiteness of the weighted graph Laplacian matrix with negative edge weights. The definiteness of the weighted Laplacian is studied in terms of certain matrices that are related via congruent and similarity transformations. For a graph with a single negative weight edge, we show that the weighted Laplacian becomes indefinite if the magnitude of the negative weight is less…
▽ More
This work explores the definiteness of the weighted graph Laplacian matrix with negative edge weights. The definiteness of the weighted Laplacian is studied in terms of certain matrices that are related via congruent and similarity transformations. For a graph with a single negative weight edge, we show that the weighted Laplacian becomes indefinite if the magnitude of the negative weight is less than the inverse of the effective resistance between the two incident nodes. This result is extended to multiple negative weight edges. The utility of these results are demonstrated in a weighted consensus network where appropriately placed negative weight edges can induce a clustering behavior for the protocol.
△ Less
Submitted 10 August, 2014;
originally announced August 2014.
-
Rigidity Theory in SE(2) for Unscaled Relative Position Estimation using only Bearing Measurements
Authors:
Daniel Zelazo,
Antonio Franchi,
Paolo Robuffo Giordano
Abstract:
This work considers the problem of estimating the unscaled relative positions of a multi-robot team in a common reference frame from bearing-only measurements. Each robot has access to a relative bearing measurement taken from the local body frame of the robot, and the robots have no knowledge of a common or inertial reference frame. A corresponding extension of rigidity theory is made for framewo…
▽ More
This work considers the problem of estimating the unscaled relative positions of a multi-robot team in a common reference frame from bearing-only measurements. Each robot has access to a relative bearing measurement taken from the local body frame of the robot, and the robots have no knowledge of a common or inertial reference frame. A corresponding extension of rigidity theory is made for frameworks embedded in the \emph{special Euclidean group} $SE(2) = \mathbb{R}^2 \times \mathcal{S}^1$. We introduce definitions describing rigidity for $SE(2)$ frameworks and provide necessary and sufficient conditions for when such a framework is \emph{infinitesimally rigid} in $SE(2)$. Analogous to the rigidity matrix for point formations, we introduce the \emph{directed bearing rigidity matrix} and show that an $SE(2)$ framework is infinitesimally rigid if and only if the rank of this matrix is equal to $2|\mathcal{V}|-4$, where $|\mathcal{V}|$ is the number of agents in the ensemble. The directed bearing rigidity matrix and its properties are then used in the implementation and convergence proof of a distributed estimator to determine the {unscaled}{} relative positions in a common frame. Some simulation results are also given to support the analysis.
△ Less
Submitted 5 November, 2013;
originally announced November 2013.
-
Decentralized Rigidity Maintenance Control with Range Measurements for Multi-Robot Systems
Authors:
Daniel Zelazo,
Antonio Franchi,
Heinrich H. Bülthoff,
Paolo Robuffo Giordano
Abstract:
This work proposes a fully decentralized strategy for maintaining the formation rigidity of a multi-robot system using only range measurements, while still allowing the graph topology to change freely over time. In this direction, a first contribution of this work is an extension of rigidity theory to weighted frameworks and the rigidity eigenvalue, which when positive ensures the infinitesimal ri…
▽ More
This work proposes a fully decentralized strategy for maintaining the formation rigidity of a multi-robot system using only range measurements, while still allowing the graph topology to change freely over time. In this direction, a first contribution of this work is an extension of rigidity theory to weighted frameworks and the rigidity eigenvalue, which when positive ensures the infinitesimal rigidity of the framework. We then propose a distributed algorithm for estimating a common relative position reference frame amongst a team of robots with only range measurements in addition to one agent endowed with the capability of measuring the bearing to two other agents. This first estimation step is embedded into a subsequent distributed algorithm for estimating the rigidity eigenvalue associated with the weighted framework. The estimate of the rigidity eigenvalue is finally used to generate a local control action for each agent that both maintains the rigidity property and enforces additional con- straints such as collision avoidance and sensing/communication range limits and occlusions. As an additional feature of our approach, the communication and sensing links among the robots are also left free to change over time while preserving rigidity of the whole framework. The proposed scheme is then experimentally validated with a robotic testbed consisting of 6 quadrotor UAVs operating in a cluttered environment.
△ Less
Submitted 4 September, 2014; v1 submitted 2 September, 2013;
originally announced September 2013.
-
Duality and Network Theory in Passivity-based Cooperative Control
Authors:
Mathias Bürger,
Daniel Zelazo,
Frank Allgöwer
Abstract:
This paper presents a class of passivity-based cooperative control problems that have an explicit connection to convex network optimization problems. The new notion of maximal equilibrium independent passivity is introduced and it is shown that networks of systems possessing this property asymptotically approach the solutions of a dual pair of network optimization problems, namely an optimal poten…
▽ More
This paper presents a class of passivity-based cooperative control problems that have an explicit connection to convex network optimization problems. The new notion of maximal equilibrium independent passivity is introduced and it is shown that networks of systems possessing this property asymptotically approach the solutions of a dual pair of network optimization problems, namely an optimal potential and an optimal flow problem. This connection leads to an interpretation of the dynamic variables, such as system inputs and outputs, to variables in a network optimization framework, such as divergences and potentials, and reveals that several duality relations known in convex network optimization theory translate directly to passivity-based cooperative control problems. The presented results establish a strong and explicit connection between passivity-based cooperative control theory on the one side and network optimization theory on the other, and they provide a unifying framework for network analysis and optimal design. The results are illustrated on a nonlinear traffic dynamics model that is shown to be asymptotically clustering.
△ Less
Submitted 2 September, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.