Non-constructive interval simulation of dynamic systems

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

Research output: Book/ReportOther Report

15 Downloads (Pure)

Abstract

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
VolumeABDN–CS–12–02
Publication statusPublished - Jun 2012

Publication series

NameTechnical Report ABDN–CS–12–02

Fingerprint

Dynamical systems
Networks (circuits)
Computer simulation

Keywords

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

Cite this

Pang, W., Coghill, G. M., & Bruce, A. M. (2012). Non-constructive interval simulation of dynamic systems. (Technical Report ABDN–CS–12–02). Aberdeen: Department of Computing Science, University of Aberdeen.

Non-constructive interval simulation of dynamic systems. / Pang, Wei; Coghill, George M.; Bruce, Allan M.

Aberdeen : Department of Computing Science, University of Aberdeen, 2012. 44 p. (Technical Report ABDN–CS–12–02).

Research output: Book/ReportOther Report

Pang, W, Coghill, GM & Bruce, AM 2012, Non-constructive interval simulation of dynamic systems. Technical Report ABDN–CS–12–02, vol. ABDN–CS–12–02, Department of Computing Science, University of Aberdeen, Aberdeen.
Pang W, Coghill GM, Bruce AM. Non-constructive interval simulation of dynamic systems. Aberdeen: Department of Computing Science, University of Aberdeen, 2012. 44 p. (Technical Report ABDN–CS–12–02).
Pang, Wei ; Coghill, George M. ; Bruce, Allan M. / Non-constructive interval simulation of dynamic systems. Aberdeen : Department of Computing Science, University of Aberdeen, 2012. 44 p. (Technical Report ABDN–CS–12–02).
@book{d87cdff5ae694edbaeeb5b038a154aff,
title = "Non-constructive interval simulation of dynamic systems",
abstract = "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.",
keywords = "qualitative reasoning, interval simulation, non-constructive simulation, interval analysis, Monte-Carlo simulation, Algebraic-loop model",
author = "Wei Pang and Coghill, {George M.} and Bruce, {Allan M.}",
year = "2012",
month = "6",
language = "English",
volume = "ABDN–CS–12–02",
series = "Technical Report ABDN–CS–12–02",
publisher = "Department of Computing Science, University of Aberdeen",

}

TY - BOOK

T1 - Non-constructive interval simulation of dynamic systems

AU - Pang, Wei

AU - Coghill, George M.

AU - Bruce, Allan M.

PY - 2012/6

Y1 - 2012/6

N2 - 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.

AB - 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.

KW - qualitative reasoning

KW - interval simulation

KW - non-constructive simulation

KW - interval analysis

KW - Monte-Carlo simulation

KW - Algebraic-loop model

M3 - Other Report

VL - ABDN–CS–12–02

T3 - Technical Report ABDN–CS–12–02

BT - Non-constructive interval simulation of dynamic systems

PB - Department of Computing Science, University of Aberdeen

CY - Aberdeen

ER -