Brown Jason and Pessaux François: Interval-based simulation of Zélus IVPs using DynIbex. In: Acta cybernetica, (25) 1. pp. 5-20. (2021)
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 |
| Place of Publication: | Szeged |
| 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 |
| Date Deposited: | 2021. Jul. 19. 08:56 |
| Last Modified: | 2023. Feb. 21. 09:17 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/73077 |
Actions (login required)
 |
View Item |
