Displaying similar documents to “A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP”

Introduction to the Maple Power Tool Intpakx

Krämer, Walter (2007)

Serdica Journal of Computing

Similarity:

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006 The Maple Power Tool intpakX [24] de nes Maple types for real intervals and complex disc intervals. On the level of basic operations, intpakX includes the four basic arithmetic operators, including extended interval division as an extra function. Furthermore, there are power, square, square root, logarithm and exponential functions, a set of standard...

Interval analysis for certified numerical solution of problems in robotics

Jean-Pierre Merlet (2009)

International Journal of Applied Mathematics and Computer Science

Similarity:

Interval analysis is a relatively new mathematical tool that allows one to deal with problems that may have to be solved numerically with a computer. Examples of such problems are system solving and global optimization, but numerous other problems may be addressed as well. This approach has the following general advantages: (a) it allows to find solutions of a problem only within some finite domain which make sense as soon as the unknowns in the problem are physical parameters; (b) numerical...

A verified method for solving piecewise smooth initial value problems

Ekaterina Auer, Stefan Kiel, Andreas Rauh (2013)

International Journal of Applied Mathematics and Computer Science

Similarity:

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short...

A Solver for Complex-Valued Parametric Linear Systems

Popova, Evgenija, Kolev, Lyubomir, Krämer, Walter (2010)

Serdica Journal of Computing

Similarity:

This work reports on a new software for solving linear systems involving affine-linear dependencies between complex-valued interval parameters. We discuss the implementation of a parametric residual iteration for linear interval systems by advanced communication between the system Mathematica and the library C-XSC supporting rigorous complex interval arithmetic. An example of AC electrical circuit illustrates the use of the presented software. * This work was partly supported...

Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties

Andreas Rauh, Johanna Minisini, Eberhard P. Hofer (2009)

International Journal of Applied Mathematics and Computer Science

Similarity:

Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime...

Control of constrained nonlinear uncertain discrete-time systems robust controllable sets: a modal interval analysis approach

Jian Wan, Josep Vehí, Ningsu Luo, Pau Herrero (2009)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

A general framework for computing robust controllable sets of constrained nonlinear uncertain discrete-time systems as well as controlling such complex systems based on the computed robust controllable sets is introduced in this paper. The addressed one-step control approach turns out to be a robust model predictive control scheme with feasible unit control horizon and contractive constraint. The solver of 1-dimensional quantified set inversion in modal interval analysis is extended...

Computer-Assisted Proofs and Symbolic Computations

Krämer, Walter (2010)

Serdica Journal of Computing

Similarity:

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions...

Set arithmetic and the enclosing problem in dynamics

Marian Mrozek, Piotr Zgliczyński (2000)

Annales Polonici Mathematici

Similarity:

We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.