1. Recherche
123 résultats  enregistrer la recherche
...
inria-00424274v1  Communication dans un congrès
Jérémy Dubreil, Thierry Jéron, Hervé Marchand. Construction de moniteurs pour la surveillance de propriétés de sécurité
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.105-120, 2007
...
inria-00424279v1  Communication dans un congrès
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007
...
inria-00525535v1  Communication dans un congrès
Hervé Marchand, Eric Rutten. A case study in applying discrete control synthesis to excavator operation
IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. 2002, <10.1109/ICSMC.2002.1175694>
...
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-00525529v1  Communication dans un congrès
Hervé Marchand, Benoit Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines
41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. IEEE, pp.1199-1204, 2002, <http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1184677&tag=1>. <10.1109/CDC.2002.1184677>
...
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-00424484v1  Chapitre d'ouvrage
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs
Nicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information
...
inria-00424857v1  Communication dans un congrès
Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems
3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. 2006
...
inria-00424858v1  Communication dans un congrès
Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata
4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. Springer Science and Business Media, 209/2006, pp.197-212, 2006, IFIP International Federation for Information Processing. <10.1007/978-0-387-34735-6_18>
...
inria-00525533v1  Communication dans un congrès
Hervé Marchand, Eric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis
14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. IEEE, pp.241-248, 2002, <10.1109/EMRTS.2002.1019204>
...
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-00526273v1  Communication dans un congrès
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune. Optimal control of discrete event systems under partial observation
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.2235-2240, 2001, <10.1109/.2001.980609>
...
inria-00425106v1  Communication dans un congrès
Klaus Schmidt, Hervé Marchand, Benoit Gaudin. Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp.149-154, 2006, <10.1109/WODES.2006.1678423>
...
inria-00074155v1  Rapport
Tochéou Amagbegnon, Paul Le Guernic, Hervé Marchand, Eric Rutten. The Signal data flow methodology applied to a production cell
[Research Report] RR-2522, INRIA. 1995
...
inria-00074157v1  Rapport
Hervé Marchand, Eric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi
[Research Report] RR-2521, INRIA. 1995
inria-00526261v1  Communication dans un congrès
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin et al.  A Protocol for Loosely Time-Triggered Architectures
Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. <10.1007/3-540-45828-X_19>
...
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-00530584v1  Communication dans un congrès
Omer Landry Nguena Timo, Hervé Marchand, Antoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints
22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30, 2010
...
inria-00510013v1  Communication dans un congrès
Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435, 2010
...
inria-00510019v1  Communication dans un congrès
Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010
...
inria-00312747v2  Rapport
Jérémy Dubreil, Thierry Jéron, Hervé Marchand. Monitoring Information flow by Diagnosis Techniques
[Research Report] PI 1901, 2008, pp.15
...
inria-00360186v1  Rapport
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Supervisory Control for Opacity
[Research Report] PI 1921, 2009, 19 p
...
inria-00074486v1  Rapport
Hervé Marchand, Michel Le Borgne. Typage des graphes de décisions ternaires
[Rapport de recherche] RR-2185, INRIA. 1994
...
inria-00476910v1  Communication dans un congrès
Gwenaël Delaval, Hervé Marchand, Eric Rutten. Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, 2010, <http://portal.acm.org/citation.cfm?doid=1755888.1755898>. <10.1145/1755888.1755898>
...
hal-00646089v1  Communication dans un congrès
Wilkerson L. Andrade, Patricia D. L. Machado, Thierry Jéron, Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems
7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany. 2011
...
inria-00517300v1  Communication dans un congrès
Benoit Gaudin, Hervé Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems
Workshop on Discrete Event Systems, Sep 2004, Reims, France. IFAC, pp.181-186, 2004
...
inria-00517304v1  Communication dans un congrès
Vlad Rusu, Hervé Marchand, Valérie Tschaen, Thierry Jéron, Bertrand Jeannet. From Safety Verification to Safety Testing
R. Groz and R.M. Hierons. Testing of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. Springer, 2978, pp.160-176, 2004, Lecture notes in computer science. <10.1007/978-3-540-24704-3_11>
...
inria-00136129v1  Rapport
Thierry Jéron, Hervé Marchand, Sahika Genc, Stéphane Lafortune. Predictability of Sequence Patterns in Discrete Event Systems
[Research Report] PI 1834, 2007, pp.17
...
inria-00436560v1  Rapport
Gwenaël Delaval, Hervé Marchand, Eric Rutten. BZR Contracts for Modular Discrete Controller Synthesis
[Research Report] RR-7111, INRIA. 2009

Contact


archive-ouverte@inria.fr