Change search
ReferencesLink to record
Permanent link

Direct link
StratiGraph developer's guide
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2006 (English)Report (Other academic)
Place, publisher, year, edition, pages
Umeå: Umeå Universitet , 2006. Vol. UMINF, no 14
Report / UMINF, ISSN 0348-0542 ; 06:14
Keyword [en]
Canonical structures, StratiGraph, Sowftware development
National Category
Software Engineering
Research subject
Computer Science
URN: urn:nbn:se:umu:diva-5404OAI: diva2:144909
Available from: 2006-10-11 Created: 2006-10-11 Last updated: 2010-04-20Bibliographically approved
In thesis
1. Software tools for matrix canonical computations and web-based software library environments
Open this publication in new window or tab >>Software tools for matrix canonical computations and web-based software library environments
2006 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

This dissertation addresses the development and use of novel software tools and environments for the computation and visualization of canonical information as well as stratification hierarchies for matrices and matrix pencils.

The simplest standard shape to which a matrix pencil with a given set of eigenvalues can be reduced is called the Kronecker canonical form (KCF). The KCF of a matrix pencil is unique, and all pencils in the manifold of strictly equivalent pencils - collectively termed the orbit - can be reduced to the same canonical form and so have the same canonical structure. For a problem with fixed input size, all orbits are related under small perturbations. These relationships can be represented in a closure hierarchy with a corresponding graph depicting the stratification of these orbits. Since degenerate canonical structures are common in many applications, software tools to determine canonical information, especially under small perturbations, are central to understanding the behavior of these problems.

The focus in this dissertation is the development of a software tool called StratiGraph. Its purpose is the computation and visualization of stratification graphs of orbits and bundles (i.e., union of orbits in which the eigenvalues may change) for matrices and matrix pencils. It also supports matrix pairs, which are common in control systems. StratiGraph is extensible by design, and a well documented plug-in feature enables it, for example, to communicate with Matlab(TM). The use and associated benefits of StratiGraph are illustrated via numerous examples. Implementation considerations such as flexible software design, suitable data representations, and good and efficient graph layout algorithms are also discussed.

A way to estimate upper and lower bounds on the distance between an input S and other orbits is presented. The lower bounds are of Eckhart-Young type, based on the matrix representation of the associated tangent spaces. The upper bounds are computed as the Frobenius norm F of a perturbation such that S + F is in the manifold defining a specified orbit. Using associated plug-ins to StratiGraph this information can be computed in Matlab, while visualization alongside other canonical information remains within StratiGraph itself.

Also, a proposal of functionality and structure of a framework for computation of matrix canonical structure is presented. Robust, well-known algorithms, as well algorithms improved and developed in this work, are used. The framework is implemented as a prototype Matlab toolbox. The intention is to collect software for computing canonical structures as well as for computing bounds and to integrate it with the theory of stratification into a powerful new environment called the MCS toolbox.

Finally, a set of utilities for generating web computing environments related to mathematical and engineering library software is presented. The web interface can be accessed from a standard web browser with no need for additional software installation on the local machine. Integration with the control and systems library SLICOT further demonstrates the efficacy of this approach.

Place, publisher, year, edition, pages
Umeå: Datavetenskap, 2006. 30 p.
Report / UMINF, ISSN 0348-0542 ; 06.30
Canonical structure, Jordan canonical form, controllability, StratiGraph, Matlab toolbox, Kronecker canonical form, matrix, matrix pencil, perturbation theory, closure hirerarchy, matrix stratification, control system, observability
National Category
Computational Mathematics
urn:nbn:se:umu:diva-890 (URN)91-7264-144-X (ISBN)
Public defence
2006-11-03, MA121, MIT, Umeå Universitet, Umeå, 13:15 (English)
Available from: 2006-10-11 Created: 2006-10-11 Last updated: 2010-04-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Johansson, Pedher
By organisation
Department of Computing Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 62 hits
ReferencesLink to record
Permanent link

Direct link