Abstract
Given a control system \(F\) with state space \(P\) and a control system \(f\) with state space \(M\), we define a notion of what it means for a mapping \(\varPhi :P\rightarrow M\) to lift the system \(f\) to \(F\). Roughly speaking, this means that trajectories of \(f\) can be associated to trajectories of \(F\) in such a manner that lifted trajectories of \(F\) are mapped by \(\varPhi \) back to the corresponding trajectories of \(f\). In this situation, we establish a fairly general sufficient condition for controllability properties of \(f\) to induce (or be lifted to) corresponding controllability properties for the system \(F\) via the mapping \(\varPhi \). We give two applications of this result. In the first application, \(F\) and \(f\) are linear systems and \(\varPhi \) is a linear mapping. In the second application, \(\varPhi \) defines a fiber-bundle structure on \(P\) over \(M\). These applications are in fact closely related to known results obtained by other researchers, but our objective is to show that these two seemingly disparate situations can be treated under the guise of a common framework. We also address an existence question: given a (controllable) system \(f\) on the state space \(M\) and a mapping \(\varPhi :P\rightarrow M\), when can the system \(f\) be lifted to a (controllable) system \(F\) on the state space \(P\) via the mapping \(\varPhi \)? Our final result shows that if \(\varPhi :P\rightarrow M\) is a \(k\)-fold covering space of \(M\) that lifts a system \(f\) on \(M\) to a system \(F\) on \(P\), then the global controllability of \(f\) implies the global controllability of \(F\).
Similar content being viewed by others
References
Gordon WB (1972) On the diffeomrphisms of Euclidean space. Am Math Mon 79:755–759
Grasse KA (1985) A condition equivalent to global controllability in systems of vector fields. J Differ Equ 56:263–269
Grasse KA (1995) Reachability of interior states by piecewise constant controls. Forum Math 7:607–628
Grasse KA (2004) A vector-bundle version of a theorem of V. Doležal. Linear Algebra Appl 392:45–59
Grasse KA (2005) Lifting of trajectories of control systems related by smooth mappings. Syst Control Lett 54:195–205
Grasse KA (2007) Simulation and bisimulation of nonlinear control systems with admissible classes of inputs and disturbances. SIAM J Control Optim 46:562–584
Grasse KA (2008) Admissible simulation relations, set-valued feedback, and controlled invariance. Math Control Signals Syst 20:199–226
Grasse KA, Sussmann HJ (1990) Global controllability by nice controls. In: Sussmann HJ (ed) Nonlinear controllability and optimal control. Marcel-Dekker, New York, pp 33–79
Hermann R, Krener A (1977) Nonlinear controllability and observability. IEEE Trans Automatic Control AC-22:728–740
Hu ST (1959) Homotopy theory. Academic Press, New York
Jurdjevic V, Sussmann HJ (1972) Control systems on Lie groups. J Differ Equ 12:313–329
Lobry C (1970) Contrôlabilité des systèmes non linéaires. SIAM J Control 8:573–605
Lobry C (1976) Erratum: “Contrôlabilité des systèmes non linéaires”. SIAM J Control 8:573–605. SIAM J Control Optim 14:387
Pappas GJ (2003) Bisimilar linear systems. Automatica J IFAC 39:2035–2047
Pappas GJ, Lafferriere G, Sastry S (2000) Hierarchically consistent control systems. IEEE Trans Autom Control 45:1144–1160
Pappas GJ, Simić S (2002) Consistent abstractions of affine control systems. IEEE Trans Autom Control 47:745–756
San Martin L, Crouch PE (1984) Controllability on principal fibre bundles with compact structure group. Syst Control Lett 5:35–40
Steenrod N (1951) The topology of fibre bundles. Princeton University Press, Princeton
Sussmann HJ (1976) Some properties of vector field systems that are not altered by small perturbations. J Differ Equ 20:292–315
Sussmann HJ, Jurdjevic V (1972) Controllability of nonlinear systems. J Differ Equ 12:95–116
Tabuada P, Pappas GJ (2004) Bisimilar control affine systems. Syst Control Lett 52:49–58
van der Schaft AJ (2004) Bisimulation of dynamical systems. In: Hybrid systems: computation and control: 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings, vol 2993. Lecture notes in computer science. Springer, Heidelberg, pp 555–569
van der Schaft AJ (2004) Equivalence of dynamical systems by bisimulation. IEEE Trans Autom Control 49:2160–2172
Warner F (1971) Foundations of differentiable manifolds and Lie groups. Scott, Foresman and Company, Glenview
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Grasse, K.A. Controllability properties of nonlinear systems induced by lifting. Math. Control Signals Syst. 27, 187–217 (2015). https://doi.org/10.1007/s00498-014-0138-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498-014-0138-6