TY - BOOK
T1 - Testing reachability and stabilizability of systems over polynomial rings using Gröbner bases
AU - Habets, L.C.G.J.M.
PY - 1993
Y1 - 1993
N2 - Conditions for the reachability and stabilizability of systems over polynomial rings are well-known in the literature. For a system $ \Sigma = (A,B)$ they can be expressed as right-invertibility cconditions on the matrix $(zI - A \mid B)$. Therefore there is quite a strong algebraic relationship between both conditions, but unfortunately they are difficult to check explicitly. In this paper we introduce for each system $ \Sigma = (A,B)$ a corresponding polynomial ideal I which characterizes both reachability and stabilizability in a very straightforward way. Moreover, methods are given to compute this ideal and its variety explicitly using Gröbner Bases techniques. With help of the Gröbner Basis of the ideal I, conclusions on the reachability and stabilizability of the system $ \Sigma = (A,B)$ are easy to draw.
AB - Conditions for the reachability and stabilizability of systems over polynomial rings are well-known in the literature. For a system $ \Sigma = (A,B)$ they can be expressed as right-invertibility cconditions on the matrix $(zI - A \mid B)$. Therefore there is quite a strong algebraic relationship between both conditions, but unfortunately they are difficult to check explicitly. In this paper we introduce for each system $ \Sigma = (A,B)$ a corresponding polynomial ideal I which characterizes both reachability and stabilizability in a very straightforward way. Moreover, methods are given to compute this ideal and its variety explicitly using Gröbner Bases techniques. With help of the Gröbner Basis of the ideal I, conclusions on the reachability and stabilizability of the system $ \Sigma = (A,B)$ are easy to draw.
M3 - Report
T3 - Memorandum COSOR
BT - Testing reachability and stabilizability of systems over polynomial rings using Gröbner bases
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -