10 citations · 24 across the 4 of their papers we have counts for
4 papers
Occupation measure methods for modelling and analysis of biological hybrid automata
Alexandre Rocca, Marcelo Forets, Victor Magron +2
Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters usin…
Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability
Maximilien Gadouleau, Adrien Richard, Eric Fanchon
Linear network coding transmits data through networks by letting the intermediate nodes combine the messages they receive and forward the combinations towards their destinations. T…
Producing a Set of Models for the Iron Homeostasis Network
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) fo…
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical sy…