Related papers: Invariant submanifolds for affine control systems

For quantum systems described by finite matrices, linear and affine maps of matrices are shown to provide equivalent descriptions of evolution of density matrices for a subsystem caused by unitary Hamiltonian evolution in a larger system;…

The paper demonstrates that invariant foliations are accurate, data-efficient and practical tools for data-driven modelling of physical systems. Invariant foliations can be fitted to data that either fill the phase space or cluster about an…

A geometric setup for control theory is presented. The argument is developed through the study of the extremals of action functionals defined on piecewise differentiable curves, in the presence of differentiable non-holonomic constraints.…

This paper develops a new approach to small time local attainability of smooth manifolds of any dimension, possibly with boundary and to prove H\"older continuity of the minimum time function. We give explicit pointwise conditions of any…

Let $M$ be a smooth manifold of dimension $2n$, and let $O_{M}$ be the dense open subbundle in $\wedge^{2}T^{\ast}M$ of $2$-covectors of maximal rank. The algebra of $\operatorname*{Diff}M$-invariant smooth functions of first order on…

The paper introduces a technique that decomposes the dynamics of a nonlinear system about an equilibrium into low order components, which then can be used to reconstruct the full dynamics. This is a nonlinear analogue of linear modal…

Control barrier function (CBF) has recently started to serve as a basis to develop approaches for enforcing safety requirements in control systems. However, constructing such function for a general system is a non-trivial task. This paper…

In this work we shall present a survey on problems and results on singular holomorphic foliations and Pfaff systems on complex manifolds assuming that these objects possess invariant analytic varieties. We will focus on recent results which…

We present a framework based on interval analysis and monotone systems theory to certify and search for forward invariant sets in nonlinear systems with neural network controllers. The framework (i) constructs localized first-order…

Affine systems reachability is the basis of many verification methods. With further computation, methods exist to reason about richer models with inputs, nonlinear differential equations, and hybrid dynamics. As such, the scalability of…

This is a review with examples concerning the concepts of affine (in particular, constant and linear) vector fields and fundamental vector fields on a manifold. The affine, linear and constant vector fields on a manifold are shown to be in…

Problem of time-optimal control of linear systems with fractional dynamics is treated in the paper from the convex-analytic standpoint. A linear system of fractional differential equations involving Riemann--Liouville derivatives is…

An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the…

Let f,g be two algebraically independent regular functions from the smooth affine complex variety U to the affine line. The associated exponential Gauss-Manin systems on the affine line are defined to be the cohomology sheaves of the direct…

Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…

We present a subtraction scheme for ultraviolet (UV) divergent, infrared (IR) safe scalar Feynman integrals in dimensional regularization with any number of scales. This is done by the introduction of $u$-variables, which are a suitable…

We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than explicit, representations for controlled invariant sets.…

Each rule $f$ that assigns a vector $f(G)$ to an $(n+1)$-graph $G$ determines a class (or property) of $n$-manifold invariants. An invariant $v=v(M)$ is in this class if, for any triangulated manifold $|G|=M$, one has that $v(M)$ is a…

In the article we discuss the notion of the generalized invariant manifold introduced in our previous study. In the literature the method of the differential constraints is well known as a tool for constructing particular solutions for the…

The invariant ellipsoid method is aimed at minimization of the smallest invariant and attractive set of a linear control system operating under bounded external disturbances. This paper extends this technique to a class of the so-called…