A Hadamard-type open map theorem for submersions and applications to completeness results in control theory
DOI10.1007/s10231-014-0471-xzbMath1367.46003arXiv1408.3707MaRDI QIDQ268203
Daniele Morbidelli, Andrea Bonfiglioli, Annamaria Montanari
Publication date: 14 April 2016
Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.3707
complete vector fields; Hadamard inverse map theorem; involutive vector fields; Moore-Penrose pseudoinverse; submersion
17B66: Lie algebras of vector fields and related (super) algebras
93B27: Geometric methods
34H05: Control problems involving ordinary differential equations
58B20: Riemannian, Finsler and other geometric structures on infinite-dimensional manifolds
46A30: Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness)
58C25: Differentiable maps on manifolds
Cites Work
- On differential equations characterized by their Lie point symmetries
- Superposition rules and stochastic Lie-Scheffers systems
- Balls and metrics defined by vector fields. I: Basic properties
- Controllability in nonlinear systems
- Ehresmann fibrations and Palais-Smale conditions for morphisms of Finsler manifolds
- On the Poincaré inequality for vector fields
- Almost exponential maps and integrability results for a class of horizontally regular vector fields
- Integration of locally exponential Lie algebras of vector fields
- A geometric approach to feedback stabilization of nonlinear systems with drift
- Foliations and fibrations
- Some Frobenius theorems in global analysis
- Equivalence of control systems with linear systems on Lie groups and homogeneous spaces
- A Sufficient Condition that a Mapping of Riemannian Manifolds be a Fibre Bundle
- Global Surjectivity of Submersions Via Contractibility of the Fibers
- The Automorphism Group of a Geometric Structure
- Nonsmooth Hörmander vector fields and their control balls
- A global formulation of the Lie theory of transformation groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
