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 - Book
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 -