1. Recherche
38 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00073416v1  Rapport
Hervé Marchand, Michel Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields
[Research Report] RR-3273, INRIA. 1997
...
inria-00073435v1  Rapport
Patricia Bournai, Michel Le Borgne, Hervé Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal
[Rapport de recherche] RR-3254, INRIA. 1997
...
inria-00526268v1  Communication dans un congrès
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic et al.  The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.3284 - 3289, 2001, <10.1109/.2001.980328>
...
inria-00074952v1  Rapport
Albert Benveniste, Michel Le Borgne, Paul Le Guernic. Signal as a model for real-time and hybrid systems
[Research Report] RR-1608, INRIA. 1992
...
inria-00075114v1  Rapport
Paul Le Guernic, Michel Le Borgne, Thierry Gautier, Claude Le Maire. Programming real time applications with SIGNAL
[Research Report] RR-1446, INRIA. 1991
...
inria-00072869v1  Rapport
Hervé Marchand, Michel Le Borgne. The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods
[Research Report] RR-3790, INRIA. 1999
...
inria-00074486v1  Rapport
Hervé Marchand, Michel Le Borgne. Typage des graphes de décisions ternaires
[Rapport de recherche] RR-2185, INRIA. 1994
...
inria-00075468v1  Rapport
Michel Le Borgne, Albert Benveniste, Paul Le Guernic. Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems
[Research Report] RR-1091, INRIA. 1989
...
hal-00851483v1  Article dans une revue
Geoffroy Andrieux, Laurent Fattet, Michel Le Borgne, Ruth Rimokh, Nathalie Théret. Dynamic regulation of Tgf-B signaling by Tif1γ: a computational approach.
PLoS ONE, Public Library of Science, 2012, 7 (3), pp.e33761. <10.1371/journal.pone.0033761>
...
hal-00544352v1  Communication dans un congrès
Michel Le Borgne. Dynamical systems over Galois fields: Applications to DES and to the Signal Language
Belgian-French-Netherlands Summer School on Discrete Event Systems, Jun 1993, Spa, Belgium. 1993
...
inria-00145537v2  Rapport
Carito Guziolowski, Philippe Veber, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel. Checking Consistency Between Expression Data and Large Scale Regulatory Networks: A Case Study
[Research Report] RR-6190, INRIA. 2007, pp.14
hal-00435771v1  Communication dans un congrès
Nolwenn Le Meur, Jérémy Gruel, Michel Le Borgne, Nathalie Théret. Multiclock discrete models of the eukaryotic cell cycle.
Journées Ouvertes en Biologie, Informatique et Mathématiques., Jun 2009, Nantes, France
hal-00435766v1  Communication dans un congrès
Nolwenn Le Meur, Jérémy Gruel, Michel Le Borgne, Nathalie Théret. Modeling the influence of EGF and TGF-b pathways in tumor progression of hepatocellular carcinoma.
Asian Pacific Association for Study of the Liver, Feb 2009, Hong-Kong, Hong Kong SAR China. Springer, 3 (1), pp.64, FP107, 2009
hal-00436059v1  Communication dans un congrès
Nolwenn Le Meur, Michel Le Borgne, Jérémy Gruel, Nathalie Théret. Multiclock discrete models of biological systems
European Conference on Complex Systems 2009 (ECCS), Sep 2009, Warwick, United Kingdom
...
inria-00072844v1  Rapport
Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem
[Research Report] RR-3814, INRIA. 1999
...
inria-00074479v1  Rapport
Bruno Dutertre, Michel Le Borgne. Control of polynomial dynamic systems : an example
[Research Report] RR-2193, INRIA. 1994
...
inria-00075801v1  Rapport
Michel Le Borgne. Quaternions et controle sur l'espace des rotations
[Rapport de recherche] RR-0751, INRIA. 1987
hal-00676747v1  Communication dans un congrès
Nolwenn Le Meur, Michel Le Borgne, Jérémy Gruel, Nathalie Theret. Multiclock discrete approach to model the influence of EGF and TGFß pathways on cell proliferation
JOBIM 2009 satellite meeting : Dynamical modelling and simulation of biological networks, Jun 2009, Nantes, France
...
inria-00144597v2  Rapport
Michel Le Borgne, Philippe Veber. Decision Diagrams for Qualitative Biological Models
[Research Report] RR-6182, INRIA. 2007, pp.17
...
inria-00397098v1  Rapport
Michel Le Borgne. Solving loosely coupled constraints
[Research Report] RR-6958, INRIA. 2009, pp.19
...
hal-00546362v1  Communication dans un congrès
Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic. A Design Environment for Discrete-Event Controllers based on the Signal Language
1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. IEEE Computer Society, pp.770-775, 1998, <10.1109/ICSMC.1998.725501>
hal-00760183v1  Communication dans un congrès
Geoffroy Andrieux, Michel Le Borgne, Nathalie Theret. Modeling cell signaling pathways with discrete dynamical systems : Application to Transforming Growth Factor β (TGFβ) signaling
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Jul 2012, Rennes, France. 2012
...
hal-00544301v1  Communication dans un congrès
Michel Le Borgne, Hervé Marchand, Eric Rutten, Mazen Samaan. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. Springer-Verlag, pp.271-285, 1996, LNCS vol. 1101
...
hal-00546147v1  Article dans une revue
Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment
Discrete Event Dynamic Systems, Springer Verlag, 2000, 10 (4), pp.325-346. <10.1023/A:1008311720696>
...
inria-00540460v1  Article dans une revue
Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire. Programming Real-Time Applications with Signal
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 1991, Another look at Real-time programming, 79 (9), pp.1321-1336. <10.1109/5.97301>
...
inria-00185038v1  Rapport
Philippe Veber, Carito Guziolowski, Michel Le Borgne, Ovidiu Radulescu, Anne Siegel. Inferring the role of transcription factors in regulatory networks
[Research Report] 2007
  • 1
  • 2

Contact


archive-ouverte@inria.fr