Publications

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

Mechanical engineering

Toward design optimization of a Pelton turbine runner

The objective of the present paper is to propose a strategy to optimize the performance of a Pelton runner based on a parametric model of the bucket geometry, massive particle based numerical simulations and advanced optimization strategies to…

Christian Vessaz, Loïc Andolfatto, François Avellan, Christophe Tournier

Structural and Multidisciplinary Optimization - 2017

Mathématiques

Evaluation of minimum zone fitting algorithms for accurate metrology of aspherical surfaces

Yassir Arezki, Xiangchao Zhang, Charyar Mehdi-Souzani, Nabil Anwer, Hichem Nouira

The 7th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN 2017) - 2017

Robotique

Recognition of Human Activity Based on Probabilistic Finite-State Automata

Kevin Viard, Maria Pia Fanti, Gregory Faraut, Jean-Jacques Lesage

22nd IEEE International Conference on Emerging Technologies And Factory Automation - 2017

Performance et fiabilité

Safety Analyzes of Mechatronics Systems: a Case Study

Benjamin Aupetit, Michel Batteux, Antoine Rauzy, Jean-Marc Roussel

IFAC-PapersOnLine - 2017