Non-constructive interval simulation of dynamic systems

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

Research output: Book/ReportBook


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.
Original languageEnglish
Place of PublicationAberdeen
PublisherDepartment of Computing Science, University of Aberdeen
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