Bruce, Allan M.

Coghill, George M.

Pang, Wei

English

In this report, inspired by non-constructive simulation developed in the qual-itative reasoning eld, we present a non-constructive interval simulation algorithm forthe simulation of dynamic systems. To perform this kind of simulation, we rst recasttwo integration methods, which were originally used in traditional numerical simulation,and made them suitable for performing interval simulation in a non-constructive man-ner. Then we proposed an iterative interval narrowing algorithm to control the growth ofintervals during simulation. To achieve better accuracy and eciency of the simulation,we designed several simulation modes to meet dierent requirements of various problems.The proposed simulation algorithm was theoretically studied in terms of its completeness,soundness, convergence, and stability. Finally two classical dynamic systems, as well asan electrical circuit model containing an algebraic loop, were used as test examples todemonstrate the validity of the proposed simulation approach

Heriot Watt Pure

Non-constructive interval simulation of dynamic systems

Aberdeen University Research Archive

A simple structural analysis method for DAEs.

An active pulse transmission line simulating nerve axon.

An approach to sensitivity analysis of computer models, part 1. introduction, input variable selection and preliminary variable assessment.

An interval method for systems of ODE.

An Introduction to Numerical Analysis, chapter 2.4 and 12.2.

Analysis on Manifolds. Perseus Books (Sd),

Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems.

Computer methods for ordinary dierential equations and dierential-algebraic equations, chapter 3,

Computer methods for ordinary dierential equations and dierential-algebraic equations, chapter 5,

Constraint propagation with interval labels.

Constructive and non-constructive asynchronous qualitative simulation.

Constructive Qualitative Simulation of Continuous Dynamic Systems.

Continuous System Modeling,

Dynamics of elastic excitable media.

Enclosing the solutions of ordinary initial and boundary value problems (in German).

Faires. Numerical Analysis (7th Edition), chapter 2,

Frequency demultiplication.

Fuzzy qualitative simulation.

Impulses and physiological states in theoretical models of nerve membranes.

Interval Analysis. Prentice-Hall,

Interval tools for ODEs and DAEs.

Introduction to Abstract Algebra,

JMorven: A Framework for parallel non-constructive qualitative reasoning and fuzzy interval simulation.

Mathematical Methods for Physicists, Sixth Edition: A Comprehensive Guide, chapter 5.6,

Methods and applications of interval analysis,

Methods and applications of interval analysis, chapter 3.2,

Methods and applications of interval analysis, chapter 8,

Methods and applications of interval analysis, page 34. SIAM,

Modeling and simulation with incomplete knowledge.

Modern Algebra, chapter 1,

Mycroft: A Framework for Constraint based Fuzzy Qualitative Reasoning.

Numerical behavior envelopes for qualitative models.

Numerical Initial Value Problems in Ordinary Dierential Equations.

Numerical methods for ordinary dierential equations (2nd Edition),

Numerical Methods for Ordinary Dierential Equations,

Numerical Recipes in C:

Numerical Recipes in FORTRAN:

On the ecient generation of Taylor expansions for DAE solutions by automatic dierentiation.

Parallel fuzzy qualitative reasoning.

Performance of the Taylor series method for ODEs/DAEs.

Qualitative and quantitative simulation: bridging the gap.

Qualitative Model Reference Adaptive Control.

Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge.

Qualitative simulation.

Simulation and the Monte Carlo Method.

Solving dierential algebraic equations by Taylor series (I): Computing Taylor coecients.

Solving Ordinary Dierential Equations I: Nonsti Problems,

The design and implementation of a validated object-oriented solver for IVPs for ODEs.

The use of continuity in a qualitative physics.

Trends in the application of model-based fault detection and diagnosis of technical processes.

Understanding line drawings of scenes with shadows.

Using incomplete quantitative information in qualitative reasoning.

Validated solutions of initial value problems for ordinary dierential equations.

Validated solutions of initial value problems for parametric ODEs.

Non-constructive interval simulation of dynamic systems

Abstract

Similar works

Full text

Available Versions

Heriot Watt Pure

Aberdeen University Research Archive

Heriot Watt Pure