Small control property

From HandWiki

For applied mathematics, in nonlinear control theory, a non-linear system of the form x˙=f(x,u) is said to satisfy the small control property if for every ε>0 there exists a δ>0 so that for all x<δ there exists a u<ε so that the time derivative of the system's Lyapunov function is negative definite at that point.

In other words, even if the control input is arbitrarily small, a starting configuration close enough to the origin of the system can be found that is asymptotically stabilizable by such an input.[1][2]

For Understanding

A system has:

  • State x: where it currently is (position, speed, angle, etc.)
  • Control u: what you can do to influence it (move your hand, adjust the motors, turn the wheel)

The equation x˙=f(x,u), just means “The way the system changes over time depends on its current state x and the control input u.”[3] [4] [5] [6] [7]

A Lyapunov function applies in this instance in that it is like an energy or distance from the goal. The negative definite derivative means that everywhere except at the goal, the energy is decreasing, so the system is guaranteed to converge toward the equilibrium.

The small control property, in layman's terms, means that no matter how tiny a control input you’re willing to use, a neighborhood can be found around the equilibrium where that tiny control is still enough to stabilize the system.

Example

Imagine balancing a pencil.

If the pencil is:

  • perfectly upright → no control needed
  • slightly tilted → tiny corrections work
  • almost falling over → large corrections needed

The small control property says that if you start close enough to upright, then arbitrarily small corrections can still stabilize it.

References

  1. Sontag, Eduardo D. (1989). "A 'universal' construction of Artstein's theorem on nonlinear stabilization". Systems & Control Letters 13 (2): 117–123. doi:10.1016/0167-6911(89)90028-5. 
  2. Khalil, Hassan K. (2002). Nonlinear Systems (3rd ed.). Prentice Hall. ISBN 9780130673893. 
  3. Artstein, Zvi (1983). "Stabilization with relaxed controls". Nonlinear Analysis: Theory, Methods & Applications 7 (11): 1163–1173. doi:10.1016/0362-546X(83)90007-1. 
  4. Sontag, Eduardo D. (1983). "A Lyapunov-like characterization of asymptotic controllability". SIAM Journal on Control and Optimization 21 (3): 462–471. 
  5. Isidori, Alberto (1995). Nonlinear Control Systems (3rd ed.). Springer. ISBN 9783540199168. 
  6. Sontag, Eduardo D. (1998). Mathematical Control Theory: Deterministic Finite Dimensional Systems (2nd ed.). Springer. ISBN 9780387984896. 
  7. Freeman, Randy A.; Kokotović, Petar V. (1996). Robust Nonlinear Control Design: State-Space and Lyapunov Techniques. Birkhäuser. ISBN 9780817639341.