Skip to main content
SpringerLink
Log in

On the existence of stabilising feedback controls for real analytic small-time locally controllable systems

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

Abstract

It is shown that, for real analytic control systems of the form \(f:{M}\times \varOmega \ni (q,u)\mapsto f(q,u)\in {T}_q{M}\), where M is a real analytic manifold and \(\varOmega \) is a separable metric space, small-time local controllability from an equilibrium \(p\in {M}\) implies the existence of a piecewise analytic feedback control that locally stabilises f at p. The proof is similar in spirit to an earlier analogous result for globally controllable systems; however, it resolves several technical obstructions that emerge when the assumption of small-time local controllability is substituted for that of global controllability. In the light of a recent characterisation of small-time local controllability for homogeneous control systems, the main result of the paper implies that, for a large class of control systems that appear in applications and the literature, there is a computable sufficient condition for stabilisability by means of a piecewise analytic feedback control.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Notes

  1. In the technical sense of the word. That is, patchy feedback controls that yield a cost within \(\varepsilon >0\) of the optimum, for any \(\varepsilon >0\).

  2. That is, roughly speaking, when convergence in (3) occurs exponentially fast.

  3. Since \(\varOmega \) is only a metric space, a clarification is in order here: the notation \({T}f_{\omega }\) means that we fix \(\omega \) to compute the tangent map of \(f_{\omega }\) and subsequently consider the resulting map on \(\hbox {TM}\times \varOmega \).

  4. The elements of a semi-group need not have inverses and this is the case here because the parameters \(t_i\) are non-negative.

  5. A point x of a subanalytic subset N of a manifold M is called smooth of dimension k if there exists a neighbourhood U of x in M such that \({N}\cap {{U}}\) is an analytic submanifold of M of dimension k. The dimension of N is defined to be the maximum of the dimensions of the smooth points of N.

  6. Small-time local controllability is the main premise throughout the paper, hence the interest in this implication.

  7. We exclude the point p because, at p, the partition is not locally finite: every neighbourhood of p contains infinitely many sets \({H}_j\). For every point \(q\ne p\), on the other hand, there exists a sufficiently small neighbourhood around q that intersects finitely many sets \({H}_j\).

  8. The size of such sets is irrelevant since the problem we are dealing with is of an infinitesimal nature. In other words, it suffices to be able to construct the feedback in some neighbourhood of the equilibrium.

  9. The assumption of STLC for f requires that \(\varOmega \) satisfy additional properties [46, 48].

  10. To make any comparison between asymptotic controllability and small-time local controllability in a meaningful way, we have to restrict the former to a neighbourhood of an equilibrium since small-time local controllability is a local, in fact infinitesimal, property. However, this modification of the definition of asymptotic controllability is straightforward.

  11. That is, invariant under a one-parameter family of dilations.

  12. See Problem 10.4 in [14, p. 315] and the references therein for the long history of vector-valued quadratic forms and their relevance to control theory.

References

  1. Aguilar C, Lewis A (2012) Small-time local controllability for a class of homogeneous systems. SIAM J Control Optim 50(3):1502–1517

    Article  MathSciNet  MATH  Google Scholar 

  2. Aguilar CO (2010) Local controllability of affine distributions. Ph.D. thesis, Queen’s University

  3. Aguilar CO (2012) Local controllability of control-affine systems with quadractic drift and constant control-input vector fields. In: 51st IEEE Conference on Decision and Control (CDC)

  4. Ancona F, Bressan A (1999) Patchy vector fields and asymptotic stabilization. ESAIM: Control, Optim, Calc Var 4:445–471

    Article  MathSciNet  MATH  Google Scholar 

  5. Ancona F, Bressan A (2004) Flow stability of patchy vector fields and robust feedback stabilization. SIAM J Control Optim 41(5):1455–1476

    Article  MathSciNet  Google Scholar 

  6. Ancona F, Bressan A (2004) Stabilization by patchy feedbacks and robustness properties. In: de Queiroz MS, Malisoff M, Wolenski P (eds) Optimal Control, Stabilization and Nonsmooth Analysis, Lecture Notes in Control and Information Sciences, vol 301. Springer, pp 185–199

  7. Bacciotti A (1992) Local Stabilizability of Nonlinear Control Systems, Advances in Mathematics for Applied Sciences, vol 8. World Scientific Publishing Co. Pvt. Ltd., Singapore

  8. Bacciotti A, Rosier L (2005) Liapunov Functions and Stability in Control Theory. Communications and Control Engineering. Springer, Berlin, New York

  9. Bardi M, Capuzzo-Dolcetta I (2008) Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations. Systems & Control. Birkhäuser, Boston, MA

  10. Bianchini RM, Stefani G (1993) Controllability along a trajectory: a variational approach. SIAM J Control Optim 31(4):900–927

    Article  MathSciNet  MATH  Google Scholar 

  11. Bressan A, Picolli B (2007) Introduction to the mathematical theory of control, AIMS on Applied Mathematics, vol 2. American Institute of the Mathematical Sciences

  12. Brockett RW (1983) Asymptotic stability and feedback stabilization. In: Brockett RW, Millman RS, Sussmann HJ (eds) Geometric Control Theory, Progress in Mathematics, vol 27. Birkhäuser, Boston, pp 181–191

  13. Brunovský P (1978) Every normal linear system has a regular time-optimal synthesis. Math Slovaca 28(1):81–100

    MathSciNet  MATH  Google Scholar 

  14. Bullo F, Cortés J, Lewis AD, Martínez S (2004) Vector-valued quadratic forms in control theory. In: Blondel VD, Megretski A (eds) Unsolved Problems in Mathematical Systems and Control Theory. Princeton University Press, Princeton, pp 315–320

  15. Bullo F, Lewis AD (2004) Geometric control of mechanical systems, vol 49., Texts in applied mathematicsSpringer, New York-Heidelberg-Berlin

    Google Scholar 

  16. Celikovsky S, Nijmeijer H (1997) On the relation between local controllability and stabilizability for a class of nonlinear systems. IEEE Trans Autom Control 42(1):90–94

    Article  MathSciNet  MATH  Google Scholar 

  17. Clarke FH, Ledyaev YS, Sontag ED, Subbotin AI (1997) Asymptotic controllability implies feedback stabilization. IEEE Trans Autom Control 42(10):1394–1407

    Article  MathSciNet  MATH  Google Scholar 

  18. Colonius F, Kliemann W (2000) The Dynamics of Control. Systems & Control. Birkhäuser, Boston

  19. Coron J, Rosier L (1994) A relation between continuous time-varying and discontinuous feedback stabilization. J Math Syst, Estim, Control 4:67–84

    MathSciNet  MATH  Google Scholar 

  20. Coron JM (1990) A necessary condition for feedback stabilization. Syst Control Lett 14(3):227–232

    Article  MathSciNet  MATH  Google Scholar 

  21. Coron JM (1999) On the stabilization of some nonlinear control systems: Results, tools, and applications. In: Clarke FH, Stern RJ (eds) Nonlinear Analysis, Differential Equations, and Control Mathematical and Physical Sciences, vol 528. Kluwer, Dordrecht, Boston, pp 307–367

  22. Dullerud G, Paganini F (2010) A course in robust control theory: a convex approach. Texts in Applied Mathematics. Springer, New York

  23. Evans LC, James MR (1989) The Hamilton–Jacobi–Bellman equation for time-optimal control. SIAM J Control Optim 27(6):1477–1489

    Article  MathSciNet  MATH  Google Scholar 

  24. Filippov AF (1964) Differential equations with discontinuous right-hand side. In: Fifteen papers on differential equations, 2, vol 42. American Mathematical Society, pp 199–231

  25. Francis B, Wonham W (1976) The internal model principle of control theory. Automatica 12(5):457–465. doi:10.1016/0005-1098(76)90006-6. http://www.sciencedirect.com/science/article/pii/0005109876900066

  26. Freeman R, Kokotović P (2008) Robust nonlinear control design: state-space and Lyapunov techniques. Modern Birkhäuser Classics. Birkhäuser. http://books.google.ca/books?id=_eTb4Yl0SOEC

  27. Grasse KA (1992) On the relation between small-time local controllability and normal self-reachability. Math Control Signals Syst 5:41–66

    Article  MathSciNet  MATH  Google Scholar 

  28. Grasse KA, Sussmann HJ (1990) Global controllability by nice controls. In: Sussmann HJ (ed) Nonlinear Controllability and Optimal Control, Pure and Applied Mathematics, vol 133, chap 3. Marcel Dekker, New York, pp 33–79

  29. Grüne L (1998) Asymptotic controllability and exponential stabilization of nonlinear control systems at singular points. SIAM J Control Optim 36(5):1485–1503

    Article  MathSciNet  MATH  Google Scholar 

  30. Hautus MLJ (1970) Stabilization, controllability, and observability of linear autonomous systems. Indag Math 73:448–455

    Article  MathSciNet  MATH  Google Scholar 

  31. Hirschorn RM, Lewis AD (2002) Geometric local controllability: Second-order conditions. In: Proceedings of the 40th IEEE Conference on Decision and Control, pp 368–369

  32. Hirschorn RM, Lewis AD (2006) An example with interesting controllability and stabilization properties. In: Proceedings of the 45th IEEE Conference on Decision and Control, pp 3748–3753

  33. Jurdjevic V, Quinn JP (1978) Controllability and stability. J Differ Equ 28(3):381–389

    Article  MathSciNet  MATH  Google Scholar 

  34. Kawski M (1989) Stabilization of nonlinear systems in the plane. SystControl Lett 12:169–175

    MathSciNet  MATH  Google Scholar 

  35. Krasnosel’skiĭ MA, Zabreĭko PP (1984) Geometrical methods of nonlinear analysis. Springer, Berlin, New York

  36. Krastanov MI, Ribarska NK (2013) Viability and an Olech type result. Serdica Math J 39(3–4):423–446

    MathSciNet  Google Scholar 

  37. Krstić M, Kanellakopoulos I, Kokotović P (1995) Nonlinear and adaptive control design. Adaptive and learning systems for signal processing, communications, and control. Wiley, New York

  38. Ledyaev Y, Sontag E (1999) A Lyapunov characterization of robust stabilization. Nonlinear Analy-Ser A Theory Methods Ser B Real World Appl 37(7):813–840

    Article  MathSciNet  MATH  Google Scholar 

  39. Lee EB, Markus L (1967) Foundations of Optimal Control Theory. The SIAM Series in Applied Mathematics. Wiley, New York

  40. Malisoff M, Rifford L, Sontag E (2004) Global asymptotic controllability implies input-to-state stabilization. SIAM J Control Optim 42(6):2221–2238

    Article  MathSciNet  MATH  Google Scholar 

  41. Nijmeijer H, van der Schaft AJ (1990) Nonlinear dynamical control systems. Springer, New York

  42. Prieur C (2005) Asymptotic controllability and robust asymptotic stabilizability. SIAM J Control Optim 43(5):1888–1912

    Article  MathSciNet  MATH  Google Scholar 

  43. Ryan EP (1994) On Brockett’s condition for smooth stabilizability and its necessity in a context of nonsmooth feedback. SIAM J Control Optim 32(6):1597–1604

    Article  MathSciNet  MATH  Google Scholar 

  44. Sontag ED (1998) Mathematical control theory: deterministic finite dimensional systems. Texts in Applied Mathematics, vol 6. Springer, New York

  45. Sussmann HJ (1976) Some properties of vector field systems that are not altered by small perturbations. J Differ Equ 20(2):292–315. doi:10.1016/0022-0396(76)90109-1. http://www.sciencedirect.com/science/article/pii/0022039676901091

  46. Sussmann HJ (1978) A sufficient condition for local controllability. SIAM J Control Optim 16(5):790–802

    Article  MathSciNet  MATH  Google Scholar 

  47. Sussmann HJ (1979) Subanalytic sets and feedback control. J Differ Equ 31(1):31–52

    Article  MathSciNet  MATH  Google Scholar 

  48. Sussmann HJ (1987) A general theorem on local controllability. SIAM J Control Optim 25(1):158–194

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  50. Tyner D, Lewis A (2004) Controllability of a hovercraft model (and two general results). In: 43rd IEEE Conference on Decision and Control (CDC), vol 2. pp 1204–1209

  51. Zabczyk J (1989) Some comments on stabilizability. Appl Math Optim 19(1):1–9

    Article  MathSciNet  MATH  Google Scholar 

  52. Zubov VI (1964) Methods of A. M. Lyapunov and their Application. Groningen, P. Noordhoff

Download references

Acknowledgments

The author would like to thank Dr M. I. Krastanov for useful and detailed comments on the present work.

Author information

Authors and Affiliations

  1. Faculty of Aerospace Engineering, The Technion—Israel Institute of Technology, Haifa, Israel

    Pantelis Isaiah

Authors
  1. Pantelis Isaiah
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pantelis Isaiah.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Isaiah, P. On the existence of stabilising feedback controls for real analytic small-time locally controllable systems. Math. Control Signals Syst. 27, 467–492 (2015). https://doi.org/10.1007/s00498-015-0148-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00498-015-0148-z

Keywords

Search

Navigation