Abstracting Linear Equation Systems
Résumé
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.
Domaines
Bio-informatique [q-bio.QM]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...