Publications

Robotique

Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants

Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Estrada-Vargas, Jean-Jacques Lesage

IEEE Transactions on Automation Science and Engineering - 2017

Génie mécanique

Execution adaptative de trajectoire 5 axes sur structures poly-articulées

L’usinage 5 axes à grande vitesse est de plus en plus utilisé dans l’industrie pour réaliser des pièces de géométrie complexe à forte valeur ajoutée avec pour contrainte de respecter la qualité géométrique tout en maximisant la productivité. Dans ce…

Laureen Grandguillaume

Mathématiques

An ontology-based modelling and reasoning framework for assembly sequence planning

Lihong Qiao, Yifan Qie, Zuowei Zhu, Yixin Zhu, Uzair Khaleeq Uz Zaman, Nabil Anwer

International Journal of Advanced Manufacturing Technology - 2017

Sciences de l'ingénieur

Active Fault-Tolerant Control of Timed Automata with Guards

Julien Niguez, Said Amari, Jean-Marc Faure

20th IFAC World Congress - 2017

Théorie et langage formel

A language proposition for system requirements

Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel

11th Annual IEEE International Systems Conference - 2017

Mathématiques

Shaping the digital twin for design and production engineering

Benjamin Schleich, Nabil Anwer, Luc Mathieu, Sandro Wartzack

CIRP Annals - Manufacturing Technology - 2017

Robotique

Evaluation de performances des automates temporisés avec gardes en utilisant l'algèbre (Max,+) - Application aux systèmes de commande en réseau

Dans ce travail, nous nous sommes intéressés à la modélisation et à l'analyse de performances des systèmes à évènements discrets (SED) modélisés par des automates temporisés avec gardes (ATGs) en utilisant l'algèbre (Max,+). Les ATGs sont une classe…

Ferhat Tamssaouet, S Amari

Colloque sur la Modélisation des Systèmes Réactifs - 2017

Mathématiques

Editorial for the special issue on ‘smart manufacturing and digital factory’

Nabil Anwer, Benoît Eynard, Lihong Qiao, Paul Maropoulos

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture - 2017

Sciences de l'ingénieur

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

Elodie Kobeissi, Pierre-Yves Piriou, Jean-Marc Faure

20th IFAC World Congress - 2017

Sciences de l'ingénieur

Model-based testing of PLC programs with appropriate conformance relations

Anais Guignard, Jean-Marc Faure, Gregory Faraut

IEEE Transactions on Industrial Informatics - 2017