Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations - Archive ouverte HAL Access content directly
Book Sections Year : 2015

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations

(1) , (2) , (1)
1
2

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02272482 , version 1

Cite

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⟩
689 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More