Abstract
Applications of computer algebra to linear partial differential equations of first order and to nonlinear control theory are presented. It is shown how symbolic systems can compute automatically: (i) the dimension of the accessible set from a particular state for a nonlinear control system; (ii) the number of independent solutions for a system of linear partial differential equations of first order. The algorithms are based on the computation of certain distributions given a set of vector fields. Examples of application to robotics and power system equations are briefly discussed.
This work was partly supported by MPI (fondi 40%).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
6. References
SUSSMANN H.J., JURDJEVIC V., Controllability of nonlinear systems, J. Diff. Eq., 12, 95–116, 1972.
CHOW W.L., Uber systeme von linearen partiallen differentialgleichungen erster ordnung, Math. Ann. 117, 98–105, 1039.
SUSSMANN H.J., Orbits of families of vector fields and integrability of systems with singularities, Trans. Am. Math. Soc. 180, 171–188, 1973.
BAIRESS E.H., Sylvester's identity and multistep integer preserving Gaussian elimination, Mth. Comput. 22, 565–578, 1968.
SASAKI T., MURAO M., Efficient Gaussian elimination method for symbolic determinants and linear systems, ACM Trans. Math. Software, 8, 3, 277–289, 1982.
MARINO R., CESAREO G., Nonlinear control theory and symbolic algebraic manipulation, Mathematical Theory of Networks and Systems, Springer Verlag, Lecture Notes in Control and Information Sciences, vol. 58, 1984.
MARINO R., BOOTHBY W.M., ELLIOTT D.L., Geometric properties of linearizable control systems, submitted to Int. J. Math. System Theory.
MEYER G., SU R., HUNT L.R., Application of nonlinear transformations to automatic flight control, Automatica 20, 1, 103–107, 1984.
MARINO R., NICOSIA S., On the feedback control of robot manipulators with elastic joints: a singular perturbation approach, submitted to IEEE Transactions on Automatic Control.
MARINO R., On the stabilization of power systems with a reduced number of controls, Sixth Int. Conference on Analysis and Optimization of Systems, INRIA, Nice, 1984.
JACUBCZYK B., RESPONDEK W., On linearization of control systems, Bull. Acad. Pol. Sci. Ser. Sci. Math., 28, 9–10, 517–522, 1980.
HUNT R.L., SU R., MEYER G., Design for multiinput nonlinear systems, in Differential Geometric Control Theory, R.Brockett et alii eds., 268–298, Birkhauser, 1983.
GRAGERT P.K.H., KERSTEN P.H.M., Implementation of differential geometric objects and functions with applications to extended Maxwell equations, Proc. EUROCAM '82, Lecture Notes on Computer Science, Springer Verlag, 144, 294–301, 1982.
HEARN A.C., REDUCE-2 User's Manual, University of Utah, Symb. Comp. Group, Tech. Rep. UCP-19, 1073.
CESAREO G., MARINO R., On the controllability properties of elastic robots, Sixth Int. Conference on Analysis and Optimization of Systems, INRIA, Nice, 1984.
MARINO R., CASAREO G., The use of symbolic computation for power system stabilization: an example of computer aided design, Sixth Int. Conference on Analysis and Optimization of Systems, INRIA, Nice, 1984.
CESAREO G., Symbolic algebraic manipulation and nonlinear control theory, Tech. Rep. 82-14, Istituto di Automatica, Università di Roma, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cesareo, G., Marino, R. (1984). On the application of symbolic computation to nonlinear control theory. In: Fitch, J. (eds) EUROSAM 84. EUROSAM 1984. Lecture Notes in Computer Science, vol 174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032828
Download citation
DOI: https://doi.org/10.1007/BFb0032828
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13350-6
Online ISBN: 978-3-540-38893-7
eBook Packages: Springer Book Archive