Abstract
In the theory of finite dimensional linear systems, it is well known that every input-output map that can be realized by one such system can also be realized by a system which is “minimal”, i.e. both controllable and observable. Moreover, the minimal realization of a given map is unique up to isomorphism. It is shown here that similar results hold for the class of all systems whose state space is a real analytic manifold, whose dynamics is given by a family of complete real analytic vector fields, and whose output is an arbitrary real analytic function on the state space.
Similar content being viewed by others
References
R. L. Bishop andR. J. Crittenden,Geometry of Manifolds, Academic Press, New York, 1964.
R. W. Brockett, System theory on group manifolds and coset spaces,SIAM, J. Control 10 (1972), 265–284.
R. W. Brockett, Lie theory and control systems defined on spheres, presented at the Drexel University-SIAM Conference on Lie algebras; Applications and Computational Methods, Phila., Pa., June, 1972.
R. W. Brockett, Algebraic decomposition methods for nonlinear systems, in “Systems Structure”,IEEE Special publication, No. 71CG1-CSS, August, 1971 (S. Morse, Editor).
R. W. Brockett, On the algebraic structure of bilinear systems, inVariable Structure Control Systems, (R. Mohler and A. Ruberti, eds.), Academic Press, 1972, 153–168.
E. A. Coddington andN. Levinson,Theory of Ordinary Differential Equations, McGraw-Hill, N.Y., 1955.
D. L. Elliott, A consequence of controllability,J. Diff. Equations 10 (1971), 364–370.
D. L. Elliott andT. J. Tarn, Controllability and observability for bilinear systems, presented at theSIAM 1971 National Meeting, University of Washington, Seattle, Wash., June 28–30, 1971.
G. W. Haynes andH. Hermes, Nonlinear controllability via Lie theory,SIAM J. Control 8 (1970), 450–460.
H. Hermes, On necessary and sufficient conditions for controllability along a reference trajectory, inGeometric Methods in System Theory, (D. Q. Mayne and R. W. Brockett, eds.), D. Reidel Pub. Co., 1973, 165–173.
R. Hermann. On the accessibility problem in control theory, in “International Symposium on Nonlinear Differential Equations and Nonlinear Mechanics”, 325–332, Academic Press, N.Y., 1963.
R. E. Kalman, P. Falb andM. Arbib,Topics in Mathematical System Theory, McGraw-Hill, N.Y., 1969.
A. Krener, A generalization of Chow's theorem and the bang-bang theorem to nonlinear control problems,SIAM J. Control 12 (1974), 43–52.
C. Lobry, Controlabilité des systémes non linéaires,SIAM J. Control 8 (1970),573–605.
J. P. Serre,Lie Groups and Lie Algebras, Benjamin Press, N.Y., 1965.
T. Nagano, Linear differential systems with singularities and an application to transitive Lie algebras,J. Math. Soc. Japan 18 (1966), 398–404.
V. Jurdjevic andH. J. Sussman, Control systems on Lie groups,J. Diff. Equations 12 (1972), 313–329.
H. J. Sussmann andV. Jurdjevic, Controllability of nonlinear systems,J. Diff. Equations 12 (1972), 95–116.
H. J. Sussmann, Orbits of families of vector fields and integrability of systems with singularities,Bull. Amer. Math. Soc. 79 (1973), 197–199.
H. J. Sussmann, Orbits of families of vector fields and integrability of distributions,Trans. Amer. Math. Soc. 180 (1973), 171–188.
H. J. Sussmann, A generalization of the closed subgroup theorem to quotients of arbitrary manifolds,J. Diff. Geometry 10 (1975), 151–166.
H. J. Sussmann, Minimal realizations of nonlinear systems, paper presented at the NATO Advanced Study Institute on “Geometric and Algebraic Methods for Nonlinear Systems”, Imperial College, London, Aug. 27–Sept. 7, 1973.
H. J. Sussmann, Minimal realizations and canonical forms for bilinear systems, J. Franklin Institute, to appear.
H. J. Sussmann, On quotients of manifolds: a generalization of the closed subgroup theorem,Bull. Amer. Math. Soc. 80 (1974), 573–575.
Author information
Authors and Affiliations
Additional information
Research partially supported by NSF Grant GP-37488.
Rights and permissions
About this article
Cite this article
Sussmann, H.J. Existence and uniqueness of minimal realizations of nonlinear systems. Math. Systems Theory 10, 263–284 (1976). https://doi.org/10.1007/BF01683278
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01683278