Interval-based simulation of Zélus IVPs using DynIbex

Brown Jason; 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]
Előnézet
Cikk, tanulmány, mű
cybernetica_025_numb_001_005-020.pdf

Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2021
Kötet: 25
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 5-20
Nyelv: angol
Kiadó: University of Szeged, Institute of Informatics
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/73050/
DOI: 10.14232/actacyb.285246
Kulcsszavak: Programozási nyelv - Zélus, Programozás
Megjegyzések: Bibliogr.: p. 19-20. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2021. júl. 19. 08:56
Utolsó módosítás: 2023. feb. 21. 09:17
URI: http://acta.bibl.u-szeged.hu/id/eprint/73077
Bővebben:
Tétel nézet Tétel nézet