Non-constructive interval simulation of dynamic systems

Wei Pang, George M. Coghill, Allan M. Bruce

Research output: Book/ReportOther Report

19 Downloads (Pure)


In this report, inspired by non-constructive simulation developed in the qual-
itative reasoning eld, we present a non-constructive interval simulation algorithm for
the simulation of dynamic systems. To perform this kind of simulation, we rst recast
two 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 of
intervals 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 as
an electrical circuit model containing an algebraic loop, were used as test examples to
demonstrate the validity of the proposed simulation approach.
Original languageEnglish
Place of PublicationAberdeen
PublisherDepartment of Computing Science, University of Aberdeen
Number of pages44
Publication statusPublished - Jun 2012

Publication series

NameTechnical Report ABDN–CS–12–02


  • qualitative reasoning
  • interval simulation
  • non-constructive simulation
  • interval analysis
  • Monte-Carlo simulation
  • Algebraic-loop model


Dive into the research topics of 'Non-constructive interval simulation of dynamic systems'. Together they form a unique fingerprint.

Cite this