Publications

Robotique

Algebraic synthesis of dependable logic controllers

Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage

17th IFAC World Congress - 2008

Robotique

Building effective formal models to prove time properties of networked automation systems

Silvain Ruel, Olivier de Smet, Jean-Marc Faure

9th International Workshop On Discrete Event Systems, WODES'08 - 2008

Robotique

Réseaux d'automates hybrides à synchronisations typées pour la modélisation des Systèmes Dynamiques Hybrides

Ce papier présente une classe d'automates hybrides à haut niveau d'expressivité pour faciliter la modélisation modulaire des Systèmes Dynamiques Hybrides (SDH) : les automates hybrides à entrées/sorties et synchronisations typées. Elle combine le…

Zulema Juarez Orozco, Bruno Denis, Jean-Jacques Lesage

Conférence Internationale Francophone d'Automatique, CIFA 2008 - 2008

Mécanique

5-axis iso-scallop tool paths along parallel planes

Christophe Tournier, Claire Lartigue

CAD'08 - 2008

Robotique

Supervision of an industrial plant subject to a maximal duration constraint

Abdourrahmane Atto, Claude Martinez, Saïd Amari

9th International Workshop on Discrete Event Systems - 2008

Mécanique

Optimization of 5-axis high-speed machining using a surface based approach

Sylvain Lavernhe, Christophe Tournier, Claire Lartigue

Computer-Aided Design - 2008

Robotique

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride

La vérification formelle des contrôleurs logiques a donné lieu à de nombreux travaux scientifiques cette dernière décennie. Elle permet de démontrer (obtention d'un niveau requis de sûreté de fonctionnement (SdF) des systèmes industriels, et tout…

Zulema Juarez Orozco

Robotique

Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits

Matteo Cantarelli, Jean-Marc Roussel

9th International Workshop On Discrete Event Systems (WODES'08) - 2008

Mécanique

Amélioration du comportement cinématique des machines par l'optimisation des trajets d'usinage 5 axes

Le couplage précision-vitesse est une problématique importante de l'usinage à 5 axes. Le respect de la précision impose à la machine de ralentir. De plus, le calcul du trajet ne prend pas en compte le comportement de la machine et induit aussi des…

Cedric Castagnetti

Robotique

Modeling and Response Time Evaluation of Ethernet-based control Architectures using Timed Event Graphs and Max-Plus Algebra

Boussad Addad, Saïd Amari

IEEE Conference on Automation Science and Engineering - 2008