Publications

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