Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems

08/24/2016
by   Guangning Tan, et al.
0

In a previous article, the authors developed two conversion methods to improve the Σ-method for structural analysis (SA) of differential-algebraic equations (DAEs). These methods reformulate a DAE on which the Σ-method fails into an equivalent problem on which this SA is more likely to succeed with a generically nonsingular Jacobian. The basic version of these methods processes the DAE as a whole. This article presents the block version that exploits block triangularization of a DAE. Using a block triangular form of a Jacobian sparsity pattern, we identify which diagonal blocks of the Jacobian are identically singular and then perform a conversion on each such block. This approach improves the efficiency of finding a suitable conversion for fixing SA's failures. All of our conversion methods can be implemented in a computer algebra system so that every conversion can be automated.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/24/2016

Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems

Differential-algebraic equation systems (DAEs) are generated routinely b...
research
12/25/2018

Alpha-conversion for lambda terms with explicit weakenings

Using explicit weakenings, we can define alpha-conversion by simple equa...
research
12/22/2022

Towards a Theory of Conversion Relations for Prefixed Units of Measure

Units of measure with prefixes and conversion rules are given a formal s...
research
08/23/2021

Machine Learning for Sensor Transducer Conversion Routines

Sensors with digital outputs require software conversion routines to tra...
research
08/05/2019

The Pantelides algorithm for delay differential-algebraic equations

We present a graph-theoretical approach that can detect which equations ...
research
09/18/2021

Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems

We have developed an automated procedure for symbolic and numerical test...
research
12/14/2021

INRU: A Quasigroup Based Lightweight Block Cipher

In this paper, we propose a quasigroup based block cipher design. The ro...

Please sign up or login with your details

Forgot password? Click here to reset