Domaines de recherche
Compétences
Publications
|
Le Jumeau Numérique dans le monde manufacturierCongrès annuel de la SAGIP, 2023, Marseille, France
Communication dans un congrès
hal-04177887v1
|
Painting of the digital twin to better understand and implement it in manufacturingThe 3rd Digital Twin International Conference, LURPA (Automated Production Research Laboratory), Paris-Saclay University, Oct 2023, Gif-sur-Yvette, France
Communication dans un congrès
hal-04431349v1
|
|
|
Machine learning-based approach for online fault Diagnosis of Discrete Event SystemWorshop of Discrete Event System (WODES), 2022, Prague, Czech Republic. pp.337-343, ⟨10.1016/j.ifacol.2022.10.363⟩
Communication dans un congrès
hal-03824811v1
|
Data based approach for online diagnosis of Discrete Event SystemIFAC Workshop on Intelligent Manufacturing Systems (IMS), 2022, Tel Aviv, Israel. pp.289-294, ⟨10.1016/j.ifacol.2022.04.208⟩
Communication dans un congrès
hal-04032062v1
|
|
Recurrent Neural Networks for online fault diagnosis of discrete Automated Production SystemsArtificial Intelligence : Advanced Topics and Social Issues (AIATSI), 2022, Marrachech, Morocco
Communication dans un congrès
hal-04032047v1
|
|
|
Nouvelle approche de diagnostic en ligne des Systèmes Automatisés de Productions13ème Colloque Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès
hal-04032075v1
|
|
Retour d'expérience et applications pédagogiques innovantes avec HOME I/OColloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Jun 2021, Valenciennes, France
Communication dans un congrès
hal-03427266v1
|
|
Approche originale utilisant le Raisonnement à Partir de Cas pour le Diagnostic en Ligne des Systèmes Automatisés de ProductionColloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France
Communication dans un congrès
hal-01899930v1
|
|
SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDsColloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France
Communication dans un congrès
hal-01882579v1
|
|
Automatic Acquisition and Update of a Causal Temporal Signatures Base- for Faults Diagnosis in Automated Production SystemsInternational Conference on Informatics in Control, Automation and Robotics (ICINCO), 2017, Madrid, Spain. pp.262-269, ⟨10.5220/0006430102620269⟩
Communication dans un congrès
hal-01899937v1
|
HOME I/O and FACTORY I/O: a house simulator and a plant simulator for automatic control educationThe 27th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, Jun 2017, Grenoble, France
Communication dans un congrès
hal-02969579v1
|
|
|
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatiqueColloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France
Communication dans un congrès
hal-01882591v1
|
A modeling method for the diagnosis of embedded systems based on a discrete behavior15th IFAC Symposium on Information Control Problems in Manufacturing, May 2015, Ottawa, Canada. pp.755 - 760, ⟨10.1016/j.ifacol.2015.06.173⟩
Communication dans un congrès
hal-01740397v1
|
|
Causal Temporal Signature from diagnoser model for online diagnosis of Discrete Event Systems2014 International Conference on Control, Decision and Information Technologies (CoDIT), Nov 2014, Metz, France. pp.551-556, ⟨10.1109/CoDIT.2014.6996954⟩
Communication dans un congrès
hal-02533803v1
|
|
|
MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUEMOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Communication dans un congrès
hal-01166599v1
|
Operational diagnosability of a digital embedded system controlling a critical system2013 Conference on Control and Fault-Tolerant Systems (SysTol), Oct 2013, Nice, France. ⟨10.1109/SysTol.2013.6693944⟩
Communication dans un congrès
hal-01740406v1
|
|
|
ALGORITHME D'INTERPRETATION D'UNE BASE DE SIGNATURES TEMPORELLES CAUSALES POUR LE DIAGNOSTIC EN LIGNE DES SYSTEMES A EVENEMENTS DISCRETS9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France
Communication dans un congrès
hal-00728624v1
|
From a Functional Graph to a T-Timed Petri Nets Model for the diagnosis of Complex SystemInternational Conference on Communications, Computing and Control Applications 2001, Mar 2011, Hammamet, Tunisia. pp.1-6, ⟨10.1109/CCCA.2011.6031509⟩
Communication dans un congrès
hal-00801577v1
|
|
A model-checking approach for checking the Consistency of a set of Causal Temporal Signatures9th European Workshop on Advanced Control and Diagnosis, Nov 2011, Budapest, Hungary. pp.1-6
Communication dans un congrès
hal-00801503v1
|
|
Diagnosis of Critical Embedded Systems: Application to the Control Card of a Railway Vehicle Braking SystemsIEEE Conference on Automation Science and Engineering, Nov 2011, Trieste, Italy. pp.163-168, ⟨10.1109/CASE.2011.6042512⟩
Communication dans un congrès
hal-00801506v1
|
|
Consistency's checking of chronicles' set Using Time Petri Nets18th Mediterranean Conference on Control & Automation (IEEE MED'2010), Jun 2010, Marrakech, Morocco. pp.1520-1525
Communication dans un congrès
hal-00801580v1
|
|
Retour d'expérience de l'utilisation de jumeaux numériques dans la formation d'ingénieurs autour de l'industrie 4.0Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2023, 22, pp.1029. ⟨10.1051/j3ea/20231029⟩
Article dans une revue
hal-04114257v1
|
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety FilterIEEE Transactions on Control Systems Technology, 2019, 27 (4), pp.1659-1667. ⟨10.1109/TCST.2018.2827329⟩
Article dans une revue
hal-01882604v1
|
|
Diagnostic des systèmes embarqués critiques : Application à la carte de commande du système de freinage d'un trainJournal Européen des Systèmes Automatisés (JESA), 2011, 45 (1-3), pp.205-220. ⟨10.3166/jesa.45.205-220⟩
Article dans une revue
hal-00801508v1
|
|
Benchmark d'un système automatisé de production de type SEDModélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France
Poster de conférence
hal-04431441v1
|
|
Unified data collect for Digital TwinPoster de conférence hal-04431896v1 |
Benefits of using Digital Twin for online fault diagnosis of a manufacturing systemKim Phuc Tran. Artificial Intelligence for Smart Manufacturing, 1, Springer Cham, 2023, 978-3-031-30510-8
Chapitre d'ouvrage
hal-04031996v1
|
|
Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués LogiquesAutre. Ecole Centrale de Lille; École Nationale des Sciences de l'Informatique (La Manouba, Tunisie), 2012. Français. ⟨NNT : 2012ECLI0031⟩
Thèse
tel-00861200v1
|