Transfer operators and state spaces for discrete multidimensional linear systems
canonical Cauchy problemcharacteristicscontrollabilitymodelling problemmultidimensional discrete input-output systemspartial difference equationsproper transfer matrixtransfer operators
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Additive difference equations (39A10) Realizations from input-output data (93B15) Algebraic methods (93B25) Multivariable systems, multidimensional control systems (93C35) Discrete-time control/observation systems (93C55)
This highly complex but interesting paper is best summarized by the authors' abstract: ``This paper treats multidimensional discrete input-output systems from the constructive point of view. We adapt and improve recursive algorithms, derived earlier by E. Zerz and the second author form standard Gröbner basis algorithms, for the solution of the canonical Cauchy problem for linear systems of partial difference equations with constant coefficients on the lattices \({\mathcal N}= \mathbb{N}^{r_1}\times \mathbb{Z}^{r_2}\). These recursive algorithms, in turn, furnish four other solution methods for the initial value problem, namely by transfer operators, by canonical Kalman global state equations, by parametrization of controllable systems and, for systems with proper transfer matrix and left bounded input signals, by convolution with the transfer matrix. In the 2D-case \({\mathcal N}= \mathbb{Z}^2\) the last method was studied by S. Zampieri. Minimally embedded systems are studied and give rise to especially simple Kalman equations. The latter also imply a useful characterization of the characteristics or polar variety of the system by eigenvalue spectra. For \({\mathcal N}= \mathbb{N}^r\) we define reachability of a system and prove that controllability implies reachability, but not conversely. Moreover, we solve, in full generality, the modelling problem which was introduced and partially solved by \textit{F. Pauer} and \textit{S. Zampieri} [J. Symb. Comput. 21, 155-168 (1996; Zbl 0869.39001)]. Various algorithms have been implemented by the first author in axiom, and examples are demonstrated by means of computer generated pictures. Related work on state space representations has been done by the Padovian and Groningian system theory school. The introduction of this paper, together with page 21 and 22 of section 3 put the results into perspective, a perspective that certainly is needed to appreciate the contributions of Kleon and Oberst.
- A solution of the Cauchy problem for multidimensional discrete linear shift-invariant systems
- First-order representations of discrete linear multidimensional systems
- Partial state reachability of multiple linear systems in series
- A behavioral interpretation of Livšic systems
- Localization and parametrization of linear multidimensional control systems
- Factorization for \(n\)-D polynomial matrices over arbitrary coefficient field
- Finite dimensional systems of partial differential or difference equations
- On multivariate polynomial matrix factorization problems
- On state space representation of linear discrete-time systems in Hilbert spaces
- scientific article; zbMATH DE number 4181229 (Why is no real title available?)
- scientific article; zbMATH DE number 3942256 (Why is no real title available?)
- On general factorizations for \(n\)-D polynomial matrices
- A generalization of Serre's conjecture and some related issues
- Factorizations for nD polynomial matrices
- Almost direct sum decomposition and implementation of 2D behaviors
- Multidimensional constant linear systems
- Conservative input-state-output systems with evolution on a multidimensional integer lattice
- Canonical state representations and Hilbert functions of multidimensional systems
- Computing the state difference equations for discrete overdetermined linear \(m \operatorname{D}\) systems
This page was built for publication: Transfer operators and state spaces for discrete multidimensional linear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1304667)
