Estimation of consistent initial conditions is very crucial for the successful solution of differential–algebraic equation (DAE) systems that arise in many fields of science and engineering. In this paper, an efficient perturbation approach for initialization of DAE systems of index-1 is proposed and implemented for DAE models governing batteries. In addition, different existing solvers are com...

This paper defines the basis for the implementation in CASL (Common Algebraic Specification Language) of an interval library such that intervals behave as real numbers endowed with an error information. To achieve that, we redefine the notion of interval local set defined in [15] in such a way that it can be implemented in the underlying logic of CASL. With these results, it is possible to mani...

A new index closely related to the strangeness index of a differential-algebraic equation is presented. Basic properties of the strangeness index are shown to be valid also for the new index. The definition of the new index is conceptually simpler than that of the strangeness index, hence making it potentially better suited for both practical applications and theoretical developments.

ValEncIA-IVP is a verified solver for initial value problems for sets of ordinary differential equations which determines guaranteed enclosures of all reachable states. In this paper, we present its new features which allow for a wider application domain. They also improve the performance of ValEncIA-IVP. Especially for the simulation of asymptotically stable systems, we present a new exponenti...

We study stability of linear time-varying differential-algebraic equations (DAEs). The Bohl exponent is introduced and finiteness of the Bohl exponent is characterized, the equivalence of exponential stability and a negative Bohl exponent is shown and shift properties are derived. We also show that the Bohl exponent is invariant under the set of Bohl transformations. For the class of DAEs which...

While generalized algebraic datatypes (GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean for a GADT parameter to be covariant? The answer turns out to be quite subtle. It involves fine-grained properties of the subtyping relation that raise interesting design questions. We allow variance annotations in G...

In this paper, an optimal control of quadratic performance index with nonlinear constrained is presented. The sine-cosine wavelet operational matrix of integration and product matrix are introduced and applied to reduce nonlinear differential equations to the nonlinear algebraic equations. Then, the Newton-Raphson method is used for solving these sets of algebraic equations. To present ability ...