-
Biomarker Selection for Adaptive Systems
Authors:
Joshua Pickard,
Cooper Stansbury,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
Biomarkers enable objective monitoring of a given cell or state in a biological system and are widely used in research, biomanufacturing, and clinical practice. However, identifying appropriate biomarkers that are both robustly measurable and capture a state accurately remains challenging. We present a framework for biomarker identification based upon observability guided sensor selection. Our met…
▽ More
Biomarkers enable objective monitoring of a given cell or state in a biological system and are widely used in research, biomanufacturing, and clinical practice. However, identifying appropriate biomarkers that are both robustly measurable and capture a state accurately remains challenging. We present a framework for biomarker identification based upon observability guided sensor selection. Our methods, Dynamic Sensor Selection (DSS) and Structure-Guided Sensor Selection (SGSS), utilize temporal models and experimental data, offering a template for applying observability theory to unconventional data obtained from biological systems. Unlike conventional methods that assume well-known, fixed dynamics, DSS adaptively select biomarkers or sensors that maximize observability while accounting for the time-varying nature of biological systems. Additionally, SGSS incorporates structural information and diverse data to identify sensors which are resilient against inaccuracies in our model of the underlying system. We validate our approaches by performing estimation on high dimensional systems derived from temporal gene expression data from partial observations.
△ Less
Submitted 20 May, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Geometric Aspects of Observability of Hypergraphs
Authors:
Joshua Pickard,
Cooper Stansbury,
Amit Surana,
Indika Rajapakse,
Anthony Bloch
Abstract:
In this paper we consider aspects of geometric observability for hypergraphs, extending our earlier work from the uniform to the nonuniform case. Hypergraphs, a generalization of graphs, allow hyperedges to connect multiple nodes and unambiguously represent multi-way relationships which are ubiquitous in many real-world networks including those that arise in biology. We consider polynomial dynamic…
▽ More
In this paper we consider aspects of geometric observability for hypergraphs, extending our earlier work from the uniform to the nonuniform case. Hypergraphs, a generalization of graphs, allow hyperedges to connect multiple nodes and unambiguously represent multi-way relationships which are ubiquitous in many real-world networks including those that arise in biology. We consider polynomial dynamical systems with linear outputs defined according to hypergraph structure, and we propose methods to evaluate local, weak observability.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Symmetric Discrete Optimal Control and Deep Learning
Authors:
Anthony M. Bloch,
Peter E. Crouch,
Tudor S. Ratiu
Abstract:
We analyze discrete optimal control problems and their connection with back propagation and deep learning. We consider in particular the symmetric representation of the discrete rigid body equations developed via optimal control analysis and optimal flows on adjoint orbits
We analyze discrete optimal control problems and their connection with back propagation and deep learning. We consider in particular the symmetric representation of the discrete rigid body equations developed via optimal control analysis and optimal flows on adjoint orbits
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems
Authors:
William Clark,
Leonardo Colombo,
Anthony Bloch
Abstract:
Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switchin…
▽ More
Hybrid systems are dynamical systems with continuous-time and discrete-time components in their dynamics. When hybrid systems are defined on a principal bundle we are able to define two classes of impacts for the discrete-time transition of the dynamics: interior impacts and exterior impacts. In this paper we define hybrid systems on principal bundles, study the underlying geometry on the switching surface where impacts occur and we find conditions for which both exterior and interior impacts are preserved by the mechanical connection induced in the principal bundle.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Generalized Models for Inflationary Preheating: Oscillations and Symmetries
Authors:
Leia Barrowes,
Fred C. Adams,
Anthony M. Bloch,
Scott Watson
Abstract:
The paradigm of the inflationary universe provides a possible explanation for several observed cosmological properties. In order for such solutions to be successful, the universe must convert the energy stored in the inflaton potential into standard model particles through a process known as reheating. In this paper, we reconsider the reheating process for the case where the inflaton potential res…
▽ More
The paradigm of the inflationary universe provides a possible explanation for several observed cosmological properties. In order for such solutions to be successful, the universe must convert the energy stored in the inflaton potential into standard model particles through a process known as reheating. In this paper, we reconsider the reheating process for the case where the inflaton potential respects an approximate (but spontaneously broken) conformal symmetry during the reheating epoch. After reviewing the Effective Field Theory of Reheating, we present solutions for the nonlinear oscillations of the inflaton field, derive the corresponding Hill's equation for the coupled reheating field, and determine the stability diagram for parametric resonance. For this class of models -- the simplest realization being a scalar field with a quartic term -- the expansion of the universe drives the coupled field toward a more unstable part of parameter space, in contrast to the standard case. We also generalize this class of models to include quadratic breaking terms in the potential during the reheating epoch and address the process of stability in that universality class of models.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Metriplectic Euler-Poincaré equations: smooth and discrete dynamics
Authors:
Anthony Bloch,
Marta Farré Puiggalí,
David Martín de Diego
Abstract:
In this paper we will study some interesting properties of modifications of the Euler-Poincaré equations when we add a special type of dissipative force, so that the equations of motion can be described using the metriplectic formalism. The metriplectic representation of the dynamics allows us to describe the conservation of energy, as well as to guarantee entropy production. Moreover, we describe…
▽ More
In this paper we will study some interesting properties of modifications of the Euler-Poincaré equations when we add a special type of dissipative force, so that the equations of motion can be described using the metriplectic formalism. The metriplectic representation of the dynamics allows us to describe the conservation of energy, as well as to guarantee entropy production. Moreover, we describe the use of discrete gradient systems to numerically simulate the evolution of the continuous metriplectic equations preserving their main properties: preservation of energy and correct entropy production rate.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Virtual Constraints on Lie groups
Authors:
E. Stratoglou,
A. Anahory Simoes,
A. Bloch,
L. Colombo
Abstract:
This paper studies virtual constraints on Lie groups. Virtual constraints are invariant relations imposed on a control system via feedback. In this work, we introduce the notion of \textit{virtual constraints on Lie groups}, in particular, \textit{virtual nonholonomic constraints on Lie groups}, in a geometric framework. More precisely, this object is a controlled invariant subspace associated wit…
▽ More
This paper studies virtual constraints on Lie groups. Virtual constraints are invariant relations imposed on a control system via feedback. In this work, we introduce the notion of \textit{virtual constraints on Lie groups}, in particular, \textit{virtual nonholonomic constraints on Lie groups}, in a geometric framework. More precisely, this object is a controlled invariant subspace associated with an affine connection mechanical control system on the Lie algebra associated with the Lie group which is the configuration space of the system. We demonstrate the existence and uniqueness of a control law defining a virtual nonholonomic constraint and we characterize the trajectories of the closed-loop system as solutions of a mechanical system associated with an induced constrained connection. Moreover, we characterize the reduced dynamics for nonholonomic systems in terms of virtual nonholonomic constraints, i.e., we characterize when can we obtain reduced nonholonomic dynamics from virtual nonholonomic constraints. We illustrate the theory with some examples and present simulation results for an application.
△ Less
Submitted 29 December, 2023;
originally announced December 2023.
-
Completeness of Riemannian metrics: an application to the control of constrained mechanical systems
Authors:
José Ángel Acosta,
Anthony Bloch,
David Martín de Diego
Abstract:
We introduce a mathematical technique based on modifying a given Riemannian metric and we investigate its applicability to controlling and stabilizing constrained mechanical systems. In essence our result is based on the construction of a complete Riemannian metric in the modified space where the constraint is included. In particular this can be applied to the controlled Lagrangians technique Bloc…
▽ More
We introduce a mathematical technique based on modifying a given Riemannian metric and we investigate its applicability to controlling and stabilizing constrained mechanical systems. In essence our result is based on the construction of a complete Riemannian metric in the modified space where the constraint is included. In particular this can be applied to the controlled Lagrangians technique Bloch et al. [2000b, 2001] modifying its metric to additionally cover mechanical systems with configuration constraints via control. The technique used consists of approximating incomplete Riemannian metrics by complete ones, modifying the evolution near a boundary and finding a controller satisfying a given design criterion.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Optimal Control with Obstacle Avoidance for Incompressible Ideal Flows of an Inviscid Fluid
Authors:
Alexandre Anahory Simoes,
Anthony Bloch,
Leonardo Colombo
Abstract:
It has been shown in previous works that an optimal control formulation for an incompressible ideal fluid flow yields Euler's fluid equations. In this paper we consider the modified Euler's equations by adding a potential function playing the role of a barrier function in the corresponding optimal control problem with the motivation of studying obstacle avoidance in the motion of fluid particles f…
▽ More
It has been shown in previous works that an optimal control formulation for an incompressible ideal fluid flow yields Euler's fluid equations. In this paper we consider the modified Euler's equations by adding a potential function playing the role of a barrier function in the corresponding optimal control problem with the motivation of studying obstacle avoidance in the motion of fluid particles for incompressible ideal flows of an inviscid fluid From the physical point of view, imposing an artificial potential in the fluid context is equivalent to generating a desired pressure. Simulation results for the obstacle avoidance task are provided.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
On the Geometry of Virtual Nonlinear Nonholonomic Constraints
Authors:
Efstratios Stratoglou,
Alexandre Anahory Simoes,
Anthony Bloch,
Leonardo J. Colombo
Abstract:
Virtual constraints are relations imposed on a control system that become invariant via feedback control, as opposed to physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual nonlinear nonholonomic constraints in a geometric framework which is a controlled invariant s…
▽ More
Virtual constraints are relations imposed on a control system that become invariant via feedback control, as opposed to physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual nonlinear nonholonomic constraints in a geometric framework which is a controlled invariant submanifold and we show the existence and uniqueness of a control law preserving this submanifold. We illustrate the theory with various examples and present simulation results for an application.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Contrastive Explanations of Centralized Multi-agent Optimization Solutions
Authors:
Parisa Zehtabi,
Alberto Pozanco,
Ayala Bloch,
Daniel Borrajo,
Sarit Kraus
Abstract:
In many real-world scenarios, agents are involved in optimization problems. Since most of these scenarios are over-constrained, optimal solutions do not always satisfy all agents. Some agents might be unhappy and ask questions of the form ``Why does solution $S$ not satisfy property $P$?''. We propose CMAoE, a domain-independent approach to obtain contrastive explanations by: (i) generating a new…
▽ More
In many real-world scenarios, agents are involved in optimization problems. Since most of these scenarios are over-constrained, optimal solutions do not always satisfy all agents. Some agents might be unhappy and ask questions of the form ``Why does solution $S$ not satisfy property $P$?''. We propose CMAoE, a domain-independent approach to obtain contrastive explanations by: (i) generating a new solution $S^\prime$ where property $P$ is enforced, while also minimizing the differences between $S$ and $S^\prime$; and (ii) highlighting the differences between the two solutions, with respect to the features of the objective function of the multi-agent system. Such explanations aim to help agents understanding why the initial solution is better in the context of the multi-agent system than what they expected. We have carried out a computational evaluation that shows that CMAoE can generate contrastive explanations for large multi-agent optimization problems. We have also performed an extensive user study in four different domains that shows that: (i) after being presented with these explanations, humans' satisfaction with the original solution increases; and (ii) the constrastive explanations generated by CMAoE are preferred or equally preferred by humans over the ones generated by state of the art approaches.
△ Less
Submitted 13 March, 2024; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Kronecker Product of Tensors and Hypergraphs: Structure and Dynamics
Authors:
Joshua Pickard,
Can Chen,
Cooper Stansbury,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
Hypergraphs and tensors extend classic graph and matrix theory to account for multiway relationships, which are ubiquitous in engineering, biological, and social systems. While the Kronecker product is a potent tool for analyzing the coupling of systems in graph or matrix contexts, its effectiveness in capturing multiway interactions remains elusive. In this article, we present a comprehensive exp…
▽ More
Hypergraphs and tensors extend classic graph and matrix theory to account for multiway relationships, which are ubiquitous in engineering, biological, and social systems. While the Kronecker product is a potent tool for analyzing the coupling of systems in graph or matrix contexts, its effectiveness in capturing multiway interactions remains elusive. In this article, we present a comprehensive exploration of algebraic, structural, and spectral properties of the tensor Kronecker product. We express Tucker and tensor train decompositions and various tensor eigenvalues in terms of the tensor Kronecker product. Additionally, we utilize the tensor Kronecker product to form Kronecker hypergraphs, a tensor-based hypergraph product, and investigate the structure and stability of polynomial dynamics on Kronecker hypergraphs. Finally, we provide numerical examples to demonstrate the utility of the tensor Kronecker product in computing Z-eigenvectors, various tensor decompositions, and determining the stability of polynomial systems.
△ Less
Submitted 10 April, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Symmetric Toda, gradient flows, and tridiagonalization
Authors:
Anthony M. Bloch,
Steven N. Karp
Abstract:
The Toda lattice (1967) is a Hamiltonian system given by $n$ points on a line governed by an exponential potential. Flaschka (1974) showed that the Toda lattice is integrable by interpreting it as a flow on the space of symmetric tridiagonal $n\times n$ matrices, while Moser (1975) showed that it is a gradient flow on a projective space. The symmetric Toda flow of Deift, Li, Nanda, and Tomei (1986…
▽ More
The Toda lattice (1967) is a Hamiltonian system given by $n$ points on a line governed by an exponential potential. Flaschka (1974) showed that the Toda lattice is integrable by interpreting it as a flow on the space of symmetric tridiagonal $n\times n$ matrices, while Moser (1975) showed that it is a gradient flow on a projective space. The symmetric Toda flow of Deift, Li, Nanda, and Tomei (1986) generalizes the Toda lattice flow from tridiagonal to all symmetric matrices. They showed the flow is integrable, in the classical sense of having $d$ integrals in involution on its $2d$-dimensional phase space. The system may be viewed as integrable in other ways as well. Firstly, Symes (1980, 1982) solved it explicitly via $QR$-factorization and conjugation. Secondly, Deift, Li, Nanda, and Tomei (1986) 'tridiagonalized' the system into a family of tridiagonal Toda lattices which are solvable and integrable. In this paper we derive their tridiagonalization procedure in a natural way using the fact that the symmetric Toda flow is diffeomorphic to a twisted gradient flow on a flag variety, which may then be decomposed into flows on a product of Grassmannians. These flows may in turn be embedded into projective spaces via Plücker embeddings, and mapped back to tridiagonal Toda lattice flows using Moser's construction. In addition, we study the tridiagonalized flows projected onto a product of permutohedra, using the twisted moment map of Bloch, Flaschka, and Ratiu (1990). These ideas are facilitated in a natural way by the theory of total positivity, building on our previous work (2023).
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Observability of Hypergraphs
Authors:
Joshua Pickard,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
In this paper we develop a framework to study observability for uniform hypergraphs. Hypergraphs, being extensions of graphs, allow edges to connect multiple nodes and unambiguously represent multi-way relationships which are ubiquitous in many real-world networks. We extend the canonical homogeneous polynomial or multilinear dynamical system on uniform hypergraphs to include linear outputs, and w…
▽ More
In this paper we develop a framework to study observability for uniform hypergraphs. Hypergraphs, being extensions of graphs, allow edges to connect multiple nodes and unambiguously represent multi-way relationships which are ubiquitous in many real-world networks. We extend the canonical homogeneous polynomial or multilinear dynamical system on uniform hypergraphs to include linear outputs, and we derive a Kalman-rank-like condition for assessing the local weak observability. We propose an exact techniques for determining the local observability criterion, and we propose a greedy heuristic to determine the minimum set of observable nodes. Numerical experiments demonstrate our approach on several hypergraph topologies and a hypergraph representations of neural networks within the mouse hypothalamus.
△ Less
Submitted 17 September, 2023; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Virtual Affine Nonholonomic Constraints
Authors:
Efstratios Stratoglou,
Alexandre Anahory Simoes,
Anthony Bloch,
Leonardo Colombo
Abstract:
Virtual constraints are relations imposed in a control system that become invariant via feedback, instead of real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual affine nonholonomic constraints in a geometric framework. More precisely, it is a controlled invari…
▽ More
Virtual constraints are relations imposed in a control system that become invariant via feedback, instead of real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual affine nonholonomic constraints in a geometric framework. More precisely, it is a controlled invariant affine distribution associated with an affine connection mechanical control system. We show the existence and uniqueness of a control law defining a virtual affine nonholonomic constraint.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Hypergraph Analysis Toolbox for Chromosome Conformation
Authors:
Joshua Pickard,
Can Chen,
Rahmy Salman,
Cooper Stansbury,
Sion Kim,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
Recent advances in biological technologies, such as multi-way chromosome conformation capture (3C), require development of methods for analysis of multi-way interactions. Hypergraphs are mathematically tractable objects that can be utilized to precisely represent and analyze multi-way interactions. Here we present the Hypergraph Analysis Toolbox (HAT), a software package for visualization and anal…
▽ More
Recent advances in biological technologies, such as multi-way chromosome conformation capture (3C), require development of methods for analysis of multi-way interactions. Hypergraphs are mathematically tractable objects that can be utilized to precisely represent and analyze multi-way interactions. Here we present the Hypergraph Analysis Toolbox (HAT), a software package for visualization and analysis of multi-way interactions in complex systems.
△ Less
Submitted 5 December, 2022; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Discrete Mechanics and Optimal Control for Passive Walking with Foot Slippage
Authors:
Alexandre Anahory Simoes,
Asier López-Gordón,
Anthony Bloch,
Leonardo Colombo
Abstract:
Forced variational integrators are given by the discretization of the Lagrange-d'Alembert principle for systems subject to external forces, and have proved useful for numerical simulation studies of complex dynamical systems. In this paper we model a passive walker with foot slip by using techniques of geometric mechanics, and we construct forced variational integrators for the system. Moreover, w…
▽ More
Forced variational integrators are given by the discretization of the Lagrange-d'Alembert principle for systems subject to external forces, and have proved useful for numerical simulation studies of complex dynamical systems. In this paper we model a passive walker with foot slip by using techniques of geometric mechanics, and we construct forced variational integrators for the system. Moreover, we present a methodology for generating (locally) optimal control policies for simple hybrid holonomically constrained forced Lagrangian systems, based on discrete mechanics, applied to a controlled walker with foot slip in a trajectory tracking problem.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Virtual Nonholonomic Constraints: A Geometric Approach
Authors:
Alexandre Anahory Simoes,
Efstratios Stratoglou,
Anthony Bloch,
Leonardo J. Colombo
Abstract:
Virtual constraints are invariant relations imposed on a control system via feedback as opposed to real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual nonholonomic constraints in a geometric framework. More precisely, it is a controlled invariant distribution…
▽ More
Virtual constraints are invariant relations imposed on a control system via feedback as opposed to real physical constraints acting on the system. Nonholonomic systems are mechanical systems with non-integrable constraints on the velocities. In this work, we introduce the notion of virtual nonholonomic constraints in a geometric framework. More precisely, it is a controlled invariant distribution associated with an affine connection mechanical control system. We demonstrate the existence and uniqueness of a control law defining a virtual nonholonomic constraint and we characterize the trajectories of the closed-loop system as solutions of a mechanical system associated with an induced constrained connection. Moreover, we characterize the dynamics for nonholonomic systems in terms of virtual nonholonomic constraints, i.e., we characterize when can we obtain nonholonomic dynamics from virtual nonholonomic constraints.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
On two notions of total positivity for partial flag varieties
Authors:
Anthony M. Bloch,
Steven N. Karp
Abstract:
Given integers $1 \le k_1 < \cdots < k_l \le n-1$, let $\text{Fl}_{k_1,\dots,k_l;n}$ denote the type $A$ partial flag variety consisting of all chains of subspaces $(V_{k_1}\subset\cdots\subset V_{k_l})$ inside $\mathbb{R}^n$, where each $V_k$ has dimension $k$. Lusztig (1994, 1998) introduced the totally positive part $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$ as the subset of partial flags which can be…
▽ More
Given integers $1 \le k_1 < \cdots < k_l \le n-1$, let $\text{Fl}_{k_1,\dots,k_l;n}$ denote the type $A$ partial flag variety consisting of all chains of subspaces $(V_{k_1}\subset\cdots\subset V_{k_l})$ inside $\mathbb{R}^n$, where each $V_k$ has dimension $k$. Lusztig (1994, 1998) introduced the totally positive part $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$ as the subset of partial flags which can be represented by a totally positive $n\times n$ matrix, and defined the totally nonnegative part $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ as the closure of $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$. On the other hand, following Postnikov (2007), we define $\text{Fl}_{k_1,\dots,k_l;n}^{Δ>0}$ and $\text{Fl}_{k_1,\dots,k_l;n}^{Δ\ge 0}$ as the subsets of $\text{Fl}_{k_1,\dots,k_l;n}$ where all Plücker coordinates are positive and nonnegative, respectively. It follows from the definitions that Lusztig's total positivity implies Plücker positivity, and it is natural to ask when these two notions of positivity agree. Rietsch (2009) proved that they agree in the case of the Grassmannian $\text{Fl}_{k;n}$, and Chevalier (2011) showed that the two notions are distinct for $\text{Fl}_{1,3;4}$. We show that in general, the two notions agree if and only if $k_1, \dots, k_l$ are consecutive integers. We give an elementary proof of this result (including for the case of Grassmannians) based on classical results in linear algebra and the theory of total positivity. We also show that the cell decomposition of $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ coincides with its matroid decomposition if and only if $k_1,\dots,k_l$ are consecutive integers, which was previously only known for complete flag varieties, Grassmannians, and $\text{Fl}_{1,3;4}$. Finally, we determine which notions of positivity are compatible with a natural action of the cyclic group of order $n$ that rotates the index set.
△ Less
Submitted 10 October, 2022; v1 submitted 12 June, 2022;
originally announced June 2022.
-
Lie Algebraic Cost Function Design for Control on Lie Groups
Authors:
Sangli Teng,
William Clark,
Anthony Bloch,
Ram Vasudevan,
Maani Ghaffari
Abstract:
This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking con…
▽ More
This paper presents a control framework on Lie groups by designing the control objective in its Lie algebra. Control on Lie groups is challenging due to its nonlinear nature and difficulties in system parameterization. Existing methods to design the control objective on a Lie group and then derive the gradient for controller design are non-trivial and can result in slow convergence in tracking control. We show that with a proper left-invariant metric, setting the gradient of the cost function as the tracking error in the Lie algebra leads to a quadratic Lyapunov function that enables globally exponential convergence. In the PD control case, we show that our controller can maintain an exponential convergence rate even when the initial error is approaching $π$ in SO(3). We also show the merit of this proposed framework in trajectory optimization. The proposed cost function enables the iterative Linear Quadratic Regulator (iLQR) to converge much faster than the Differential Dynamic Programming (DDP) with a well-adopted cost function when the initial trajectory is poorly initialized on SO(3).
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Architectures of Compact Multi-planet Systems: Diversity and Uniformity
Authors:
Lauren M. Weiss,
Sarah C. Millholland,
Erik A. Petigura,
Fred C. Adams,
Konstantin Batygin,
Anthony M. Bloch,
Christoph Mordasini
Abstract:
One of the most important developments in exoplanet science in the past decade is the discovery of multi-planet systems with sub-Neptune-sized planets interior to 1~AU. This chapter explores the architectures of these planetary systems, which often display a remarkable degree of uniformity: the planets have nearly equal sizes, regular orbital spacing, low eccentricities, and small mutual inclinati…
▽ More
One of the most important developments in exoplanet science in the past decade is the discovery of multi-planet systems with sub-Neptune-sized planets interior to 1~AU. This chapter explores the architectures of these planetary systems, which often display a remarkable degree of uniformity: the planets have nearly equal sizes, regular orbital spacing, low eccentricities, and small mutual inclinations. This uniformity stands in sharp contrast to the diverse nature of the exoplanet sample considered as a whole (as well as our inner solar system). We begin with a critical review of the observations -- including possible biases -- and find that these peas-in-a-pod planetary systems are apparently a common outcome of the planet formation process. Modest departures from exact uniformity suggest additional patterns, such as the planet mass slowly increasing with semi-major axis. The star formation process naturally produces circumstellar disks with the properties required to produce these planetary systems, although the solid material must move inward from its initial location. We discuss primary modes of planetary assembly, the role of orbital migration, and post-nebular atmospheric loss. Mature planetary systems are found to be near their minimum energy (tidal equilibrium) configurations; this finding provides a partial explanation for their observed properties and indicates that efficient energy dissipation must occur. Finally, we consider population synthesis models and show that peas-in-a-pod patterns emerge with reasonable choices for the input parameters. Nonetheless, interesting observational and theoretical challenges remain in order to understand how these surprisingly organized planetary systems arise from the disorder of their formation processes.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
Input Influence Matrix Design for MIMO Discrete-Time Ultra-Local Model
Authors:
Sangli Teng,
Amit K. Sanyal,
Ram Vasudevan,
Anthony Bloch,
Maani Ghaffari
Abstract:
Ultra-Local Models (ULM) have been applied to perform model-free control of nonlinear systems with unknown or partially known dynamics. Unfortunately, extending these methods to MIMO systems requires designing a dense input influence matrix which is challenging. This paper presents guidelines for designing an input influence matrix for discrete-time, control-affine MIMO systems using an ULM-based…
▽ More
Ultra-Local Models (ULM) have been applied to perform model-free control of nonlinear systems with unknown or partially known dynamics. Unfortunately, extending these methods to MIMO systems requires designing a dense input influence matrix which is challenging. This paper presents guidelines for designing an input influence matrix for discrete-time, control-affine MIMO systems using an ULM-based controller. This paper analyzes the case that uses ULM and a model-free control scheme: the Hölder-continuous Finite-Time Stable (FTS) control. By comparing the ULM with the actual system dynamics, the paper describes how to extract the input-dependent part from the lumped ULM dynamics and finds that the tracking and state estimation error are coupled. The stability of the ULM-FTS error dynamics is affected by the eigenvalues of the difference (defined by matrix multiplication) between the actual and designed input influence matrix. Finally, the paper shows that a wide range of input influence matrix designs can keep the ULM-FTS error dynamics (at least locally) asymptotically stable. A numerical simulation is included to verify the result. The analysis can also be extended to other ULM-based controllers.
△ Less
Submitted 16 March, 2022;
originally announced March 2022.
-
Telegraph systems on networks and port-Hamiltonians. III. Explicit representation and long-term behaviour
Authors:
Jacek Banasiak,
Adam Błoch
Abstract:
In this paper we present an explicit formula for the semigroup governing the solution to hyperbolic systems on a metric graph, satisfying general linear Kirchhoff's type boundary conditions. Further, we use this representation to establish the long term behaviour of the solutions. The crucial role is played by the spectral decomposition of the boundary matrix.
In this paper we present an explicit formula for the semigroup governing the solution to hyperbolic systems on a metric graph, satisfying general linear Kirchhoff's type boundary conditions. Further, we use this representation to establish the long term behaviour of the solutions. The crucial role is played by the spectral decomposition of the boundary matrix.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
Gradient flows, adjoint orbits, and the topology of totally nonnegative flag varieties
Authors:
Anthony M. Bloch,
Steven N. Karp
Abstract:
One can view a partial flag variety in $\mathbb{C}^n$ as an adjoint orbit $\mathcal{O}_λ$ inside the Lie algebra of $n \times n$ skew-Hermitian matrices. We use the orbit context to study the totally nonnegative part of a partial flag variety from an algebraic, geometric, and dynamical perspective. The paper has three main parts:
(1) We introduce the totally nonnegative part of $\mathcal{O}_λ$,…
▽ More
One can view a partial flag variety in $\mathbb{C}^n$ as an adjoint orbit $\mathcal{O}_λ$ inside the Lie algebra of $n \times n$ skew-Hermitian matrices. We use the orbit context to study the totally nonnegative part of a partial flag variety from an algebraic, geometric, and dynamical perspective. The paper has three main parts:
(1) We introduce the totally nonnegative part of $\mathcal{O}_λ$, and describe it explicitly in several cases. We define a twist map on it, which generalizes (in type $A$) a map of Bloch, Flaschka, and Ratiu (1990) on an isospectral manifold of Jacobi matrices.
(2) We study gradient flows on $\mathcal{O}_λ$ which preserve positivity, working in three natural Riemannian metrics. In the Kähler metric, positivity is preserved in many cases of interest, extending results of Galashin, Karp, and Lam (2017, 2019). In the normal metric, positivity is essentially never preserved on a generic orbit. In the induced metric, whether positivity is preserved appears to depends on the spacing of the eigenvalues defining the orbit.
(3) We present two applications. First, we discuss the topology of totally nonnegative flag varieties and amplituhedra. Galashin, Karp, and Lam (2017, 2019) showed that the former are homeomorphic to closed balls, and we interpret their argument in the orbit framework. We also show that a new family of amplituhedra, which we call twisted Vandermonde amplituhedra, are homeomorphic to closed balls. Second, we discuss the symmetric Toda flow on $\mathcal{O}_λ$. We show that it preserves positivity, and that on the totally nonnegative part, it is a gradient flow in the Kähler metric up to applying the twist map. This extends a result of Bloch, Flaschka, and Ratiu (1990).
△ Less
Submitted 22 November, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Telegraph type systems on networks and port-Hamiltonians. II. Graph realizability
Authors:
Jacek Banasiak,
Adam Błoch
Abstract:
Hyperbolic systems on networks often can be written as systems of first order equations on an interval, coupled by transmission conditions at the endpoints, also called port-Hamiltonians. However, general results for the latter have been difficult to interpret in the network language. The aim of this paper is to derive conditions under which a port-Hamiltonian with general linear Kirchhoff's bound…
▽ More
Hyperbolic systems on networks often can be written as systems of first order equations on an interval, coupled by transmission conditions at the endpoints, also called port-Hamiltonians. However, general results for the latter have been difficult to interpret in the network language. The aim of this paper is to derive conditions under which a port-Hamiltonian with general linear Kirchhoff's boundary conditions can be written as a system of $2\times 2$ hyperbolic equations on a metric graph $Γ$. This is achieved by interpreting the matrix of the boundary conditions as a potential map of vertex connections of $Γ$ and then showing that, under the derived assumptions, that matrix can be used to determine the adjacency matrix of $Γ$.
△ Less
Submitted 11 March, 2021;
originally announced March 2021.
-
Telegraph systems on networks and port-Hamiltonians. I. Boundary conditions and well-posedness
Authors:
Jacek Banasiak,
Adam Błoch
Abstract:
The paper is concerned with a system of linear hyperbolic differential equations on a network coupled through general transmission conditions of Kirchhoff's type at the nodes. We discuss the reduction of such a problem to a system of 1-dimensional hyperbolic problems for the associated Riemann invariants and provide a semigroup theoretic proof of its well-posedness. A number of examples showing th…
▽ More
The paper is concerned with a system of linear hyperbolic differential equations on a network coupled through general transmission conditions of Kirchhoff's type at the nodes. We discuss the reduction of such a problem to a system of 1-dimensional hyperbolic problems for the associated Riemann invariants and provide a semigroup theoretic proof of its well-posedness. A number of examples showing the relation of our results with recent research is also provided.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
Invariant Forms in Hybrid and Impact Systems and a Taming of Zeno
Authors:
William Clark,
Anthony Bloch
Abstract:
Hybrid (and impact) systems are dynamical systems experiencing both continuous and discrete transitions. In this work, we derive necessary and sufficient conditions for when a given differential form is invariant, with special attention paid to the case of the existence of invariant volumes. Particular attention is given to impact systems where the continuous dynamics are Lagrangian and subject to…
▽ More
Hybrid (and impact) systems are dynamical systems experiencing both continuous and discrete transitions. In this work, we derive necessary and sufficient conditions for when a given differential form is invariant, with special attention paid to the case of the existence of invariant volumes. Particular attention is given to impact systems where the continuous dynamics are Lagrangian and subject to nonholonomic constraints. A celebrated result for volume-preserving dynamical systems is Poincaré recurrence. In order to be recurrent, trajectories need to exist for long periods of time, which can be controlled in continuous-time systems through e.g. compactness. For hybrid systems, an additional mechanism can occur which breaks long-time existence: Zeno (infinitely many discrete transitions in a finite amount of time). We demonstrate that the existence of a smooth invariant volume severely inhibits Zeno behavior; hybrid systems with the "boundary identity property" along with an invariant volume-form have almost no Zeno trajectories (although Zeno trajectories can still exist). This leads to the result that many billiards (e.g. the classical point, the rolling disk, and the rolling ball) are recurrent independent on the shape of the compact table-top.
△ Less
Submitted 25 January, 2022; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Existence of invariant volumes in nonholonomic systems subject to nonlinear constraints
Authors:
William Clark,
Anthony Bloch
Abstract:
We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if and only if a certain 1-form is exact and a certain function vanishes (this function automatically vanishes for linear constraints). Moreover, this result can…
▽ More
We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if and only if a certain 1-form is exact and a certain function vanishes (this function automatically vanishes for linear constraints). Moreover, this result can be extended to geodesic flows for arbitrary metric connections and the sufficient condition manifests as integrability of the torsion. As a consequence, volume-preservation of a nonholonomic system is closely related to the torsion of the nonholonomic connection. Examples of nonlinear/affine/linear constraints are considered.
△ Less
Submitted 7 October, 2022; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Controllability of Hypergraphs
Authors:
Can Chen,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
In this paper, we develop a notion of controllability for hypergraphs via tensor algebra and polynomial control theory. Inspired by uniform hypergraphs, we propose a new tensor-based multilinear dynamical system representation, and derive a Kalman-rank-like condition to determine the minimum number of control nodes (MCN) needed to achieve controllability of even uniform hypergraphs. We present an…
▽ More
In this paper, we develop a notion of controllability for hypergraphs via tensor algebra and polynomial control theory. Inspired by uniform hypergraphs, we propose a new tensor-based multilinear dynamical system representation, and derive a Kalman-rank-like condition to determine the minimum number of control nodes (MCN) needed to achieve controllability of even uniform hypergraphs. We present an efficient heuristic to obtain the MCN. MCN can be used as a measure of robustness, and we show that it is related to the hypergraph degree distribution in simulated examples. Finally, we use MCN to examine robustness in real biological networks.
△ Less
Submitted 20 March, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Energy Optimization in Binary Star Systems: Explanation for Equal Mass Members in Close Orbits
Authors:
Fred C. Adams,
Konstantin Batygin,
Anthony M. Bloch
Abstract:
Observations indicate that members of close stellar binaries often have mass ratios close to unity, while longer-period systems exhibit a more uniform mass-ratio distribution. This paper provides a theoretical explanation for this finding by determining the tidal equilibrium states for binary star systems --- subject to the constraints of conservation of angular momentum and constant total mass. T…
▽ More
Observations indicate that members of close stellar binaries often have mass ratios close to unity, while longer-period systems exhibit a more uniform mass-ratio distribution. This paper provides a theoretical explanation for this finding by determining the tidal equilibrium states for binary star systems --- subject to the constraints of conservation of angular momentum and constant total mass. This work generalizes previous treatments by including the mass fraction as a variable in the optimization problem. The results show that the lowest energy state accessible to the system corresponds to equal mass stars on a circular orbit, where the stellar spin angular velocities are both synchronized and aligned with the orbit. These features are roughly consistent with observed properties of close binary systems. We also find the conditions required for this minimum energy state to exist: [1] The total angular momentum must exceed a critical value, [2] the orbital angular momentum must be three times greater than the total spin angular momentum, and [3] the semimajor axis is bounded from above. The last condition implies that sufficiently wide binaries are not optimized with equal mass stars, where the limiting binary separation occurs near $a_0\approx16R_\ast$.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Energy Optimization in Extrasolar Planetary Systems: The Transition from Peas-in-a-Pod to Runaway Growth
Authors:
Fred C. Adams,
Konstantin Batygin,
Anthony M. Bloch,
Gregory Laughlin
Abstract:
Motivated by the trends found in the observed sample of extrasolar planets, this paper determines tidal equilibrium states for forming planetary systems --- subject to conservation of angular momentum, constant total mass, and fixed orbital spacing. In the low-mass limit, valid for superearth-class planets with masses of order $m_{\rm p}\sim10M_\oplus$, previous work showed that energy optimizatio…
▽ More
Motivated by the trends found in the observed sample of extrasolar planets, this paper determines tidal equilibrium states for forming planetary systems --- subject to conservation of angular momentum, constant total mass, and fixed orbital spacing. In the low-mass limit, valid for superearth-class planets with masses of order $m_{\rm p}\sim10M_\oplus$, previous work showed that energy optimization leads to nearly equal mass planets, with circular orbits confined to a plane. The present treatment generalizes previous results by including the self-gravity of the planetary bodies. For systems with sufficiently large total mass $m_{\scriptstyle T}$ in planets, the optimized energy state switches over from the case of nearly equal mass planets to a configuration where one planet contains most of the material. This transition occurs for a critical mass threshold of approximately $m_{\scriptstyle T} \ge m_{\scriptstyle C}\sim40M_\oplus$ (where the value depends on the semimajor axes of the planetary orbits, the stellar mass, and other system properties). These considerations of energy optimization apply over a wide range of mass scales, from binary stars to planetary systems to the collection of moons orbiting the giant planets in our solar system.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Nonparametric Continuous Sensor Registration
Authors:
William Clark,
Maani Ghaffari,
Anthony Bloch
Abstract:
This paper develops a new mathematical framework that enables nonparametric joint semantic and geometric representation of continuous functions using data. The joint embedding is modeled by representing the processes in a reproducing kernel Hilbert space. The functions can be defined on arbitrary smooth manifolds where the action of a Lie group aligns them. The continuous functions allow the regis…
▽ More
This paper develops a new mathematical framework that enables nonparametric joint semantic and geometric representation of continuous functions using data. The joint embedding is modeled by representing the processes in a reproducing kernel Hilbert space. The functions can be defined on arbitrary smooth manifolds where the action of a Lie group aligns them. The continuous functions allow the registration to be independent of a specific signal resolution. The framework is fully analytical with a closed-form derivation of the Riemannian gradient and Hessian. We study a more specialized but widely used case where the Lie group acts on functions isometrically. We solve the problem by maximizing the inner product between two functions defined over data, while the continuous action of the rigid body motion Lie group is captured through the integration of the flow in the corresponding Lie algebra. Low-dimensional cases are derived with numerical examples to show the generality of the proposed framework. The high-dimensional derivation for the special Euclidean group acting on the Euclidean space showcases the point cloud registration and bird's-eye view map registration abilities. An implementation of this framework for RGB-D cameras outperforms the state-of-the-art robust visual odometry and performs well in texture and structure-scarce environments.
△ Less
Submitted 18 October, 2021; v1 submitted 8 January, 2020;
originally announced January 2020.
-
Data-Driven Model Reduction for Multilinear Control Systems via Tensor Trains
Authors:
Can Chen,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
In this paper, we explore the role of tensor algebra in balanced truncation (BT) based model reduction/identification for high-dimensional multilinear/linear time invariant systems. In particular, we employ tensor train decomposition (TTD), which provides a good compromise between numerical stability and level of compression, and has an associated algebra that facilitates computations. Using TTD,…
▽ More
In this paper, we explore the role of tensor algebra in balanced truncation (BT) based model reduction/identification for high-dimensional multilinear/linear time invariant systems. In particular, we employ tensor train decomposition (TTD), which provides a good compromise between numerical stability and level of compression, and has an associated algebra that facilitates computations. Using TTD, we propose a new BT approach which we refer to as higher-order balanced truncation, and consider different data-driven variations including higher-order empirical gramians, higher-order balanced proper orthogonal decomposition and a higher-order eigensystem realization algorithm. We perform computational and memory complexity analysis for these different flavors of TTD based BT methods, and compare with the corresponding standard BT methods in order to develop insights into where the proposed framework may be beneficial. We provide numerical results on simulated and experimental datasets showing the efficacy of the proposed framework.
△ Less
Submitted 24 January, 2020; v1 submitted 7 December, 2019;
originally announced December 2019.
-
Variational collision and obstacle avoidance of multi-agent systems on Riemannian manifolds
Authors:
Rama Seshan Chandrasekaran,
Leonardo J. Colombo,
Margarida Camarinha,
Ravi Banavar,
Anthony Bloch
Abstract:
In this paper we study a path planning problem from a variational approach to collision and obstacle avoidance for multi-agent systems evolving on a Riemannian manifold. The problem consists of finding non-intersecting trajectories between the agent and prescribed obstacles on the workspace, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functio…
▽ More
In this paper we study a path planning problem from a variational approach to collision and obstacle avoidance for multi-agent systems evolving on a Riemannian manifold. The problem consists of finding non-intersecting trajectories between the agent and prescribed obstacles on the workspace, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision with the obstacles and among the agents. We apply the results to examples of a planar rigid body, and collision and obstacle avoidance for agents evolving on a sphere.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
Adaptive Continuous Visual Odometry from RGB-D Images
Authors:
Tzu-Yuan Lin,
William Clark,
Ryan M. Eustice,
Jessy W. Grizzle,
Anthony Bloch,
Maani Ghaffari
Abstract:
In this paper, we extend the recently developed continuous visual odometry framework for RGB-D cameras to an adaptive framework via online hyperparameter learning. We focus on the case of isotropic kernels with a scalar as the length-scale. In practice and as expected, the length-scale has remarkable impacts on the performance of the original framework. Previously it was handled using a fixed set…
▽ More
In this paper, we extend the recently developed continuous visual odometry framework for RGB-D cameras to an adaptive framework via online hyperparameter learning. We focus on the case of isotropic kernels with a scalar as the length-scale. In practice and as expected, the length-scale has remarkable impacts on the performance of the original framework. Previously it was handled using a fixed set of conditions within the solver to reduce the length-scale as the algorithm reaches a local minimum. We automate this process by a greedy gradient descent step at each iteration to find the next-best length-scale. Furthermore, to handle failure cases in the gradient descent step where the gradient is not well-behaved, such as the absence of structure or texture in the scene, we use a search interval for the length-scale and guide it gradually toward the smaller values. This latter strategy reverts the adaptive framework to the original setup. The experimental evaluations using publicly available RGB-D benchmarks show the proposed adaptive continuous visual odometry outperforms the original framework and the current state-of-the-art. We also make the software for the developed algorithm publicly available.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Variational point-obstacle avoidance on Riemannian manifolds
Authors:
Anthony Bloch,
Margarida Camarinha,
Leonardo Colombo
Abstract:
In this letter we study variational obstacle avoidance problems on complete Riemannian manifolds. The problem consists of minimizing an energy functional depending on the velocity, covariant acceleration and a repulsive potential function used to avoid a static obstacle on the manifold, among a set of admissible curves. We derive the dynamical equations for extrema of the variational problem, in p…
▽ More
In this letter we study variational obstacle avoidance problems on complete Riemannian manifolds. The problem consists of minimizing an energy functional depending on the velocity, covariant acceleration and a repulsive potential function used to avoid a static obstacle on the manifold, among a set of admissible curves. We derive the dynamical equations for extrema of the variational problem, in particular on compact connected Lie groups and Riemannian symmetric spaces. Numerical examples are presented to illustrate the proposed method.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
The Bouncing Penny and Nonholonomic Impacts
Authors:
William Clark,
Anthony Bloch
Abstract:
The evolution of a Lagrangian mechanical system is variational. Likewise, when dealing with a hybrid Lagrangian system (a system with discontinuous impacts), the impacts can also be described by variations. These variational impacts are given by the so-called Weierstrass-Erdmann corner conditions. Therefore, hybrid Lagrangian systems can be completely understood by variational principles.
Unlike…
▽ More
The evolution of a Lagrangian mechanical system is variational. Likewise, when dealing with a hybrid Lagrangian system (a system with discontinuous impacts), the impacts can also be described by variations. These variational impacts are given by the so-called Weierstrass-Erdmann corner conditions. Therefore, hybrid Lagrangian systems can be completely understood by variational principles.
Unlike typical (unconstrained / holonomic) Lagrangian systems, nonholonomically constrained Lagrangian systems are not variational. However, by using the Lagrange-d'Alembert principle, nonholonomic systems can be described as projections of variational systems. This paper works out the analogous version of the Weierstrass-Erdmann corner conditions for nonholonomic systems and examines the billiard problem with a rolling disk.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Families of periodic orbits: closed 1-forms and global continuability
Authors:
Matthew D. Kvalheim,
Anthony M. Bloch
Abstract:
We investigate global continuation of periodic orbits of a differential equation depending on a parameter, assuming that a closed 1-form satisfying certain properties exists. We begin by extending the global continuation theory of Alexander, Alligood, Mallet-Paret, Yorke, and others to this situation, formulating a new notion of global continuability and a new global continuation theorem tailored…
▽ More
We investigate global continuation of periodic orbits of a differential equation depending on a parameter, assuming that a closed 1-form satisfying certain properties exists. We begin by extending the global continuation theory of Alexander, Alligood, Mallet-Paret, Yorke, and others to this situation, formulating a new notion of global continuability and a new global continuation theorem tailored for this situation. In particular, we show that the existence of such a 1-form ensures that local continuability of periodic orbits implies global continuability. Using our general theory, we then develop continuation-based techniques for proving the existence of periodic orbits. In contrast to previous work, a key feature of our results is that existence of periodic orbits can be proven (i) without finding trap** regions for the dynamics and (ii) without establishing a priori upper bounds on the periods of orbits. We illustrate the theory in examples inspired by the synthetic biology literature.
△ Less
Submitted 16 October, 2020; v1 submitted 8 June, 2019;
originally announced June 2019.
-
Multilinear Control Systems Theory
Authors:
Can Chen,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
In this paper, we provide a system theoretic treatment of a new class of multilinear time-invariant (MLTI) systems in which the states, inputs and outputs are tensors, and the system evolution is governed by multilinear operators. The MLTI system representation is based on the Einstein product and even-order paired tensors. There is a particular tensor unfolding which gives rise to an isomorphism…
▽ More
In this paper, we provide a system theoretic treatment of a new class of multilinear time-invariant (MLTI) systems in which the states, inputs and outputs are tensors, and the system evolution is governed by multilinear operators. The MLTI system representation is based on the Einstein product and even-order paired tensors. There is a particular tensor unfolding which gives rise to an isomorphism from this tensor space to the general linear group, i.e. the group of invertible matrices. By leveraging this unfolding operation, one can extend classical linear time-invariant (LTI) system notions including stability, reachability and observability to MLTI systems. While the unfolding based formulation is a powerful theoretical construct, the computational advantages of MLTI systems can only be fully realized while working with the tensor form, where hidden patterns/structures can be exploited for efficient representations and computations. Along these lines, we establish new results which enable one to express tensor unfolding based stability, reachability and observability criteria in terms of more standard notions of tensor ranks/decompositions. In addition, we develop a generalized CANDECOMP/PARAFAC decomposition and tensor train decomposition based model reduction framework, which can significantly reduce the number of MLTI system parameters. We demonstrate our framework with numerical examples.
△ Less
Submitted 11 December, 2020; v1 submitted 20 May, 2019;
originally announced May 2019.
-
Multilinear Time Invariant System Theory
Authors:
Can Chen,
Amit Surana,
Anthony Bloch,
Indika Rajapakse
Abstract:
In biological and engineering systems, structure, function and dynamics are highly coupled. Such interactions can be naturally and compactly captured via tensor based state space dynamic representations. However, such representations are not amenable to the standard system and controls framework which requires the state to be in the form of a vector. In order to address this limitation, recently a…
▽ More
In biological and engineering systems, structure, function and dynamics are highly coupled. Such interactions can be naturally and compactly captured via tensor based state space dynamic representations. However, such representations are not amenable to the standard system and controls framework which requires the state to be in the form of a vector. In order to address this limitation, recently a new class of multiway dynamical systems has been introduced in which the states, inputs and outputs are tensors. We propose a new form of multilinear time invariant (MLTI) systems based on the Einstein product and even-order paired tensors. We extend classical linear time invariant (LTI) system notions including stability, reachability and observability for the new MLTI system representation by leveraging recent advances in tensor algebra.
△ Less
Submitted 17 May, 2019;
originally announced May 2019.
-
Time-minimum control of quantum purity for 2-level Lindblad equations
Authors:
William Clark,
Anthony Bloch,
Leonardo Colombo,
Patrick Rooney
Abstract:
We study time-minimum optimal control for a class of quantum two-dimensional dissipative systems whose dynamics are governed by the Lindblad equation and where control inputs acts only in the Hamiltonian. The dynamics of the control system are analyzed as a bi-linear control system on the Bloch ball after a decoupling of such dynamics into intra- and inter-unitary orbits. The (singular) control pr…
▽ More
We study time-minimum optimal control for a class of quantum two-dimensional dissipative systems whose dynamics are governed by the Lindblad equation and where control inputs acts only in the Hamiltonian. The dynamics of the control system are analyzed as a bi-linear control system on the Bloch ball after a decoupling of such dynamics into intra- and inter-unitary orbits. The (singular) control problem consists of finding a trajectory of the state variables solving a radial equation in the minimum amount of time, starting at the completely mixed state and ending at the state with the maximum achievable purity.
The boundary value problem determined by the time-minimum singular optimal control problem is studied numerically. If controls are unbounded, simulations show that multiple local minimal solutions might exist. To find the unique globally minimal solution, we must repeat the algorithm for various initial conditions and find the best solution out of all of the candidates. If controls are bounded, optimal controls are given by bang-bang controls using the Pontryagin minimum principle. Using a switching map we construct optimal solutions consisting of singular arcs. If controls are bounded, the analysis of our model also implies classical analysis done previously for this problem.
△ Less
Submitted 20 April, 2019;
originally announced April 2019.
-
Continuous Direct Sparse Visual Odometry from RGB-D Images
Authors:
Maani Ghaffari,
William Clark,
Anthony Bloch,
Ryan M. Eustice,
Jessy W. Grizzle
Abstract:
This paper reports on a novel formulation and evaluation of visual odometry from RGB-D images. Assuming a static scene, the developed theoretical framework generalizes the widely used direct energy formulation (photometric error minimization) technique for obtaining a rigid body transformation that aligns two overlap** RGB-D images to a continuous formulation. The continuity is achieved through…
▽ More
This paper reports on a novel formulation and evaluation of visual odometry from RGB-D images. Assuming a static scene, the developed theoretical framework generalizes the widely used direct energy formulation (photometric error minimization) technique for obtaining a rigid body transformation that aligns two overlap** RGB-D images to a continuous formulation. The continuity is achieved through functional treatment of the problem and representing the process models over RGB-D images in a reproducing kernel Hilbert space; consequently, the registration is not limited to the specific image resolution and the framework is fully analytical with a closed-form derivation of the gradient. We solve the problem by maximizing the inner product between two functions defined over RGB-D images, while the continuous action of the rigid body motion Lie group is captured through the integration of the flow in the corresponding Lie algebra. Energy-based approaches have been extremely successful and the developed framework in this paper shares many of their desired properties such as the parallel structure on both CPUs and GPUs, sparsity, semi-dense tracking, avoiding explicit data association which is computationally expensive, and possible extensions to the simultaneous localization and map** frameworks. The evaluations on experimental data and comparison with the equivalent energy-based formulation of the problem confirm the effectiveness of the proposed technique, especially, when the lack of structure and texture in the environment is evident.
△ Less
Submitted 23 August, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Trees, Forests, and Stationary States of Quantum Lindblad Systems
Authors:
Patrick Rooney,
Anthony M. Bloch,
Chitra Rangan
Abstract:
In this paper, we study the stationary orbits of quantum Lindblad systems. We show that they can be characterized in terms of trees and forests on a directed graph with edge weights that depend on the Lindblad operators and the eigenbasis of the density operator. For a certain class of typical Lindblad systems, this characterization can be used to find the asymptotic end-states. There is a unique…
▽ More
In this paper, we study the stationary orbits of quantum Lindblad systems. We show that they can be characterized in terms of trees and forests on a directed graph with edge weights that depend on the Lindblad operators and the eigenbasis of the density operator. For a certain class of typical Lindblad systems, this characterization can be used to find the asymptotic end-states. There is a unique end-state for each basin of the graph (the strongly connected components with no outgoing edges). In most cases, every asymptotic end-state must be a linear combination thereof, but we prove necessary and sufficient conditions under which symmetry in the Lindblad and Hamiltonian operators hide other end-states or stable oscillations between end-states.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
Dynamic interpolation for obstacle avoidance on Riemannian manifolds
Authors:
Anthony Bloch,
Margarida Camarinha,
Leonardo Colombo
Abstract:
This work is devoted to studying dynamic interpolation for obstacle avoidance. This is a problem that consists of minimizing a suitable energy functional among a set of admissible curves subject to some interpolation conditions. The given energy functional depends on velocity, covariant acceleration and on artificial potential functions used for avoiding obstacles.
We derive first-order necessar…
▽ More
This work is devoted to studying dynamic interpolation for obstacle avoidance. This is a problem that consists of minimizing a suitable energy functional among a set of admissible curves subject to some interpolation conditions. The given energy functional depends on velocity, covariant acceleration and on artificial potential functions used for avoiding obstacles.
We derive first-order necessary conditions for optimality in the proposed problem; that is, given interpolation and boundary conditions we find the set of differential equations describing the evolution of a curve that satisfies the prescribed boundary values, interpolates the given points and is an extremal for the energy functional.
We study the problem in different settings including a general one on a Riemannian manifold and a more specific one on a Lie group endowed with a left-invariant metric. We also consider a sub-Riemannian problem. We illustrate the results with examples of rigid bodies, both planar and spatial, and underactuated vehicles including a unicycle and an underactuated unmanned vehicle.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Variational collision avoidance problems on Riemannian manifolds
Authors:
Mishal Assif,
Ravi Banavar,
Anthony Bloch,
Margarida Camarinha,
Leonardo Colombo
Abstract:
In this article we introduce a variational approach to collision avoidance of multiple agents evolving on a Riemannian manifold and derive necessary conditions for extremals. The problem consists of finding non-intersecting trajectories of a given number of agents, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the vel…
▽ More
In this article we introduce a variational approach to collision avoidance of multiple agents evolving on a Riemannian manifold and derive necessary conditions for extremals. The problem consists of finding non-intersecting trajectories of a given number of agents, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision among the agents. The results are validated through numerical experiments on the manifolds $\mathbb{R}^{2}$ and $S^2$.
△ Less
Submitted 31 March, 2018;
originally announced April 2018.
-
Poincaré-Bendixson Theorem for Hybrid Systems
Authors:
William Clark,
Anthony Bloch,
Leonardo Colombo
Abstract:
The Poincaré-Bendixson theorem plays an important role in the study of the qualitative behavior of dynamical systems on the plane; it describes the structure of limit sets in such systems. We prove a version of the Poincaré-Bendixson Theorem for two dimensional hybrid dynamical systems and describe a method for computing the derivative of the Poincaré return map, a useful object for the stability…
▽ More
The Poincaré-Bendixson theorem plays an important role in the study of the qualitative behavior of dynamical systems on the plane; it describes the structure of limit sets in such systems. We prove a version of the Poincaré-Bendixson Theorem for two dimensional hybrid dynamical systems and describe a method for computing the derivative of the Poincaré return map, a useful object for the stability analysis of hybrid systems. We also prove a Poincaré-Bendixson Theorem for a class of one dimensional hybrid dynamical systems.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
The variational discretization of the constrained higher-order Lagrange-Poincaré equations
Authors:
Anthony Bloch,
Leonardo Colombo,
Fernando Jiménez
Abstract:
In this paper we investigate a variational discretization for the class of mechanical systems in presence of symmetries described by the action of a Lie group which reduces the phase space to a (non-trivial) principal bundle. By introducing a discrete connection we are able to obtain the discrete constrained higher-order Lagrange-Poincaré equations. These equations describe the dynamics of a const…
▽ More
In this paper we investigate a variational discretization for the class of mechanical systems in presence of symmetries described by the action of a Lie group which reduces the phase space to a (non-trivial) principal bundle. By introducing a discrete connection we are able to obtain the discrete constrained higher-order Lagrange-Poincaré equations. These equations describe the dynamics of a constrained Lagrangian system when the Lagrangian function and the constraints depend on higher-order derivatives such as the acceleration, jerk or jounces. The equations, under some mild regularity conditions, determine a well defined (local) flow which can be used to define a numerical scheme to integrate the constrained higher-order Lagrange-Poincaré equations.
Optimal control problems for underactuated mechanical systems can be viewed as higher-order constrained variational problems. We study how a variational discretization can be used in the construction of variational integrators for optimal control of underactuated mechanical systems where control inputs act soley on the base manifold of a principal bundle (the shape space). Examples include the energy minimum control of an electron in a magnetic field and two coupled rigid bodies attached at a common center of mass.
△ Less
Submitted 16 July, 2018; v1 submitted 2 January, 2018;
originally announced January 2018.
-
An extension to the theory of controlled Lagrangians using the Helmholtz conditions
Authors:
Marta Farré Puiggalí,
Anthony M. Bloch
Abstract:
The Helmholtz conditions are necessary and sufficient conditions for a system of second order differential equations to be variational, that is, equivalent to a system of Euler-Lagrange equations for a regular Lagrangian. On the other hand, matching conditions are sufficient conditions for a class of controlled systems to be variational for a Lagrangian function of a prescribed type, known as the…
▽ More
The Helmholtz conditions are necessary and sufficient conditions for a system of second order differential equations to be variational, that is, equivalent to a system of Euler-Lagrange equations for a regular Lagrangian. On the other hand, matching conditions are sufficient conditions for a class of controlled systems to be variational for a Lagrangian function of a prescribed type, known as the controlled Lagrangian. Using the Helmholtz conditions we are able to recover the matching conditions from [8]. Furthermore we can derive new matching conditions for a particular class of mechanical systems. It turns out that for this class of systems we obtain feedback controls that only depend on the configuration variables. We test this new strategy for the inverted pendulum on a cart and for the inverted pendulum on an incline.
△ Less
Submitted 18 November, 2017;
originally announced November 2017.
-
Variational obstacle avoidance problem on Riemannian manifolds
Authors:
Anthony Bloch,
Margarida Camarinha,
Leonardo Colombo
Abstract:
We introduce variational obstacle avoidance problems on Riemannian manifolds and derive necessary conditions for the existence of their normal extremals. The problem consists of minimizing an energy functional depending on the velocity and covariant acceleration, among a set of admissible curves, and also depending on a navigation function used to avoid an obstacle on the workspace, a Riemannian m…
▽ More
We introduce variational obstacle avoidance problems on Riemannian manifolds and derive necessary conditions for the existence of their normal extremals. The problem consists of minimizing an energy functional depending on the velocity and covariant acceleration, among a set of admissible curves, and also depending on a navigation function used to avoid an obstacle on the workspace, a Riemannian manifold.
We study two different scenarios, a general one on a Riemannian manifold and, a sub-Riemannian problem. By introducing a left-invariant metric on a Lie group, we also study the variational obstacle avoidance problem on a Lie group. We apply the results to the obstacle avoidance problem of a planar rigid body and an unicycle.
△ Less
Submitted 16 March, 2017; v1 submitted 14 March, 2017;
originally announced March 2017.
-
Optimal Control of Quantum Purity for $n=2$ Systems
Authors:
William Clark,
Anthony Bloch,
Leonardo Colombo,
Patrick Rooney
Abstract:
The objective of this work is to study time-minimum and energy-minimum global optimal control for dissipative open quantum systems whose dynamics is governed by the Lindblad equation. The controls appear only in the Hamiltonian.
Using recent results regarding the decoupling of such dissipative dynamics into intra- and inter-unitary orbits, we transform the control system into a bi-linear control…
▽ More
The objective of this work is to study time-minimum and energy-minimum global optimal control for dissipative open quantum systems whose dynamics is governed by the Lindblad equation. The controls appear only in the Hamiltonian.
Using recent results regarding the decoupling of such dissipative dynamics into intra- and inter-unitary orbits, we transform the control system into a bi-linear control system on the Bloch ball (the unitary sphere together with its interior). We then design a numerical algorithm to construct an optimal path to achieve a desired point given initial states close to the origin (the singular point) of the Bloch ball. This is done both for the minimum-time and minimum -energy control problems.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.