Computer simplification of formulas in linear systems theory

IEEE Transactions on Automatic Control

Volumn 43, Issue 3, 1998, Pages 302-314

  Helton, J William ^a,b   Stankus, Mark ^b   Wavrik, John J ^b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automated simplification; Grobner bases; Linear systems

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; MATRIX ALGEBRA;

AUTOMATED SIMPLIFICATION; GROBNER BASIS ALGORITHM;

LINEAR CONTROL SYSTEMS;

EID: 0032021829     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.661584     Document Type: Article

References (9)

1. B. Buchberger and R. Loos, "Algebraic simplification," Computer Algebra - Symbolic and Algebraic Computation. New York: Springer-Verlag, 1982, pp. 11-43.
2. D. Cox, J. Little, and D. O'Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. New York: Springer-Verlag, 1992.
3. ∞ control problems," IEEE Trans. Automat. Contr., vol. 34, pp. 831-847, 1989.
4. J. W. Helton and J. J. Wavrik, "Rules for computer simplification of the formulas in operator mode theory and linear systems," Operator Theory: Advances Appl., vol. 73, pp. 325-354, 1994.
5. F. Mora, "Groebner bases for noncommutative polynomial rings," Lecture Notes in Computer Sci., no. 229, pp. 353-362, 1986.
6. _, "An introduction to commutative and noncommutative Gröbner Bases," Theoretical Computer Sci., vol. 134, no. N1, pp. 131-173, Nov. 7, 1994.
7. J. W. Helton, R. L. Miller, and M. Stankus, "NCAlgebra: A mathematica package for doing non commuting algebra," available from ncalg@ucsd.edu.
8. B. Sz-Nagy and C. Foias, Harmonic Analysis of Operators on Hilbert Space. Amsterdam, The Netherlands: North Holland, 1970.
9. D. C. Youla and P. Tissi "n-port synthesis via lossless extraction - Part I," in Proc. 1966 Int. Conv. Rec., vol. 14, pt. 7, pp. 183-208.