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].
Integration of candidate hash trees in concurrent processing of frequent itemset queries using Apriori
Nonlinear stabilizing control of an uncertain bioprocess model
In this paper we consider a nonlinear model of a biological wastewater treatment process, based on two microbial populations and two substrates. The model, described by a four-dimensional dynamic system, is known to be practically verified and reliable. First we study the equilibrium points of the open-loop system, their stability and local bifurcations with respect to the control variable. Further we propose a feedback control law for asymptotic stabilization of the closed-loop system towards a...
Optimal resource allocation in stochastic activity networks via the electromagnetism approach: a platform implementation in Java
Programming means for simulation of logical networks. II
Programming means for simulation of logical networks. III
Tracking poles and representing Hankel operators directly from data.