Stabilizability preserving quotients of non-linear systems

In this paper quotients of control systems which are generalizations of system reductions are used to study the stabilizability property of non-linear systems. Given a control system and its quotient we study under what conditions stabilizability of the quotient is sufficient to guarantee stabilizability of the original system. We develop a novel method of constructing a control Lyapunov function for the original system from the implied Lyapunov function of the quotient system, this construction involves the solution of a system of partial differential equations. By studying the integrability conditions of this associated system of partial differential equations we are able to characterize obstructions to our proposed method of constructing control Lyapunov functions in terms of the structure of the original control system.

[1]  Victor Guillemin,et al.  Some Algebraic Results Concerning Involutive Subspaces , 1968 .

[2]  Arthur J. Krener,et al.  A Decomposition Theory for Differentiable Systems , 1975 .

[3]  S. Shankar Sastry,et al.  Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..

[4]  George J. Pappas,et al.  Hierarchies of stabilizability preserving linear systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[5]  H. Nijmeijer,et al.  Controlled invariance for nonlinear systems , 1982 .

[6]  George J. Pappas,et al.  Consistent abstractions of affine control systems , 2002, IEEE Trans. Autom. Control..

[7]  Paulo Tabuada,et al.  Quotients of Fully Nonlinear Control Systems , 2005, SIAM J. Control. Optim..

[8]  J. Gasqui.  Formal integrability of systems of partial differential equations , 1985 .

[9]  Hubert Goldschmidt,et al.  Existence theorems for analytic linear partial differential equations , 1967 .

[10]  S. Marcus,et al.  The structure of nonlinear control systems possessing symmetries , 1985 .

[11]  P. Crouch,et al.  Controllability on principal fibre bundles with compact structure group , 1984 .

[12]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[13]  A. Isidori,et al.  Nonlinear decoupling via feedback: A differential geometric approach , 1981 .

[14]  Yves Talpaert.  Differential geometry with applications to mechanics and physics , 2000 .

[15]  Kevin A. Grasse,et al.  Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems , 2015, SIAM J. Control. Optim..

[16]  Hubert Goldschmidt,et al.  Integrability criteria for systems of nonlinear partial differential equations , 1967 .

[17]  V. I. Elkin,et al.  Decomposition of models of control processes , 1998 .

[18]  B. Gharesifard.  A GEOMETRIC APPROACH TO ENERGY SHAPING , 2009 .

[19]  Alessandro Astolfi,et al.  Immersion and invariance: a new tool for stabilization and adaptive control of nonlinear systems , 2001, IEEE Trans. Autom. Control..

[20]  N. Steenrod.  Topology of Fibre Bundles , 1951 .