A salt metathesis reaction is a chemical process involving the exchange of bonds between two reacting chemical species, which results in the creation of products with similar or identical bonding affiliations. Hyperstructure theory is studied from the theoretical point of view and for its applications. In this paper, we provide some examples of hyperstructures associated with salt m...

This paper deals with the coordinated controller design for a certain kind of cooperative manipulation of an unstable object with multiple robotic manipulators. Based on the system description in the framework of differential-algebraic equations (DAEs), control problems of the object manipulation with a single and two manipulators are formulated. By characterizing a hand-over operation as a res...

Descriptor systems consisting of a large number of differential-algebraic equations (DAEs) usually arise from the discretization of partial differential-algebraic equations. This paper presents an efficient algorithm for solving the coupled Sylvester equation that arises in converting a system of linear DAEs to ordinary differential equations. A significant computational advantage is obtained b...

In the present paper we introduce a new class of methods, Projected RungeKutta methods, for the solution of index 3 differential algebraic equations (DAEs) in Hessenberg form. The methods admit the integration of index 3 DAEs without any drift effects. This makes them particularly well suited for long term integration. Finally, implemented on the basis of the Radau5 code, the projected Runge-Ku...

Geometric reduction methods for differential-algebraic equations (DAEs) aim at an iterative reduction of the problem to an explicit ODE on a lower-dimensional submanifold of the so-called semistate space. This approach usually relies on certain algebraic (typically constant-rank) conditions holding at every reduction step. When these conditions are met the DAE is called regular. We discuss in t...

This article gives sharp convergence results for stiffly accurate colloca-tion methods as applied to differential-algebraic equations (DAE's) of index 3 in Hessenberg form, proving partially a conjecture of Hairer, Lubich, and Roche.

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...