Singularly perturbed control systems using non-commutative computer algebra

Most algebraic calculations which one sees in linear systems theory, for example in IEEE TAC, involve block matrices and so are highly non‐commutative. Thus conventional commutative computer algebra packages, as in Mathematica and Maple, do not address them. Here we investigate the usefulness of non...

Full description

Saved in:
Bibliographic Details
Published in:International journal of robust and nonlinear control Vol. 10; no. 11-12; pp. 983 - 1003
Main Authors: Helton, J. W., Kronewitter, F. Dell, McEneaney, W. M., Stankus, Mark
Format: Journal Article
Language:English
Published: Chichester, UK John Wiley & Sons, Ltd 01.09.2000
Subjects:
computer algebra
control systems
dynamic control
non-commutative algebra
singular perturbation
ISSN:1049-8923, 1099-1239
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Most algebraic calculations which one sees in linear systems theory, for example in IEEE TAC, involve block matrices and so are highly non‐commutative. Thus conventional commutative computer algebra packages, as in Mathematica and Maple, do not address them. Here we investigate the usefulness of non‐commutative computer algebra in a particular area of control theory—singularly perturbed dynamic systems—where working with the non‐commutative polynomials involved is especially tedious. Our conclusion is that they have considerable potential for helping practitioners with such computations. Commutative Gröbner basis algorithms are powerful and make up the engines in symbolic algebra packages' Solve commands. Non‐commutative Gröbner basis algorithms are more recent, but we shall see that they, together with an algorithm for removing “redundant equations”, are useful in manipulating the messy sets of non‐commutative polynomial equations which arise in singular perturbation calculations. We use the non‐commutative algebra package NCAlgebra and the non‐commutative Gröbner basis package NCGB which runs under it on two different problems. We illustrate the method on the classical state feedback optimal control problem, see [1], where we obtain one more (very long) term than was done previously. Then we use it to derive singular perturbation expansions for the relatively new (linear) information state equation. Copyright © 2000 John Wiley & Sons, Ltd.
Bibliography:NSF
ArticleID:RNC535
istex:3955DE672B838CF7364875C2B60D011A250D8366
AFOSR
ark:/67375/WNG-BJRT7Q17-T
ISSN:1049-8923
1099-1239
DOI:10.1002/1099-1239(200009/10)10:11/12<983::AID-RNC535>3.0.CO;2-#