Interval-based simulation of Zélus IVPs using DynIbex

Brown Jason and Pessaux François: Interval-based simulation of Zélus IVPs using DynIbex. In: Acta cybernetica, (25) 1. pp. 5-20. (2021)

[thumbnail of cybernetica_025_numb_001_005-020.pdf]
Preview
Cikk, tanulmány, mű
cybernetica_025_numb_001_005-020.pdf

Download (1MB) | Preview

Abstract

Modeling continuous-time dynamical systems is a complex task. Fortunately some dedicated programming languages exist to ease this work. Zélus is one such language that generates a simulation executable which can be used to study the behavior of the modeled system. However, such simulations cannot handle uncertainties on some parameters of the system. This makes it necessary to run multiple simulations to check that the system fulfills particular requirements (safety for instance) for all the values in the uncertainty ranges. Interval-based guaranteed integration methods provide a solution to this problem. The DynIbex library provides such methods but it requires a manual encoding of the system in a general purpose programming language (C++). This article presents an extension of the Zélus compiler to generate interval-based guaranteed simulations of IVPs using DynIbex. This extension is conservative since it does not break the existing compilation workflow.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2021
Volume: 25
Number: 1
ISSN: 0324-721X
Page Range: pp. 5-20
Language: English
Publisher: University of Szeged, Institute of Informatics
Related URLs: http://acta.bibl.u-szeged.hu/73050/
DOI: 10.14232/actacyb.285246
Uncontrolled Keywords: Programozási nyelv - Zélus, Programozás
Additional Information: Bibliogr.: p. 19-20. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
01. Natural sciences > 01.02. Computer and information sciences > 01.02.01. Computer sciences, information science and bioinformatics
Date Deposited: 2021. Jul. 19. 08:56
Last Modified: 2021. Jul. 19. 09:15
URI: http://acta.bibl.u-szeged.hu/id/eprint/73077

Actions (login required)

View Item View Item