Interval-Based Simulation of Zélus IVPs Using DynIbex - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Article Dans Une Revue Acta Cybernetica Année : 2020

Interval-Based Simulation of Zélus IVPs Using DynIbex

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (1.01 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02930466 , version 1 (04-09-2020)

Identifiants

Citer

Jason Brown, François Pessaux. Interval-Based Simulation of Zélus IVPs Using DynIbex. Acta Cybernetica, 2020, pp.1 - 16. ⟨10.14232/actacyb.285246⟩. ⟨hal-02930466⟩
81 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More