Computer assistance for ``discovering formulas in system engineering and operator theory

DOI10.1006/jfan.1998.3249zbMath0924.93011OpenAlexW2041611195MaRDI QIDQ1282332

J. William Helton, Mark Stankus

Publication date: 18 May 1999

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1018&context=math_fac

zbMATH Keywords

matrix completion\(H^\infty\) controloperator theorysystem engineeringalgebraic theoremsBart-Gohberg-Kaashoek-van Dooren theoremcomputer assistancenon-commutative Gröbner basis algorithms

Mathematics Subject Classification ID

Operator-theoretic methods (93B28) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Software, source code, etc. for problems pertaining to operator theory (47-04)

Related Items

Unnamed Item ⋮ Algorithmic operator algebras via normal forms in tensor rings ⋮ Formal proofs of operator identities by a single formal computation ⋮ Computer algebra tailored to matrix inequalities in control ⋮ NON-COMMUTATIVE REPRESENTATIONS OF FAMILIES OF k² COMMUTATIVE POLYNOMIALS IN 2k² COMMUTING VARIABLES ⋮ Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems ⋮ Inverses of \(2\times 2\) block matrices

Uses Software

• NCAlgebra

Cites Work

• Minimal factorization of matrix and operator functions
• An introduction to commutative and noncommutative Gröbner bases
• Completing a block diagonal matrix with a partially prescribed inverse
• State-space solutions to standard H/sub 2/ and H/sub infinity / control problems
• Synergy in the Theories of Gröbner Bases and Path Algebras
• Computer simplification of formulas in linear systems theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item