Abstracting Linear Equation Systems

Emilie Allart (1, 2) , Joachim Niehren (2, 3) , Cristian Versari (1, 2)

1 Université de Lille
2 BioComputing
3 LINKS - Linking Dynamic Data

We show how to compute finite abstractions of linear equations systems over the reals. We develop a general method based on elementary modes, that can be applied to the various abstractions into finite structures, including the sign abstraction as used in abstract interpretation based program analysis, and the difference abstraction as used in change prediction algorithms for flux networks in systems biology.

Mots clés: Linear equation systems; abstract interpretation; systems biology

Domaines: Bio-informatique [q-bio.QM]

Emilie Allart, Joachim Niehren, Cristian Versari. Abstracting Linear Equation Systems. 2020. ⟨hal-02279942v2⟩