Necessary conditions for feedback stabilization and safety
Preprint
Abstract
Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling. We generalize Brockett's necessary condition to the case of stabilizing general compact subsets having a nonzero Euler characteristic in general ambient state spaces (smooth manifolds). Using this generalization, we also formulate a necessary condition for the existence of "safe" control laws. We illustrate the theory in concrete examples and for some general classes of systems including a broad class of nonholonomically constrained Lagrangian systems. We also show that, for the special case of stabilizing a point, the specialization of our general stabilizability test is stronger than Brockett's.Keywords
All Related Versions
This publication has 37 references indexed in Scilit:
- Topological perplexity of feedback stabilizationJournal of Applied and Computational Topology, 2022
- Robust optimal stabilization of the Brockett integrator via a hybrid feedbackMathematics of Control, Signals, and Systems, 2005
- Mechanical aspects of legged locomotion controlArthropod Structure & Development, 2004
- Geometric, Control and Numeric Aspects of Nonholonomic Systems2002
- Asymptotic Stability and Smooth Lyapunov FunctionsJournal of Differential Equations, 1998
- Explicit design of time-varying stabilizing control laws for a class of controllable systems without driftSystems & Control Letters, 1992
- On the attitude stabilization of rigid spacecraftAutomatica, 1991
- A necessary condition for feedback stabilizationSystems & Control Letters, 1990
- A ‘universal’ construction of Artstein's theorem on nonlinear stabilizationSystems & Control Letters, 1989
- A generalized poincaré index formulaTopology, 1968