Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations - BCM : Biologie Computationnelle et Mathématique Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations

Résumé

Reachability analysis has recently proved to be a useful technique for analysing the behaviour of under-specified biological models. In this paper, we propose a method exploiting the eigenstructure of a linear continuous system to efficiently estimate a bounded interval containing the time at which the system can reach a target set from an initial set. Then this estimation can be directly integrated in an existing algorithm for hybrid systems with linear continuous dynamics, to speed up reachability computations. Furthermore, it can also be used to improve time-efficiency of the hybridization technique that is based on a piecewise-linear approximation of non-linear continuous dynamics. The proposed method is illustrated on a number of examples including a biological model.
Fichier non déposé

Dates et versions

hal-02272482 , version 1 (27-08-2019)

Identifiants

  • HAL Id : hal-02272482 , version 1

Citer

Alexandre Rocca, Thao Dang, Eric Fanchon. Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. Lecture Notes in Bioinformatics, pp.111-127, 2015, 978-3-319-27655-7. ⟨hal-02272482⟩
1251 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More