Related papers: Invariant submanifolds for affine control systems
We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero…
Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(\alpha_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More…
Given an affine scheme X with an action of a reductive group G and a G-linearized coherent sheaf M, we construct the ``invariant Quot scheme'' that parametrizes the quotients of M whose space of global sections is a direct sum of simple…
The purpose of this paper is to present explicitly the solution curve for affine control systems on Lie groups under the assumption that automorphisms associated to the linear vector fields commutes. If we assume that the derivations…
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…
We survey incremental methods for minimizing a sum $\sum_{i=1}^mf_i(x)$ consisting of a large number of convex component functions $f_i$. Our methods consist of iterations applied to single components, and have proved very effective in…
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $\Delta_g$ on…
It is known that if a nonlinear control affine system without drift is bracket generating, then its associated sub-Laplacian is invertible under some conditions on the domain. In this note, we investigate the converse. We show how…
In this article we consider the action of affine group and time rescaling on planar quadratic differential systems. We construct a system of representatives of the orbits of systems with four invariant lines, including the line at infinity…
For homogeneous reductive spaces G/H with reductive complements decomposable into an orthogonal sum \mathfrak{m}=\mathfrak{m}_1 \oplus \mathfrak{m}_2 \oplus \mathfrak{m}_3 of three Ad(H)-invariant irreducible mutually inequivalent…
In this paper, we put the issue of dynamic equivalence of control systems in the context of pullbacks of coframings on infinite jet bundles over the state manifolds. While much attention has been given to differentially flat systems, i.e.…
We consider a nonlinear ordinary differential equation and want to control its behavior so that it reaches a target by minimizing a cost function. Our approach is to use hybrid systems to solve this problem: the complex dynamic is replaced…
This note studies the global controllability of a general nonlinear system by extending it to affine one. The state space of the obtained affine system admits a nature foliation, each leaf of which is diffeomorphic to the state space of the…
Given a multi-input, nonlinear, time-invariant, control-affine system and a controlled invariant, closed, embedded submanifold $\mathsf{N}$, the local transverse feedback linearization (TFL) problem seeks a coordinate and feedback…
We investigate optimal control of dynamical systems which are affine, i.e., linear in control, but nonlinear in state. The control task is to enforce the system state to follow a prescribed desired trajectory as closely as possible, a task…
We present several new algorithms for computing factorization invariant values over affine semigroups. In particular, we give (i) the first known algorithm to compute the delta set of any affine semigroup, (ii) an improved method of…
The purpose of this paper is to use the framework of Lie algebroids to study optimal control problems for affine connection control systems on Lie groups. In this context, the equations for critical trajectories of the problem are…
This paper introduces the Koopman Control Family (KCF), a mathematical framework for modeling general (not necessarily control-affine) discrete-time nonlinear control systems with the aim of providing a solid theoretical foundation for the…
We construct complete sets of invariant quantities that are integrals of motion for two Hamiltonian systems obtained through a reduction procedure, thus proving that these systems are maximally superintegrable. We also discuss the reduction…
In this paper, we study a regularised relaxed optimal control problem and, in particular, we are concerned with the case where the control variable is of large dimension. We introduce a system of mean-field Langevin equations, the invariant…