Title of article :
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
Author/Authors :
Grégory Batt، نويسنده , , Hidde de Jong، نويسنده , , Michel Page، نويسنده , , Johannes Geiselmann، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Qualitative analysis , Hybrid systems , Genetic regulatory networks , Systems biology , Discrete abstraction , Piecewise-affine differential equations
Journal title :
Automatica
Journal title :
Automatica