Publications

Robotique

Méthode formelle de commande sous contraintes de temps dans les dioïdes

Nous considérons dans ce papier, une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles. Ces graphes sont déterministes, dans le sens où leur comportement dépend seulement de leur marquage initial et des entrées…

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau

Modélisation des Systèmes Réactifs, MSR'05, publié dans le Journal Européen des Systèmes Automatisés, RS série JESA, volume 39 - n° 1-2-3/2005 - 2005

Chimie de coordination

Synthesis of Polyfused Heterocycle Derivatives Containing the Dipyridoimidazole Core by Friedländer’s Reaction: Access to Analogs of Ellipticine

Emmanuel Moreau, Jean-Claude Teulade, Nicolas Desbois, Jean-Michel Chezal, Florence Fauvelle, Jean-Claude Debouzy, Claire Lartigue, Alain Gueiffier, Yves Blache, Jean-Claude Madelmont, Olivier Chavignon

Heterocycles - 2005

Robotique

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Jean-Marc Roussel, Olivier de Smet

10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05) - 2005

Génie mécanique

Iso-scallop tool path generation in 5-axis milling

Christophe Tournier, Emmanuel Duc

International Journal of Advanced Manufacturing Technology - 2005

Automatique

Fault detection of Discrete Event Systems using an identification approach

Stéphane Klein, Lothar Litz, Jean-Jacques Lesage

16th IFAC world Congress - 2005

Robotique

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Israel Santiago Barragan, Jean-Marc Faure

16th IFAC World Congress - 2005

Robotique

Control of Linear Min-plus Systems under Temporal Constraints

Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau

44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005) - 2005

Robotique

Designing dependable logic controllers using the supervisory control theory

Jean-Marc Roussel, Alessandro Giua

Proceedings of the 16th IFAC World Congress - 2005

Robotique

Réglage du routeur d'un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones

En dépit de leur qualité de déterminisme dédié au contrôle commande, les protocoles traditionnels de réseaux de terrains (tels que FIP ou PROFIBUS) se voient menacés par l'arrivée de solutions utilisant Ethernet. Cet article propose une démarche…

Steve Limal, Bruno Denis, Ryad Zemouri, Jean-Jacques Lesage

3ème Conférence Internationale sur la Productique (CIP'05) - 2005

Mécanique

Définition d'une pièce test pour la caractérisation d'une machine UGV

Kwamiwi Mawussi, Laurent Tapie

1er Conrgès International Conception et Modélisation des Systèmes Mécaniques, CMSM\'05 - 2005