Analysing formal models of genetic regulatory networks with delays

Authors:
Jamil Ahmad;Olivier Roux;Gilles Bernot;Jean-Paul Comet;Adrien Richard
Affiliations:
IRCCyN UMR CNRS 6597, BP 92101, 1 rue de la Noe, 44321 Nantes Cedex 3, France.;IRCCyN UMR CNRS 6597, BP 92101, 1 rue de la Noe, 44321 Nantes Cedex 3, France.;Laboratoire I3S, (UNSA & CNRS UMR 6070)), Les Algorithmes, bat. Euclide B, BP.121, 06903 Sophia Antipolis Cedex, France.;Laboratoire I3S, (UNSA & CNRS UMR 6070)), Les Algorithmes, bat. Euclide B, BP.121, 06903 Sophia Antipolis Cedex, France.;Laboratoire I3S, (UNSA & CNRS UMR 6070)), Les Algorithmes, bat. Euclide B, BP.121, 06903 Sophia Antipolis Cedex, France
Venue:
International Journal of Bioinformatics Research and Applications
Year:
2008

Citing 7
Cited 3

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts

HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
What''s Decidable About Hybrid Automata?

What''s Decidable About Hybrid Automata?
Computing invariance kernels of polygonal hybrid systems

Nordic Journal of Computing
Semantics of Biological Regulatory Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Qualitative analysis and verification of hybrid models of genetic regulatory networks: nutritional stress response in Escherichia coli

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Action-based analysis of discrete regulatory networks with short-term stimuli

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Invariance kernel of Biological Regulatory Networks

International Journal of Data Mining and Bioinformatics
Concretizing the process hitting into biological regulatory networks

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a refinement of the modelling ofbiological regulatory networks based on the discrete approach ofRene Thomas. We refine and automatise the use of delays ofactivation/inhibition in order to specify which variable is morequickly affected by a change of its regulators. The formalism oflinear hybrid automata is well suited to allow such refinement. Wethen use HyTech for two purposes: to find automatically all pathsfrom a specified initial state to another one; to synthesiseconstraints on the delay parameters in order to follow any specificpath.