<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>Interval arithmetic techniques such as ValEncIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests are essential to obtain the tightest possible enclosures. In this contribution, a general framework for the use of constraints based on physically motivated conservation properties is presented. The use of these constraints in verified simulations of dynamical systems provides a computationally efficient procedure which restricts the state enclosures to regions that are physically meaningful. A branch and prune algorithm is modified to a consistency test, which is based on these constraints. Two application scenarios are studied in detail. First, the total energy is employed as a conservation property for the analysis of mechanical systems. It is shown that conservation properties, such as the energy, are applicable to any Hamiltonian system. The second scenario is based on constraints that are derived from decoupling properties, which are considered for a high-dimensional compartment model of granulopoiesis in human blood cell dynamics.</p></abstract>

Interval arithmetic techniques such as ValEncIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests are essential to obtain the tightest possible enclosures. In this contribution, a general framework for the use of constraints based on physically motivated conservation properties is presented. The use of these constraints in verified simulations of dynamical systems provides a computationally efficient procedure which restricts the state enclosures to regions that are physically meaningful. A branch and prune algorithm is modified to a consistency test, which is based on these constraints. Two application scenarios are studied in detail. First, the total energy is employed as a conservation property for the analysis of mechanical systems. It is shown that conservation properties, such as the energy, are applicable to any Hamiltonian system. The second scenario is based on constraints that are derived from decoupling properties, which are considered for a high-dimensional compartment model of granulopoiesis in human blood cell dynamics.

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Institute of Measurement, Control, and Microtechnology, University of Ulm, D-89069 Ulm, Germany

International Journal of Applied Mathematics and Computer Science

Interval arithmetic techniques such as ValEncIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with...

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Online veröffentlicht: 24. Sept. 2009

Seitenbereich: 485 - 499

DOI: https://doi.org/10.2478/v10006-009-0039-x

Schlüsselwörter
ValEncIA-IVP, consistency tests for the reduction of overestimation, identification of dynamical constraints, Hamiltonian systems, branch and prune algorithms

This content is open access.

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Online veröffentlicht: 24. Sept. 2009

Seitenbereich: 485 - 499

DOI: https://doi.org/10.2478/v10006-009-0039-x

SchlüsselwörterValEncIA-IVP, consistency tests for the reduction of overestimation, identification of dynamical constraints, Hamiltonian systems, branch and prune algorithms

This content is open access.

Schlüsselwörter
ValEncIA-IVP, consistency tests for the reduction of overestimation, identification of dynamical constraints, Hamiltonian systems, branch and prune algorithms