Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
697365 | Automatica | 2008 | 8 Pages |
Abstract
We use hybrid-systems techniques for the analysis of reachability properties of a class of piecewise-affine (PA) differential equations that are particularly suitable for the modeling of genetic regulatory networks. More specifically, we introduce a hyperrectangular partition of the state space that forms the basis for a discrete abstraction preserving the sign of the derivatives of the state variables. The resulting discrete transition system provides a qualitative description of the network dynamics that is well-adapted to available experimental data and that can be efficiently computed in a symbolic manner from inequality constraints on the parameters.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann,