Skip to main content
Springer Nature Link
Log in

Controllability properties of nonlinear systems induced by lifting

  • Original Article
  • Published:
Mathematics of Control, Signals, and Systems Aims and scope Submit manuscript

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\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gordon WB (1972) On the diffeomrphisms of Euclidean space. Am Math Mon 79:755–759

    Article  MATH  Google Scholar 

  2. Grasse KA (1985) A condition equivalent to global controllability in systems of vector fields. J Differ Equ 56:263–269

    Article  MATH  MathSciNet  Google Scholar 

  3. Grasse KA (1995) Reachability of interior states by piecewise constant controls. Forum Math 7:607–628

    Article  MATH  MathSciNet  Google Scholar 

  4. Grasse KA (2004) A vector-bundle version of a theorem of V. Doležal. Linear Algebra Appl 392:45–59

    Article  MATH  MathSciNet  Google Scholar 

  5. Grasse KA (2005) Lifting of trajectories of control systems related by smooth mappings. Syst Control Lett 54:195–205

    Article  MATH  MathSciNet  Google Scholar 

  6. Grasse KA (2007) Simulation and bisimulation of nonlinear control systems with admissible classes of inputs and disturbances. SIAM J Control Optim 46:562–584

    Article  MATH  MathSciNet  Google Scholar 

  7. Grasse KA (2008) Admissible simulation relations, set-valued feedback, and controlled invariance. Math Control Signals Syst 20:199–226

    Article  MATH  MathSciNet  Google Scholar 

  8. 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

    Google Scholar 

  9. Hermann R, Krener A (1977) Nonlinear controllability and observability. IEEE Trans Automatic Control AC-22:728–740

  10. Hu ST (1959) Homotopy theory. Academic Press, New York

    MATH  Google Scholar 

  11. Jurdjevic V, Sussmann HJ (1972) Control systems on Lie groups. J Differ Equ 12:313–329

    Article  MATH  MathSciNet  Google Scholar 

  12. Lobry C (1970) Contrôlabilité des systèmes non linéaires. SIAM J Control 8:573–605

    Article  MATH  MathSciNet  Google Scholar 

  13. Lobry C (1976) Erratum: “Contrôlabilité des systèmes non linéaires”. SIAM J Control 8:573–605. SIAM J Control Optim 14:387

  14. Pappas GJ (2003) Bisimilar linear systems. Automatica J IFAC 39:2035–2047

  15. Pappas GJ, Lafferriere G, Sastry S (2000) Hierarchically consistent control systems. IEEE Trans Autom Control 45:1144–1160

    Article  MATH  MathSciNet  Google Scholar 

  16. Pappas GJ, Simić S (2002) Consistent abstractions of affine control systems. IEEE Trans Autom Control 47:745–756

    Article  Google Scholar 

  17. San Martin L, Crouch PE (1984) Controllability on principal fibre bundles with compact structure group. Syst Control Lett 5:35–40

    Article  MATH  MathSciNet  Google Scholar 

  18. Steenrod N (1951) The topology of fibre bundles. Princeton University Press, Princeton

    MATH  Google Scholar 

  19. Sussmann HJ (1976) Some properties of vector field systems that are not altered by small perturbations. J Differ Equ 20:292–315

    Article  MATH  MathSciNet  Google Scholar 

  20. Sussmann HJ, Jurdjevic V (1972) Controllability of nonlinear systems. J Differ Equ 12:95–116

    Article  MATH  MathSciNet  Google Scholar 

  21. Tabuada P, Pappas GJ (2004) Bisimilar control affine systems. Syst Control Lett 52:49–58

    Article  MATH  MathSciNet  Google Scholar 

  22. 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

  23. van der Schaft AJ (2004) Equivalence of dynamical systems by bisimulation. IEEE Trans Autom Control 49:2160–2172

    Article  Google Scholar 

  24. Warner F (1971) Foundations of differentiable manifolds and Lie groups. Scott, Foresman and Company, Glenview

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Oklahoma, Norman, OK, 73019, USA

    Kevin A. Grasse

Authors
  1. Kevin A. Grasse
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kevin A. Grasse.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00498-014-0138-6

Keywords

Search

Navigation