A heuristical algorithm for simple exponential analysis
A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP
The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differentialalgebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on VALENCIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial...
An efficient computation of the solution of the block decoupling problem with coefficient assignment over a ring
The paper presents procedures to check solvability and to compute solutions to the Block Decoupling Problem over a Noetherian ring and procedures to compute a feedback law that assigns the coefficients of the compensated system while mantaining the decoupled structure over a Principal Ideal Domain. The algorithms have been implemented using MapleV® and CoCoA [CoCoA].