Canonical State Representations and Hilbert Functions of Multidimensional Systems

A basic and substantial theorem of one-dimensional systems theory, due to R. Kalman, says that an arbitrary input/output behavior with proper transfer matrix admits an observable state representation which, in particular, is a realization of the transfer matrix. The state equations have the characte...

Full description

Saved in:
Bibliographic Details
Published in:Acta applicandae mathematicae Vol. 94; no. 2; pp. 83 - 135
Main Author: Oberst, Ulrich
Format: Journal Article
Language:English
Published: Dordrecht Springer Nature B.V 01.11.2006
Subjects:
Algorithms
Byproducts
Cauchy problems
Construction
Differential equations
Mathematical analysis
Mathematical models
Partial differential equations
Polynomials
Representations
Studies
System theory
Theorems
ISSN:0167-8019, 1572-9036
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A basic and substantial theorem of one-dimensional systems theory, due to R. Kalman, says that an arbitrary input/output behavior with proper transfer matrix admits an observable state representation which, in particular, is a realization of the transfer matrix. The state equations have the characteristic property that any local, better temporal, state at time zero and any input give rise to a unique global state or trajectory of the system or, in other terms, that the global state is the unique solution of a suitable Cauchy problem. With an adaption of this state property to the multidimensional situation or rather its algebraic counter-part we prove that any behavior governed by a linear system of partial differential or difference equations with constant coefficients is isomorphic to a canonical state behavior which is constructed by means of Grobner bases. In contrast to the one-dimensional situation, to J.C. Willems' multidimensional state space models and and to J.F. Pommaret's modified Spencer form the canonical state behavior is not necessarily a first order system. Further first order models are due E. Zerz. As a by-product of the state space construction we derive a new variant of the algorithms for the computation of the Hilbert function of finitely generated polynomial modules or behaviors. J.F. Pommaret, J. Wood and P. Rocha discussed the Hilbert polynomial in the systems theoretic context. The theorems of this paper are constructive and have been implemented in MAPLE in the two-dimensional case and demonstrated in a simple, but instructive example. A two-page example also gives the complete proof of Kalman's one-dimensional theorem mentioned above. We believe that for this standard case the algorithms of the present paper compare well with their various competitors from the literature. [PUBICATION ABSTRACT]
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ISSN:0167-8019
1572-9036
DOI:10.1007/s10440-006-9068-8