Publications

Génie mécanique

A FIRST APPROACH FOR RAPID COPYING OF FREE-FORM SURFACES IN 5-AXIS MACHINING

Pierre Breteau, François Thiébaut, Pierre Bourdet, Claire Lartigue

Conference on Integrated Design and Manufacturing in Mechanical Engineering (IDMME) - 2006

Mécanique

TOOL PATH GENERATION AND POST-PROCESSOR ISSUES IN FIVE-AXIS HIGH SPEED MACHINING OF HYDRO TURBINE BLADES

Christophe Tournier, Cedric Castagnetti, Sylvain Lavernhe, François Avellan

Fifth International Conference on High Speed Machining - 2006

Automatic

Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation

Two main time features are identified in distributed automation systems, the update rate of Input and Output values and the end-to-end delay between a process event and its consequence. For the first feature, only the upper bound is needed, while…

Gaëlle Marsal, Daniel Witsch, Bruno Denis, Jean-Marc Faure, Georg Frey

1ères Rencontres Jeunes Chercheurs en Informatique Temps Réel (RJCITR'05) - 2005

Automatique

Identification comportementale des systèmes logiques en vue de leur surveillance

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

5ème conférence Modélisation des Systèmes Réactifs (MSR'05) - 2005

Chimie de coordination

Preliminary Study of Palladium Catalyzed Iminoannulation in an Imidazo[1,2-a]pyridine Series

Emmanuel Moreau, Olivier Chavignon, Mounir Andaloussi, Jean M. Chezal, Claire Lartigue, Anas El Laghdach, Jean C. Teulade

Heterocycles - 2005

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