Structural Preserving Model Reductions
نویسنده
چکیده
A general framework for structural preserving model reductions by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matrices L,G,C,B that define the model prescribed by transfer function H(s) = L∗(G+ sC)−1B. As an application, quadratic transfer functions targeted by Su and Craig (J. Guidance, Control, and Dynamics, 14 (1991), pp. 260–267.) is revisited, which leads to an improved algorithm than Su’s and Craig’s original in terms of achieving the same approximation accuracy with smaller reduced systems. Other contributions include new Gram-Schmidt orthogonalization process and new Arnoldi process that only orthogonalize the prescribed portion of all basis vectors as opposing to whole vectors by existing counterparts. These new processes are designed as one way to numerically realize the idea in the general framework. This report is available on the web at http://www.ms.uky.edu/~rcli/. Department of Mathematics, University of Kentucky, Lexington, KY 40506 ([email protected].) This work was supported in part by the National Science Foundation CAREER award under Grant No. CCR9875201.
منابع مشابه
Syntactical Colored Petri Nets Reductions
In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transitions into an atomic one. Their conditions combine local structural ones (e.g. related to the actions of a thread) and global algebraic ones (e.g. related to the threads synchronization). We show that these conditions are perfor...
متن کاملStructure-Preserving Model Reductions using a Krylov Subspace Projection Formulation
A general framework for structure-preserving model reductions by Krylov subspace projection methods is developed. It not only matches as many moments as possible but also preserves substructures of importance in the coefficient matrices L,G,C, and B that define a dynamical system prescribed by the transfer function of the form H(s) = L∗(G+sC)−1B. Many existing structure-preserving model-order r...
متن کاملAdapting Petri Nets Reductions to Promela Specifications
The interleaving of concurrent processes actions leads to the well-known combinatorial explosion problem. Petri nets theory provides some structural reductions to tackle this phenomenon by agglomerating sequences of transitions into a single atomic transition. These reductions are easily checkable and preserve deadlocks, Petri nets liveness and any LTL formula that does not observe the modified...
متن کاملHierarchical Sparse Bayesian Learning for Structural Health Monitoring with Incomplete Modal Data
For civil structures, structural damage due to severe loading events such as earthquakes, or due to long-term environmental degradation, usually occurs in localized areas of a structure. A new sparse Bayesian probabilistic framework for computing the probability of localized stiffness reductions induced by damage is presented that uses noisy incomplete modal data from before and after possible ...
متن کاملOn Combining Partial Order Reduction with Fairness Assumptions
We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.
متن کامل