Searcharxiv⌕ Search

arXiv subjects

Anthony Bloch

Publications and source records attributed to Anthony Bloch.

At least 37 records · Page 2Linked to original sources

Nonholonomic mechanics and virtual constraints on Riemannian homogeneous spaces

Nonholonomic systems are, so to speak, mechanical systems with a prescribed restriction on the velocities. A virtual nonholonomic constraint is a controlled invariant distribution associated with an affine connection mechanical control system. A Riemannian homogeneous space is, a Riemannian manifold that looks the same everywhere, as you move through it by the action of a Lie group. These Riemannian manifolds are not necessarily Lie groups themselves, but nonetheless possess certain symmetries and invariances that allow for similar results to be obtained. In this work, we introduce the notion of virtual constraint on Riemannian homogeneous spaces in a geometric framework which is a generalization of the classical controlled invariant distribution setting and we show the existence and uniqueness of a control law preserving the invariant distribution. Moreover we characterize the closed-loop dynamics obtained using the unique control law in terms of an affine connection. We illustrate the theory with new examples of nonholonomic control systems inspired by robotics applications.

math.OC↗

Geometric stabilization of virtual linear nonholonomic constraints

In this paper, we give sufficient conditions for and deduce a control law under which a mechanical control system converges exponentially fast to a virtual linear nonholonomic constraint that is control invariant via the same feedback control. Virtual constraints are relations imposed on a control system that become invariant via feedback control, as opposed to physical constraints acting on the system. Virtual nonholonomic constraints, similarly to mechanical nonholonomic constraints, are a class of virtual constraints that depend on velocities rather than only on the configurations of the system.

math.OC↗

A Generalized Metriplectic System via Free Energy and System~Identification via Bilevel Convex Optimization

This work generalizes the classical metriplectic formalism to model Hamiltonian systems with nonconservative dissipation. Classical metriplectic representations allow for the description of energy conservation and production of entropy via a suitable selection of an entropy function and a bilinear symmetric metric. By relaxing the Casimir invariance requirement of the entropy function, this paper shows that the generalized formalism induces the free energy analogous to thermodynamics. The monotonic change of free energy can serve as a more precise criterion than mechanical energy or entropy alone. This paper provides examples of the generalized metriplectic system in a 2-dimensional Hamiltonian system and $\mathrm{SO}(3)$. This paper also provides a bilevel convex optimization approach for the identification of the metriplectic system given measurements of the system.

eess.SY↗

Geometric Aspects of Observability of Hypergraphs

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.

math.DS↗

Kronecker Product of Tensors and Hypergraphs: Structure and Dynamics

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.

math.DS↗

The Interplay Between Symmetries and Impact Effects on Hybrid Mechanical Systems

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.

cs.RO↗

Metriplectic Euler-Poincaré equations: smooth and discrete dynamics

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.

math-ph↗

Completeness of Riemannian metrics: an application to the control of constrained mechanical systems

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.

eess.SY↗

On the Geometry of Virtual Nonlinear Nonholonomic Constraints

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.

math.OC↗

Observability of Hypergraphs

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.

math.DS↗

Virtual Affine Nonholonomic Constraints

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.

math.OC↗

Hypergraph Analysis Toolbox for Chromosome Conformation

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.

q-bio.QM↗

Existence of invariant volumes in nonholonomic systems subject to nonlinear constraints

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.

math.DS↗

Discrete Mechanics and Optimal Control for Passive Walking with Foot Slippage

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.

eess.SY↗

Virtual Nonholonomic Constraints: A Geometric Approach

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.

eess.SY↗

Lie Algebraic Cost Function Design for Control on Lie Groups

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).

math.OC↗

Input Influence Matrix Design for MIMO Discrete-Time Ultra-Local Model

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.

cs.RO↗

Invariant Forms in Hybrid and Impact Systems and a Taming of Zeno

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.

math.DS↗