A Linear Test for Global Nonlinear Controllability (2405.09108v1)
Abstract: 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 invertibility of the sub-Laplacian operator implies a weaker form of controllability, where the reachable sets of a neighborhood of a point have full measure. From a computational point of view, one can then use the spectral gap of the (infinite-dimensional) self-adjoint operator to define a notion of degree of controllability. An essential tool to establish the converse result is to use the relation between invertibility of the sub-Laplacian to the the controllability of the corresponding continuity equation using possibly non-smooth controls. Then using Ambrosio-Gigli-Savare's superposition principle from optimal transport theory we relate it to controllability properties of the control system. While the proof can be considered of the Perron-Frobenius type, we also provide a second dual Koopman point of view.
- Control theory from the geometric viewpoint, volume 87. Springer Science & Business Media, 2013.
- Gradient flows: in metric spaces and in the space of probability measures. Springer Science & Business Media, 2005.
- Sub-riemannian structures on groups of diffeomorphisms. Journal of the Institute of Mathematics of Jussieu, 16(4):745–785, 2017.
- Patrick Bernard. Young measures, superposition and transport. Indiana University mathematics journal, pages 247–275, 2008.
- Hormander Operators. World Scientific, 2022.
- Approximately controllable finite-dimensional bilinear systems are controllable. Systems & Control Letters, 157:105028, 2021.
- The ’l’ax-’m’ilgram theorem. a detailed proof to be formalized in coq. arXiv preprint arXiv:1607.03618, 2016.
- Denoising diffusion-based control of nonlinear systems. arXiv preprint arXiv:2402.02297, 2024.
- Lipschitz continuity, global smooth approximations and extension theorems for sobolev functions in carnot-carathéodory spaces. Journal d’Analyse Mathématique, 74(1):67–97, 1998.
- Joao P Hespanha. Linear systems theory. Princeton university press, 2018.
- Lars Hörmander. Hypoelliptic second order differential equations. Acta Mathematica, 119(none):147 – 171, 1967.
- Alberto Isidori. Nonlinear control systems: an introduction. Springer, 1985.
- A nonholonomic Moser theorem and optimal transport. Journal of Symplectic Geometry, 7(4):381–414, 2009.
- Chaos, fractals, and noise: stochastic aspects of dynamics, volume 97. Springer Science & Business Media, 2013.
- Koopman operator in systems and control. Springer, 2020.
- Duy-Minh Nhieu. The Neumann problem for sub-Laplacians on Carnot groups and the extension theorem for Sobolev spaces. Annali di Matematica Pura ed Applicata, 180:1–25, 2001.
- Hypoelliptic differential operators and nilpotent groups. 1976.
- Lyapunov measure for almost everywhere stability. IEEE Transactions on Automatic Control, 53(1):307–323, 2008.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
