TY - GEN
T1 - OURS
T2 - 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2021
AU - Hu, Ruiqi
AU - Li, Meilun
AU - She, Zhikun
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - We present OURS, a precision-oriented MATLAB tool for computing ver- and nder- approximations of eachable ets for analytic time-invariant differential equations. The main theoretical framework behind OURS is introduced, including the concept of evolution function, whose zero sub-level sets are used to describe reachable sets, and a series representation of evolution function. Using the partial sums of this series, OURS finds over- and under-approximations of evolution function at time-instants: it consecutively estimates each remainder of the corresponding partial sum of the series with interval arithmetics until one remainder satisfies the designated precision, and then builds over- and under-approximations with this remainder. The structure of OURS is also presented, such as the forms of inputs and outputs, and technical implementations of the crucial steps inside. We also compare OURS with two other existing methods.
AB - We present OURS, a precision-oriented MATLAB tool for computing ver- and nder- approximations of eachable ets for analytic time-invariant differential equations. The main theoretical framework behind OURS is introduced, including the concept of evolution function, whose zero sub-level sets are used to describe reachable sets, and a series representation of evolution function. Using the partial sums of this series, OURS finds over- and under-approximations of evolution function at time-instants: it consecutively estimates each remainder of the corresponding partial sum of the series with interval arithmetics until one remainder satisfies the designated precision, and then builds over- and under-approximations with this remainder. The structure of OURS is also presented, such as the forms of inputs and outputs, and technical implementations of the crucial steps inside. We also compare OURS with two other existing methods.
UR - https://www.scopus.com/pages/publications/85120522161
U2 - 10.1007/978-3-030-91265-9_14
DO - 10.1007/978-3-030-91265-9_14
M3 - 会议稿件
AN - SCOPUS:85120522161
SN - 9783030912642
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 261
EP - 278
BT - Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Proceedings
A2 - Qin, Shengchao
A2 - Woodcock, Jim
A2 - Zhang, Wenhui
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 25 November 2021 through 27 November 2021
ER -