Differential-algebraic equations index transformations

An algorithm for the reduction of linear DAE

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation

Symbolic computation of the index of quasilinear differential-algebraic equations

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation

Computing the maximum degree of minors in matrix pencils via combinatorial relaxation

Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms

Behavior of Runge-Kutta discretizations near equilibria of index 2 differential algebraic systems

Applied Numerical Mathematics

Attracting sets in index 2 differential algebraic equations and in their Runge-Kutta discretizations

Nonlinear Analysis: Theory, Methods & Applications

Geometric methods in dynamical systems modelling: electrical, mechanical and control systems

Systems Analysis Modelling Simulation - Special issue: Applications of information systems in environmental modelling

On Efficient Application of Implicit Runge-Kutta Methods to Large-Scale Systems of Index 1 Differential-Algebraic Equations

ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I

On Implementation of Vector Gauss Method for Solving Large-Scale Systems of Index 1 Differential-Algebraic Equations

ICCS '02 Proceedings of the International Conference on Computational Science-Part II

Declaration of unknowns in DAE-based hybrid system specification

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Non-regular, incomplete and singular dynamical systems: impasse points in dynamical systems

Systems Analysis Modelling Simulation

A taylor series methodology for analyzing the effects of process variation on circuit operation

Proceedings of the 19th ACM Great Lakes symposium on VLSI

Simultaneously row- and column-reduced higher-order linear differential systems

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

Jacobi spectral solution for integral algebraic equations of index-2

Applied Numerical Mathematics

Differential dynamic logics: automated theorem proving for hybrid systems

Differential dynamic logics: automated theorem proving for hybrid systems

Combinatorial analysis of generic matrix pencils

IPCO'05 Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization

Semi-analytical methods for singularly perturbed multibody system models

Journal of Computational and Applied Mathematics