on n'a notamment pas d'´ equivalence affine entre ces deux complexes. Ceci provient essentiellement du fait que l'application M est non linéaire. 1. ?? > 0, x) un voisinage ouvert de x, ?y ? V(x), ?p > 0, d(f p (x), f p (y)) > ? ,
Symbolic dynamics and Markov partitions, Bull. Am. Math. Soc, vol.35, issue.1, pp.1-56, 1998. ,
The Cell Programming Language, Artificial Life, vol.5, issue.1, pp.37-77, 1995. ,
DOI : 10.1002/jez.1400050204
IDENTIFICATION OF GENETIC NETWORKS FROM A SMALL NUMBER OF GENE EXPRESSION PATTERNS UNDER THE BOOLEAN NETWORK MODEL, Biocomputing '99, pp.17-28, 1999. ,
DOI : 10.1142/9789814447300_0003
Statistical mechanics of complex networks, Reviews of Modern Physics, vol.74, issue.1, p.47, 2002. ,
DOI : 10.1103/RevModPhys.74.47
The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
Hybrid Modeling and Simulation of Biomolecular Networks, pp.29-32, 2001. ,
DOI : 10.1007/3-540-45351-2_6
Mathematical mmodelling in genetic networks: relationships between the genetic expression and both chromosomic breakage and positive circuits, Proceedings of the 1st IEEE International Symposium on Bioinformatics and Biomedical Engineering, pp.141-149, 2000. ,
Mathematical Methods for Inferring Regulatory Networks Interactions: Application to Genetic Regulation, Acta Biotheoretica, vol.52, issue.4, pp.391-400, 2004. ,
DOI : 10.1023/B:ACBI.0000046605.48037.7d
Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995. ,
DOI : 10.1016/0304-3975(94)00228-B
Abstraction by Projection and Application to Multi-affine Systems, HSCC 2004, pp.32-47, 2004. ,
DOI : 10.1007/978-3-540-24743-2_3
URL : https://hal.archives-ouvertes.fr/hal-00157551
Counting and Classifying Attractors in High Dimensional Dynamical Systems, Journal of Theoretical Biology, vol.183, issue.3, pp.269-284, 1996. ,
DOI : 10.1006/jtbi.1996.0220
Engineering stability in gene networks by autoregulation, Nature, vol.405, pp.590-93, 2000. ,
Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.534-539, 2002. ,
DOI : 10.1109/CDC.2002.1184551
Géometrie -1,3 Cedic : Fernand Nathan, 1978. ,
Computation in gene networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.14, issue.1, pp.145-151, 2004. ,
DOI : 10.1063/1.1633371
On the computational power of dynamical systems and hybrid systems, Theoretical Computer Science, vol.168, issue.2, pp.417-459, 1996. ,
DOI : 10.1016/S0304-3975(96)00086-2
URL : https://hal.archives-ouvertes.fr/inria-00102943
Topological entropy for noncompact sets, Transactions of the American Mathematical Society, vol.184, pp.125-136, 1973. ,
DOI : 10.1090/S0002-9947-1973-0338317-X
Exact Volume Computation for Polytopes: A Practical Study, Polytopes Combinatorics and Computation, DMV-Seminar 29, 2000. ,
DOI : 10.1007/978-3-0348-8438-9_6
Piecewise isometries have zero topological entropy, Ergodic Theory and Dynamical Systems, vol.21, issue.05, pp.1371-1377, 2001. ,
DOI : 10.1017/S0143385701001651
Piecewise-linear models of genetic regulatory networks: Equilibria and their stability, p.5353, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071250
How to make a Biological Switch, Journal of Theoretical Biology, vol.203, issue.2, pp.117-133, 2000. ,
DOI : 10.1006/jtbi.2000.1068
Practical numerical algorithms for chaotic systems, 1989. ,
Roles of positive and negative feedback in biological systems, Comptes Rendus Biologies, vol.325, issue.11, pp.1085-1095, 2002. ,
DOI : 10.1016/S1631-0691(02)01533-0
Positive and Negative Feedback: Striking a Balance Between Necessary Antagonists, Journal of Theoretical Biology, vol.216, issue.2, pp.229-241, 2002. ,
DOI : 10.1006/jtbi.2002.2544
A kinetic model of the branch-point between the methionine and threonine biosynthesis pathways in Arabidopsis thaliana, European Journal of Biochemistry, vol.100, issue.2, pp.4615-4627, 2003. ,
DOI : 10.1046/j.1432-1033.2003.03851.x
By way of introduction: Some constraints of the cell physics that are usually forgotten, but should be taken into account for in silico genome analysis, Biochimie, vol.78, issue.5, pp.78-299, 1996. ,
DOI : 10.1016/0300-9084(96)84760-2
Multistationarity and Cell Differentiation, Journal of Biological Systems, vol.06, issue.01, pp.1-2, 1998. ,
DOI : 10.1142/S0218339098000030
Genetic regulation networks: circuits, regulons and attractors, Comptes Rendus Biologies, vol.326, issue.2, 2003. ,
DOI : 10.1016/S1631-0691(03)00069-6
Identification of all steady states in large networks by logical analysis, Bulletin of Mathematical Biology, vol.65, issue.6, pp.1025-1051, 2003. ,
DOI : 10.1016/S0092-8240(03)00061-2
URL : https://hal.archives-ouvertes.fr/hal-01255591
Gene expression data analysis and modeling, Tutorial notes from Pacific Symposium on Biocomputing, 1999. ,
Genetic networks inference: from coexpression clustering to reverse engineering, Bioinformatics, issue.8, p.16707, 2000. ,
Qualitative simulation of large and complex genetic regulatory systems, pp.141-145, 2000. ,
Modeling and simulation of genetic regulatory systems : a literature review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002. ,
Dealing with discontinuities in the qualitative simulation of genetic regulatory networks, pp.191-195, 2002. ,
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach, HSCC 2003, pp.267-282, 2003. ,
DOI : 10.1007/3-540-36580-X_21
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-344, 2003. ,
DOI : 10.1093/bioinformatics/btf851
URL : https://hal.archives-ouvertes.fr/inria-00072325
Qualitative simulation of the initiation of sporulation in, Bulletin of Mathematical Biology, vol.66, issue.2, pp.261-300, 2004. ,
DOI : 10.1016/j.bulm.2003.08.009
URL : https://hal.archives-ouvertes.fr/inria-00072061
Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004. ,
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli, HSCC 2005, pp.134-150, 2005. ,
DOI : 10.1007/978-3-540-31954-2_9
Catastrophes et bifurcations, 1989. ,
Combinatorial explosion in model gene networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.10, issue.3, pp.691-704, 2000. ,
DOI : 10.1063/1.1286997
Analysis of continuous-time switching networks, Physica D: Nonlinear Phenomena, vol.146, issue.1-4, pp.165-199, 2000. ,
DOI : 10.1016/S0167-2789(00)00130-5
Symbolic dynamics and computation in model gene networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.160-169, 2001. ,
DOI : 10.1063/1.1336498
Chaos in neural and gene networks with hard switching, Differential Equations and Dynamical Systems, pp.187-220, 2001. ,
On matrices with common invariant cones with applications in neural and gene networks, Linear Algebra and its Applications, vol.398, 2004. ,
DOI : 10.1016/j.laa.2004.04.005
A synthetic oscillatory network of transcriptional regulators, Nature, vol.403, issue.6767, pp.335-338, 2000. ,
DOI : 10.1038/35002125
Differential Equations with Discontinuous Righthand Sides, Mathematics and Its Applications (Soviet Series), vol.18, 1988. ,
DOI : 10.1007/978-94-015-7793-9
Symbolic representation of iterated maps, Topological Methods in Nonlinear Analysis, pp.119-147, 2001. ,
Frequently asked questions in polyhedral computation, 2000. ,
Construction of a genetic toggle switch in Escherichia Coli, Nature, vol.403, pp.339-342, 2000. ,
Attractors in continuous ???time switching networks, Communications on Pure and Applied Analysis, vol.2, issue.2, pp.187-209, 2003. ,
DOI : 10.3934/cpaa.2003.2.187
Global dynamics of neural nets with infinite gain, Physica D: Nonlinear Phenomena, vol.146, issue.1-4, pp.200-212, 2000. ,
DOI : 10.1016/S0167-2789(00)00129-9
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model, HSCC 2001, pp.232-246, 2001. ,
DOI : 10.1007/3-540-45351-2_21
A probabilistic model of a prokaryotic gene and its regulation, Computational Modeling of Genetic and Biochemical Networks, 2001. ,
Modeling the activity of single genes, Computational Methods for Molecular and Cellular Biology ,
Also avail, 1999. ,
Analyse algorithmique des systèmes hybrides, 2004. ,
The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973. ,
DOI : 10.1016/0022-5193(73)90208-7
A combinatorial analog of the Poincar?? Index Theorem, Journal of Combinatorial Theory, Series B, vol.15, issue.3, pp.264-268, 1973. ,
DOI : 10.1016/0095-8956(73)90040-3
Combinatorial and topological methods in nonlinear chemical kinetics, The Journal of Chemical Physics, vol.63, issue.4, pp.1325-1335, 1975. ,
DOI : 10.1063/1.431518
Classification of biological networks by their qualitative dynamics, Journal of Theoretical Biology, vol.54, issue.1, pp.85-107, 1975. ,
DOI : 10.1016/S0022-5193(75)80056-7
Prediction of limit cycles in mathematical models of biological oscillations, Bulletin of Mathematical Biology, vol.27, issue.1, pp.27-44, 1978. ,
DOI : 10.1007/BF02463128
Stable oscillations in mathematical models of biological control systems, Journal of Mathematical Biology, vol.11, issue.3, pp.207-223, 1978. ,
DOI : 10.1007/BF02547797
Ordered and disordered dynamics in random networks, Europhysics Letters (EPL), vol.41, issue.6, pp.599-604, 1998. ,
DOI : 10.1209/epl/i1998-00199-0
Instability and Chaos: an introduction to the theory of nonlinear differential equations, Cambridge Texts in Applied Mathematics, 1994. ,
DOI : 10.1017/CBO9780511626296
Sofic subshifts and piecewise isometric systems, Ergodic Theory and Dynamical Systems, vol.19, issue.6, pp.1485-1501, 1999. ,
DOI : 10.1017/S0143385799151964
An emerging area of dynamical systems, Trends in Mathematics, 2001. ,
Positive and Negative Circuits in Dynamical Systems, Journal of Biological Systems, vol.06, issue.01, pp.11-15, 1998. ,
DOI : 10.1142/S0218339098000054
A class of piecewise linear differential equations arising in biological models, Dynamical systems, pp.299-316, 2003. ,
Computational studies of gene regulatory networks : in numero molecular biology, Nature Reviews Genetics, vol.2, issue.4, pp.268-279, 2001. ,
DOI : 10.1038/35066056
Basic properties of convex polytopes, in CRC Handbook of discrete and computational geometry, Boca Raton, 1997. ,
Topological entropy for noncompact spaces, Michigan Math, J, vol.21, issue.3, pp.235-242, 1975. ,
DOI : 10.1307/mmj/1029001311
Genetic regulatory mechanisms in the synthesis of proteins, Journal of Molecular Biology, vol.3, issue.3, p.318, 1961. ,
DOI : 10.1016/S0022-2836(61)80072-7
Dynamics in high-dimensional model gene networks, Signal Processing, vol.83, issue.4, pp.789-798, 2003. ,
DOI : 10.1016/S0165-1684(02)00479-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7370
Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969. ,
DOI : 10.1016/0022-5193(69)90015-0
The large scale structure and dynamics of gene control circuits, Journal of Theoretical Biology, vol.44, issue.1, pp.167-174, 1974. ,
DOI : 10.1016/S0022-5193(74)80037-8
The origins of order, 1993. ,
BIFURCATIONS IN GLASS NETWORKS, International Journal of Bifurcation and Chaos, vol.15, issue.02, pp.395-423, 2005. ,
DOI : 10.1142/S0218127405012302
STEADY STATES, LIMIT CYCLES, AND CHAOS IN MODELS OF COMPLEX BIOLOGICAL NETWORKS, International Journal of Bifurcation and Chaos, vol.01, issue.02, pp.477-483, 1991. ,
DOI : 10.1142/S0218127491000373
Nonlinear Dynamics and Symbolic Dynamics of Neural Networks, Neural Computation, vol.4, issue.5, pp.621-642, 1992. ,
DOI : 10.1016/0167-2789(90)90140-K
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks, HSCC 2004, pp.660-672, 2004. ,
DOI : 10.1007/978-3-540-24743-2_44
An introduction to symbolic dynamics and coding Cambridge, 1995. ,
DOI : 10.1017/cbo9780511626302
URL : http://dx.doi.org/10.1016/0898-1221(96)87345-7
Modeling operon dynamics: the tryptophan and lactose operons as paradigms, Comptes Rendus Biologies, vol.327, issue.3, pp.211-224, 2004. ,
DOI : 10.1016/j.crvi.2003.11.009
Stability analysis for a mathematical model of the lac operon, Quarterly of Applied Mathematics, vol.57, issue.1, pp.37-53, 1999. ,
DOI : 10.1090/qam/1672171
Diagrammatic notation and computational structure of gene networks, Proceedings of the Second International Conference on Systems Biology, pp.311-317, 2001. ,
Evolving complex dynamics in electronic models of genetic networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.14, issue.3, pp.707-715, 2004. ,
DOI : 10.1063/1.1786683
Circuit simulation of genetic networks, Science, vol.269, issue.5224, pp.650-656, 1995. ,
DOI : 10.1126/science.7624793
Stochastic mechanisms in gene expression, Proc. Natl. Acad. Sci. USA, pp.814-833, 1997. ,
DOI : 10.1258/002367790780890347
Gene regulation: Towards a circuit engineering discipline, Current Biology, vol.10, issue.8, pp.318-320, 2000. ,
DOI : 10.1016/S0960-9822(00)00440-1
Periodic solutions in systems of piecewise- linear differential equations, Dynamics and Stability of Systems, vol.29, issue.2, pp.179-193, 1995. ,
DOI : 10.1016/S0022-5193(05)80350-9
Chaos in high-dimensional neural and gene networks, Physica D: Nonlinear Phenomena, vol.98, issue.1, pp.33-52, 1996. ,
DOI : 10.1016/0167-2789(96)00086-3
Common Chaos in Arbitrarily Complex Feedback Networks, Physical Review Letters, vol.79, issue.4, pp.653-656, 1997. ,
DOI : 10.1103/PhysRevLett.79.653
On Bowen's definition of topological entropy, Discrete Contin, Dyn. Syst., Ser. A, vol.10, pp.827-833, 2004. ,
Dynamics and computation in functional shifts, Nonlinearity, vol.17, issue.4, pp.1317-1336, 2004. ,
DOI : 10.1088/0951-7715/17/4/009
Description and Analysis of Switchlike Regulatory Networks Exemplified by a Model of Cellular Iron Homeostasis, Journal of Theoretical Biology, vol.195, issue.3, pp.339-350, 1998. ,
DOI : 10.1006/jtbi.1998.0800
Inferring models of gene expression dynamics, Journal of Theoretical Biology, vol.230, issue.3, pp.289-299, 2004. ,
DOI : 10.1016/j.jtbi.2004.05.022
La généalogie morphologique du structuralisme, Numéro spécial en hommagè a, pp.620-621, 1999. ,
Le structuralisme, Que sais-je?, p.1311, 1968. ,
Global analysis of steady points for systems of differential equations with sigmoid interactions, Dynamics and Stability of Systems, vol.36, issue.4, pp.275-291, 1994. ,
DOI : 10.1016/S0022-5193(05)80350-9
A mathematical framework for describing and analysing gene regulatory networks, J. Theor. Biol, vol.176, pp.291-300, 1995. ,
FEEDBACK LOOPS, STABILITY AND MULTISTATIONARITY IN DYNAMICAL SYSTEMS, Journal of Biological Systems, vol.03, issue.02, pp.409-413, 1995. ,
DOI : 10.1142/S0218339095000381
A methodological basis for description and analysis of systems with complex switch-like interactions, Journal of Mathematical Biology, vol.36, issue.4, pp.321-348, 1998. ,
DOI : 10.1007/s002850050103
Analysis and generic properties of gene regulatory networks with graded response functions, Physica D: Nonlinear Phenomena, vol.201, issue.1-2, pp.150-176, 2005. ,
DOI : 10.1016/j.physd.2004.11.014
Control Motifs for Intracellular Regulatory Networks, Annual Review of Biomedical Engineering, vol.3, issue.1, pp.391-419, 2001. ,
DOI : 10.1146/annurev.bioeng.3.1.391
Les systèmes dynamiques discrets, Collection : Mathématiques et applications, vol.19, 1995. ,
Dynamical System Theory in Biology, Stability theory and its applications, 1970. ,
DOI : 10.1115/1.3426632
Why the Lysogenic State of Phage ?? Is So Stable: A Mathematical Modeling Approach, Biophysical Journal, vol.86, issue.1, pp.75-84, 2004. ,
DOI : 10.1016/S0006-3495(04)74085-0
Towards a geometric theory of hybrid systems, LNCS, vol.1790, pp.421-436, 2000. ,
Modeling Transcriptional Control in Gene Networks???Methods, Recent Results, and Future Directions, Bulletin of Mathematical Biology, vol.62, issue.2, pp.247-292, 2000. ,
DOI : 10.1006/bulm.1999.0155
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.9190
Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and Stability of Systems, vol.54, issue.3-4, pp.3-4189, 1989. ,
DOI : 10.1016/S0006-3495(71)86192-1
Logical identification of all steady states: The concept of feedback loop characteristic states, Bulletin of Mathematical Biology, vol.55, issue.5, pp.973-991, 1993. ,
DOI : 10.1016/S0092-8240(05)80199-5
Necessary Conditions for Multistationarity and Stable Periodicity, Journal of Biological Systems, vol.06, issue.01, pp.3-9, 1998. ,
DOI : 10.1142/S0218339098000042
Graphic requirements for multistationarity, Complexus, pp.123-133, 2003. ,
Qualitative analysis of gene networks, Pacific Symp, Biocomp, vol.98, issue.3, pp.77-88, 1998. ,
Stabilit?? structurelle et morphogen??se, Poetics, vol.3, issue.2, p.InterEditions, 1977. ,
DOI : 10.1016/0304-422X(74)90010-2
Modèles mathématiques de la morphogenèse, Bourgois, pp.10-18, 1974. ,
Prédire n'est pas expliquer, Flammarion, 1991. ,
Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.170-179, 2001. ,
DOI : 10.1063/1.1350439
Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.180-195, 2001. ,
DOI : 10.1063/1.1349893
Modeling network dynamics, The Journal of Cell Biology, vol.1, issue.3, pp.471-476, 2003. ,
DOI : 10.1016/S0969-2126(02)00741-4
Dynamique des systèmes complexes, Editions du CNRS, 1989. ,
A COMPARISON OF GENETIC NETWORK MODELS, Biocomputing 2001, pp.508-519, 2001. ,
DOI : 10.1142/9789814447362_0049
Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose, Biotechnology Progress, vol.13, issue.2, pp.132-143, 1997. ,
DOI : 10.1021/bp970003o
Genomic regulation modeled as a network with basins of attraction, Pac. Symp. on Biocomputing, pp.89-102, 1998. ,
Feedback Regulation in the Lactose Operon: A Mathematical Modeling Study and Comparison with Experimental Data, Biophysical Journal, vol.84, issue.5, pp.2841-2851, 2003. ,
DOI : 10.1016/S0006-3495(03)70013-7
Lectures on polytopes, Graduate Texts in Mathematics, vol.152, 1995. ,
DOI : 10.1007/978-1-4613-8431-1