-
tinySLAM-based exploration with a swarm of nano-UAVs
Authors:
Johan Markdahl,
Mattias Vikgren
Abstract:
This paper concerns SLAM and exploration for a swarm of nano-UAVs. The laser range finder-based tinySLAM algorithm is used to build maps of the environment. The maps are synchronized using an iterative closest point algorithm. The UAVs then explore the map by steering to points selected by a modified dynamic coverage algorithm, for which we prove a stability result. Both algorithms inform each oth…
▽ More
This paper concerns SLAM and exploration for a swarm of nano-UAVs. The laser range finder-based tinySLAM algorithm is used to build maps of the environment. The maps are synchronized using an iterative closest point algorithm. The UAVs then explore the map by steering to points selected by a modified dynamic coverage algorithm, for which we prove a stability result. Both algorithms inform each other, allowing the UAVs to map out new areas of the environment and move into them for exploration. Experimental findings using the nano-UAV Crazyflie 2.1 platform are presented. A key challenge is to implement all algorithms on the hardware limited experimental platform.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Swarm Bug Algorithms for Path Generation in Unknown Environments
Authors:
Alexander Johansson,
Johan Markdahl
Abstract:
In this paper, we consider the problem of a swarm traveling between two points as fast as possible in an unknown environment cluttered with obstacles. Potential applications include search-and-rescue operations where damaged environments are typical. We present swarm generalizations, called SwarmCom, SwarmBug1, and SwarmBug2, of the classical path generation algorithms Com, Bug1, and Bug2. These a…
▽ More
In this paper, we consider the problem of a swarm traveling between two points as fast as possible in an unknown environment cluttered with obstacles. Potential applications include search-and-rescue operations where damaged environments are typical. We present swarm generalizations, called SwarmCom, SwarmBug1, and SwarmBug2, of the classical path generation algorithms Com, Bug1, and Bug2. These algorithms were developed for unknown environments and require low computational power and memory storage, thereby freeing up resources for other tasks. We show the upper bound of the worst-case travel time for the first agent in the swarm to reach the target point for SwarmBug1. For SwarmBug2, we show that the algorithm underperforms in terms of worst-case travel time compared to SwarmBug1. For SwarmCom, we show that there exists a trivial scene for which the algorithm will not halt, and it thus has no performance guarantees. Moreover, by comparing the upper bound of the travel time for SwarmBug1 with a universal lower bound for any path generation algorithm, it is shown that in the limit when the number of agents in the swarm approaches infinity, no other algorithm has strictly better worst-case performance than SwarmBug1 and the universal lower bound is tight.
△ Less
Submitted 17 August, 2023; v1 submitted 15 August, 2023;
originally announced August 2023.
-
Asymptotically stable polarization of multi-agent gradient flows over manifolds
Authors:
La Mi,
Jorge Gonçalves,
Johan Markdahl
Abstract:
Multi-agent systems are known to exhibit stable emergent behaviors, including polarization, over $\mathbb{R}^n$ or highly symmetric nonlinear spaces. In this article, we eschew linearity and symmetry of the underlying spaces, and study the stability of polarized equilibria of multi-agent gradient flows evolving on general hypermanifolds. The agents attract or repel each other according to the part…
▽ More
Multi-agent systems are known to exhibit stable emergent behaviors, including polarization, over $\mathbb{R}^n$ or highly symmetric nonlinear spaces. In this article, we eschew linearity and symmetry of the underlying spaces, and study the stability of polarized equilibria of multi-agent gradient flows evolving on general hypermanifolds. The agents attract or repel each other according to the partition of the communication graph that is connected but otherwise arbitrary. The manifolds are outfitted with geometric features styled ``dimples'' and ``pimples'' that characterize the absence of flatness. The signs of inter-agent couplings together with these geometric features give rise to stable polarization under various sufficient conditions. We propose tangible interpretation of the system in the context of opinion dynamics, and highlight throughout the text its versatility in modeling various aspects of the polarization phenomenon.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Automatic traction control for articulated off-road vehicles
Authors:
Johan Markdahl
Abstract:
Construction equipment is designed to maintain good traction, even when operating in difficult off-road conditions. To curb wheel slip, the vehicles are equipped with differential locks. A driver may engage/disengage the locks to switch between two distinct operating modes: the closed mode is characterized by greater off-road passability while the open mode allows better manoeuvrability. However,…
▽ More
Construction equipment is designed to maintain good traction, even when operating in difficult off-road conditions. To curb wheel slip, the vehicles are equipped with differential locks. A driver may engage/disengage the locks to switch between two distinct operating modes: the closed mode is characterized by greater off-road passability while the open mode allows better manoeuvrability. However, many drivers lack the education and experience required to correctly judge the terrain ahead of the vehicle and therefore engage/disengage the locks in a suboptimal fashion. An automatic traction control solution for locking and opening the differentials is hence desirable. This paper compares three on/off differential lock control algorithms, all derived from the same kinematic vehicle model but each relying on the availability of output signals from different sensors. The validity of the kinematic model and the algorithms' sensitivity to the values assumed by a couple of unobservable states, the wheel slip angles, is investigated by comparison to a realistic articulated hauler model in the multibody physics simulator MSC ADAMS.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Counterexamples in synchronization: pathologies of consensus seeking gradient descent flows on surfaces
Authors:
Johan Markdahl
Abstract:
Certain consensus seeking multi-agent systems can be formulated as gradient descent flows of a disagreement function. We study how known pathologies of gradient descent flows in Euclidean spaces carry over to consensus seeking systems that evolve on nonlinear manifolds. In particular, we show that the norms of agent states can diverge to infinity, but this will not happen if the manifold is the bo…
▽ More
Certain consensus seeking multi-agent systems can be formulated as gradient descent flows of a disagreement function. We study how known pathologies of gradient descent flows in Euclidean spaces carry over to consensus seeking systems that evolve on nonlinear manifolds. In particular, we show that the norms of agent states can diverge to infinity, but this will not happen if the manifold is the boundary of a convex set. Moreover, the system can be initialized arbitrarily close to consensus without converging to it, but this will not happen if the manifold is analytic. For analytic manifolds, consensus is asymptotically stable. This last result summarizes a number of previous findings in the literature on generalizations of the well-known Kuramoto model to high-dimensional manifolds.
△ Less
Submitted 13 August, 2021; v1 submitted 5 April, 2021;
originally announced April 2021.
-
Robust synchronization of heterogeneous robot swarms on the sphere
Authors:
Johan Markdahl,
Daniele Proverbio,
Jorge Goncalves
Abstract:
Synchronization on the sphere is important to certain control applications in swarm robotics. Of recent interest is the Lohe model, which generalizes the Kuramoto model from the circle to the sphere. The Lohe model is mainly studied in mathematical physics as a toy model of quantum synchronization. The model makes few assumptions, wherefore it is well-suited to represent a swarm. Previous work on…
▽ More
Synchronization on the sphere is important to certain control applications in swarm robotics. Of recent interest is the Lohe model, which generalizes the Kuramoto model from the circle to the sphere. The Lohe model is mainly studied in mathematical physics as a toy model of quantum synchronization. The model makes few assumptions, wherefore it is well-suited to represent a swarm. Previous work on this model has focused on the cases of complete and acyclic networks or the homogeneous case where all oscillator frequencies are equal. This paper concerns the case of heterogeneous oscillators connected by a non-trivial network. We show that any undesired equilibrium is exponentially unstable if the frequencies satisfy a given bound. This property can also be interpreted as a robustness result for small model perturbations of the homogeneous case with zero frequencies. As such, the Lohe model is a good choice for control applications in swarm robotics.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
Consensus seeking gradient descent flows on boundaries of convex sets
Authors:
Johan Markdahl
Abstract:
Consensus on nonlinear spaces is of use in many control applications. This paper proposes a gradient descent flow algorithm for consensus on hypersurfaces. We show that if an inequality holds, then the system converges for almost all initial conditions and all connected graphs. The inequality involves the hypersurface Gauss map and the gradient and Hessian of the implicit equation. Moreover, for t…
▽ More
Consensus on nonlinear spaces is of use in many control applications. This paper proposes a gradient descent flow algorithm for consensus on hypersurfaces. We show that if an inequality holds, then the system converges for almost all initial conditions and all connected graphs. The inequality involves the hypersurface Gauss map and the gradient and Hessian of the implicit equation. Moreover, for the inequality to hold, it is necessary that the manifold is the boundary of a convex set. The literature already contains an algorithm for consensus on hypersurfaces. That algorithm on any ellipsoid is equivalent to our algorithm on the unit sphere. In particular, that algorithm achieves almost global synchronization on ellipsoids. These findings suggest that strong convergence results for consensus seeking gradient descent flows may be established on manifolds that are the boundaries of convex sets.
△ Less
Submitted 1 April, 2020; v1 submitted 17 December, 2019;
originally announced December 2019.
-
A multifactorial evaluation framework for gene regulatory network reconstruction
Authors:
Laurent Mombaerts,
Atte Aalto,
Johan Markdahl,
Jorge Goncalves
Abstract:
In the past years, many computational methods have been developed to infer the structure of gene regulatory networks from time-series data. However, the applicability and accuracy presumptions of such algorithms remain unclear due to experimental heterogeneity. This paper assesses the performance of recent and successful network inference strategies under a novel, multifactorial evaluation framewo…
▽ More
In the past years, many computational methods have been developed to infer the structure of gene regulatory networks from time-series data. However, the applicability and accuracy presumptions of such algorithms remain unclear due to experimental heterogeneity. This paper assesses the performance of recent and successful network inference strategies under a novel, multifactorial evaluation framework in order to highlight pragmatic tradeoffs in experimental design. The effects of data quantity and systems perturbations are addressed, thereby formulating guidelines for efficient resource management.
Realistic data were generated from six widely used benchmark models of rhythmic and non-rhythmic gene regulatory systems with random perturbations mimicking the effect of gene knock-out or chemical treatments. Then, time-series data of increasing lengths were provided to five state-of-the-art network inference algorithms representing distinctive mathematical paradigms. The performances of such network reconstruction methodologies are uncovered under various experimental conditions. We report that the algorithms do not benefit equally from data increments. Furthermore, for rhythmic systems, it is more profitable for network inference strategies to be run on long time-series rather than short time-series with multiple perturbations. By contrast, for the non-rhythmic systems, increasing the number of perturbation experiments yielded better results than increasing the sampling frequency. We expect that future benchmark and algorithm design would integrate such multifactorial considerations to promote their widespread and conscientious usage.
△ Less
Submitted 28 June, 2019;
originally announced June 2019.
-
Synchronization on Riemannian manifolds: Multiply connected implies multistable
Authors:
Johan Markdahl
Abstract:
This note concerns the evolution of multi-agent systems on networks over Riemannian manifolds. The motion of each agent is governed by the gradient descent flow of a disagreement function that is a sum of (squared) distances between pairs of communicating agents. Two metrics are considered: geodesic distances and chordal distances for manifolds that are embedded in an ambient Euclidean space. We s…
▽ More
This note concerns the evolution of multi-agent systems on networks over Riemannian manifolds. The motion of each agent is governed by the gradient descent flow of a disagreement function that is a sum of (squared) distances between pairs of communicating agents. Two metrics are considered: geodesic distances and chordal distances for manifolds that are embedded in an ambient Euclidean space. We show that networks which, roughly speaking, are dominated by a large cycle yield a multistable systems if the manifold is multiply connected or contains a closed geodesic that is of locally minimum length in a space of closed curves. This result summarizes previous results on the stability of splay or twist state equilibria of the Kuramoto model on the circle and its generalization, the quantum sync model on SO(n). It also extends them to the Lohe model on U(n).
△ Less
Submitted 4 January, 2022; v1 submitted 18 June, 2019;
originally announced June 2019.
-
A Geometric Obstruction to Almost Global Synchronization on Riemannian Manifolds
Authors:
Johan Markdahl
Abstract:
Multi-agent systems on nonlinear spaces sometimes fail to synchronize. This is usually attributed to the initial configuration of the agents being too spread out, the graph topology having certain undesired symmetries, or both. Besides nonlinearity, the role played by the geometry and topology of the nonlinear space is often overlooked. This paper concerns two gradient descent flows of quadratic d…
▽ More
Multi-agent systems on nonlinear spaces sometimes fail to synchronize. This is usually attributed to the initial configuration of the agents being too spread out, the graph topology having certain undesired symmetries, or both. Besides nonlinearity, the role played by the geometry and topology of the nonlinear space is often overlooked. This paper concerns two gradient descent flows of quadratic disagreement functions on general Riemannian manifolds. One system is intrinsic while the other is extrinsic. We derive necessary conditions for the agents to synchronize from almost all initial conditions when the graph used to model the network is connected. If a Riemannian manifold contains a closed curve of locally minimum length, then there is a connected graph and a dense set of initial conditions from which the intrinsic system fails to synchronize. The extrinsic system fails to synchronize if the manifold is multiply connected. The extrinsic system appears in the Kuramoto model on $\smash{\mathcal{S}^1}$, rigid-body attitude synchronization on $\mathsf{SO}(3)$, the Lohe model of quantum synchronization on the $n$-sphere, and the Lohe model on $\mathsf{U}(n)$. Except for the Lohe model on the $n$-sphere where $n\in\mathbb{N}\backslash\{1\}$, there are dense sets of initial conditions on which these systems fail to synchronize. The reason for this difference is that the $n$-sphere is simply connected for all $n\in\mathbb{N}\backslash\{1\}$ whereas the other manifolds are multiply connected.
△ Less
Submitted 18 March, 2019; v1 submitted 2 August, 2018;
originally announced August 2018.
-
High-dimensional Kuramoto models on Stiefel manifolds synchronize complex networks almost globally
Authors:
Johan Markdahl,
Johan Thunberg,
Jorge Goncalves
Abstract:
The Kuramoto model of coupled phase oscillators is often used to describe synchronization phenomena in nature. Some applications, e.g., quantum synchronization and rigid-body attitude synchronization, involve high-dimensional Kuramoto models where each oscillator lives on the n-sphere or SO(n). These manifolds are special cases of the compact, real Stiefel manifold St(p,n). Using tools from optimi…
▽ More
The Kuramoto model of coupled phase oscillators is often used to describe synchronization phenomena in nature. Some applications, e.g., quantum synchronization and rigid-body attitude synchronization, involve high-dimensional Kuramoto models where each oscillator lives on the n-sphere or SO(n). These manifolds are special cases of the compact, real Stiefel manifold St(p,n). Using tools from optimization and control theory, we prove that the generalized Kuramoto model on St(p,n) converges to a synchronized state for any connected graph and from almost all initial conditions provided (p,n) satisfies p<=2n/3-1 and all oscillator frequencies are equal. This result could not have been predicted based on knowledge of the Kuramoto model in complex networks over the circle. In that case, almost global synchronization is graph dependent; it applies if the network is acyclic or sufficiently dense. This paper hence identifies a property that distinguishes many high-dimensional generalizations of the Kuramoto models from the original model.
△ Less
Submitted 13 March, 2022; v1 submitted 26 July, 2018;
originally announced July 2018.
-
A Lifting method for analyzing distributed synchronization on the unit sphere
Authors:
Johan Thunberg,
Johan Markdahl,
Florian Bernard,
Jorge Goncalves
Abstract:
This paper introduces a new lifting method for analyzing convergence of continuous-time distributed synchronization/consensus systems on the unit sphere. Points on the d-dimensional unit sphere are lifted to the (d+1)-dimensional Euclidean space. The consensus protocol on the unit sphere is the classical one, where agents move toward weighted averages of their neighbors in their respective tangent…
▽ More
This paper introduces a new lifting method for analyzing convergence of continuous-time distributed synchronization/consensus systems on the unit sphere. Points on the d-dimensional unit sphere are lifted to the (d+1)-dimensional Euclidean space. The consensus protocol on the unit sphere is the classical one, where agents move toward weighted averages of their neighbors in their respective tangent planes. Only local and relative state information is used. The directed interaction graph topologies are allowed to switch as a function of time. The dynamics of the lifted variables are governed by a nonlinear consensus protocol for which the weights contain ratios of the norms of state variables. We generalize previous convergence results for hemispheres. For a large class of consensus protocols defined for switching uniformly quasi-strongly connected time-varying graphs, we show that the consensus manifold is uniformly asymptotically stable relative to closed balls contained in a hemisphere. Compared to earlier projection based approaches used in this context such as the gnomonic projection, which is defined for hemispheres only, the lifting method applies globally. With that, the hope is that this method can be useful for future investigations on global convergence.
△ Less
Submitted 7 June, 2018; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Towards Almost Global Synchronization on the Stiefel Manifold
Authors:
Johan Markdahl,
Johan Thunberg,
Jorge Goncalves
Abstract:
A graph $\mathcal{G}$ is referred to as $\mathsf{S}^1$-synchronizing if, roughly speaking, the Kuramoto-like model whose interaction topology is given by $\mathcal{G}$ synchronizes almost globally. The Kuramoto model evolves on the unit circle, \ie the $1$-sphere $\mathsf{S}^1$. This paper concerns generalizations of the Kuramoto-like model and the concept of synchronizing graphs on the Stiefel ma…
▽ More
A graph $\mathcal{G}$ is referred to as $\mathsf{S}^1$-synchronizing if, roughly speaking, the Kuramoto-like model whose interaction topology is given by $\mathcal{G}$ synchronizes almost globally. The Kuramoto model evolves on the unit circle, \ie the $1$-sphere $\mathsf{S}^1$. This paper concerns generalizations of the Kuramoto-like model and the concept of synchronizing graphs on the Stiefel manifold $\mathsf{St}(p,n)$. Previous work on state-space oscillators have largely been influenced by results and techniques that pertain to the $\mathsf{S}^1$-case. It has recently been shown that all connected graphs are $\mathsf{S}^n$-synchronizing for all $n\geq2$. The previous point of departure may thus have been overly conservative. The $n$-sphere is a special case of the Stiefel manifold, namely $\mathsf{St}(1,n+1)$. As such, it is natural to ask for the extent to which the results on $\mathsf{S}^{n}$ can be extended to the Stiefel manifold. This paper shows that all connected graphs are $\mathsf{St}(p,n)$-synchronizing provided the pair $(p,n)$ satisfies $p\leq \tfrac{2n}{3}-1$.
△ Less
Submitted 24 July, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Experimental design trade-offs for gene regulatory network inference: an in silico study of the yeast Saccharomyces cerevisiae cell cycle
Authors:
Johan Markdahl,
Nicolo Colombo,
Johan Thunberg,
Jorge Goncalves
Abstract:
Time-series of high throughput gene sequencing data intended for gene regulatory network (GRN) inference are often short due to the high costs of sampling cell systems. Moreover, experimentalists lack a set of quantitative guidelines that prescribe the minimal number of samples required to infer a reliable GRN model. We study the temporal resolution of data vs quality of GRN inference in order to…
▽ More
Time-series of high throughput gene sequencing data intended for gene regulatory network (GRN) inference are often short due to the high costs of sampling cell systems. Moreover, experimentalists lack a set of quantitative guidelines that prescribe the minimal number of samples required to infer a reliable GRN model. We study the temporal resolution of data vs quality of GRN inference in order to ultimately overcome this deficit. The evolution of a Markovian jump process model for the Ras/cAMP/PKA pathway of proteins and metabolites in the G1 phase of the Saccharomyces cerevisiae cell cycle is sampled at a number of different rates. For each time-series we infer a linear regression model of the GRN using the LASSO method. The inferred network topology is evaluated in terms of the area under the precision-recall curve AUPR. By plotting the AUPR against the number of samples, we show that the trade-off has a, roughly speaking, sigmoid shape. An optimal number of samples corresponds to values on the ridge of the sigmoid.
△ Less
Submitted 14 December, 2017;
originally announced December 2017.
-
Dynamic controllers for column synchronization of rotation matrices: a QR-factorization approach
Authors:
Johan Thunberg,
Johan Markdahl,
Jorge Goncalves
Abstract:
In the multi-agent systems setting, this paper addresses continuous-time distributed synchronization of columns of rotation matrices. More precisely, k specific columns shall be synchronized and only the corresponding k columns of the relative rotations between the agents are assumed to be available for the control design. When one specific column is considered, the problem is equivalent to synchr…
▽ More
In the multi-agent systems setting, this paper addresses continuous-time distributed synchronization of columns of rotation matrices. More precisely, k specific columns shall be synchronized and only the corresponding k columns of the relative rotations between the agents are assumed to be available for the control design. When one specific column is considered, the problem is equivalent to synchronization on the (d-1)-dimensional unit sphere and when all the columns are considered, the problem is equivalent to synchronization on SO(d). We design dynamic control laws for these synchronization problems. The control laws are based on the introduction of auxiliary variables in combination with a QR-factorization approach. The benefit of this QR-factorization approach is that we can decouple the dynamics for the k columns from the remaining d-k ones. Under the control scheme, the closed loop system achieves almost global convergence to synchronization for quasi-strong interaction graph topologies.
△ Less
Submitted 8 January, 2018; v1 submitted 11 August, 2017;
originally announced August 2017.
-
Intrinsic Reduced Attitude Formation with Ring Inter-Agent Graph
Authors:
Wenjun Song,
Johan Markdahl,
Silun Zhang,
Xiaoming Hu,
Yiguang Hong
Abstract:
This paper investigates the reduced attitude formation control problem for a group of rigid-body agents using feedback based on relative attitude information. Under both undirected and directed cycle graph topologies, it is shown that reversing the sign of a classic consensus protocol yields asymptotical convergence to formations whose shape depends on the parity of the group size. Specifically, i…
▽ More
This paper investigates the reduced attitude formation control problem for a group of rigid-body agents using feedback based on relative attitude information. Under both undirected and directed cycle graph topologies, it is shown that reversing the sign of a classic consensus protocol yields asymptotical convergence to formations whose shape depends on the parity of the group size. Specifically, in the case of even parity the reduced attitudes converge asymptotically to a pair of antipodal points and distribute equidistantly on a great circle in the case of odd parity. Moreover, when the inter-agent graph is an undirected ring, the desired formation is shown to be achieved from almost all initial states.
△ Less
Submitted 28 May, 2017;
originally announced May 2017.
-
A geodesic feedback law to decouple the full and reduced attitude
Authors:
Johan Markdahl,
Jens Hoppe,
Lin Wang,
Xiaoming Hu
Abstract:
This paper presents a novel approach to the problem of almost global attitude stabilization. The reduced attitude is steered along a geodesic path on the n-sphere. Meanwhile, the full attitude is stabilized on SO(n). This action, essentially two maneuvers in sequel, is fused into one smooth motion. Our algorithm is useful in applications where stabilization of the reduced attitude takes precedence…
▽ More
This paper presents a novel approach to the problem of almost global attitude stabilization. The reduced attitude is steered along a geodesic path on the n-sphere. Meanwhile, the full attitude is stabilized on SO(n). This action, essentially two maneuvers in sequel, is fused into one smooth motion. Our algorithm is useful in applications where stabilization of the reduced attitude takes precedence over stabilization of the full attitude. A two parameter feedback gain affords further trade-offs between the full and reduced attitude convergence speed. The closed loop kinematics on SO(3) are solved for the states as functions of time and the initial conditions, providing precise knowledge of the transient dynamics. The exact solutions also help us to characterize the asymptotic behavior of the system such as establishing the region of attraction by straightforward evaluation of limits. The geometric flavor of these ideas is illustrated by a numerical example.
△ Less
Submitted 18 February, 2017;
originally announced February 2017.
-
Almost global consensus on the n-sphere
Authors:
Johan Markdahl,
Johan Thunberg,
Jorge Goncalves
Abstract:
This paper establishes novel results regarding the global convergence properties of a large class of consensus protocols for multi-agent systems that evolve in continuous time on the n-dimensional unit sphere or n-sphere. For any connected, undirected graph and all n in N\{1}, each protocol in said class is shown to yield almost global consensus. The feedback laws are negative gradients of Lyapuno…
▽ More
This paper establishes novel results regarding the global convergence properties of a large class of consensus protocols for multi-agent systems that evolve in continuous time on the n-dimensional unit sphere or n-sphere. For any connected, undirected graph and all n in N\{1}, each protocol in said class is shown to yield almost global consensus. The feedback laws are negative gradients of Lyapunov functions and one instance generates the canonical intrinsic gradient descent protocol. This convergence result sheds new light on the general problem of consensus on Riemannian manifolds; the n-sphere for n in N\{1} differs from the circle and SO(3) where the corresponding protocols fail to generate almost global consensus. Moreover, we derive a novel consensus protocol on SO(3) by combining two almost globally convergent protocols on the n-sphere for n in {1,2}. Theoretical and simulation results suggest that the combined protocol yields almost global consensus on SO(3).
△ Less
Submitted 12 September, 2017; v1 submitted 15 September, 2016;
originally announced September 2016.