Search - CentraleSupélec Access content directly

Filter your results

23 Results
authIdHal_s : michel-batteux
Image document

Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France
Conference papers hal-01378407v1
Image document

From Models of Structures to Structures of Models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
4th IEEE International Symposium on Systems Engineering, Oct 2018, Rome, Italy
Conference papers hal-01885900v1
Image document

Synchronization of System Architecture and Safety Models: a Proof of Concept

Michel Batteux , Jean-Yves Choley , Faida Mhenni , Tatiana Prosvirnova , Antoine Rauzy
IEEE International Symposium on Systems Engineering, ISSE 2019, Oct 2019, Edinbourg, United Kingdom. ⟨10.1109/ISSE46696.2019.8984515⟩
Conference papers hal-02357379v1

Benefits of graphical animation of advanced AltaRica 3.0 models

Michel Batteux , Mokhtar Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Conference papers hal-03429734v1
Image document

Diagnosability study of technological systems

Michel Batteux , Philippe Dague , Nicolas Rapin , Philippe Fiani
24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States
Conference papers hal-00643664v1
Image document

Fuel Cell System Improvement for Model-Based Diagnosis Analysis

Philippe Fiani , Michel Batteux , Philippe Dague , Nicolas Rapin
Vehicle Power and Propulsion Conference IEEE VPPC, Sep 2010, Lille, France
Conference papers inria-00540836v1
Image document

Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
European Safety and Reliability Conference (ESREL 2018), Jun 2018, Trondheim, Norway. pp.907-914
Conference papers hal-01826645v1
Image document

Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway
Conference papers hal-01826656v1
Image document

Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0

Michel Batteux , Antoine Rauzy , Tatiana Prosvirnova
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers hal-02063653v1
Image document

Safety Analyzes of Mechatronics Systems: a Case Study

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
IFAC-PapersOnLine, 2017, 50 (1), pp.11150 - 11155. ⟨10.1016/j.ifacol.2017.08.1234⟩
Journal articles hal-01651282v1
Image document

ALTARICA WIZARD: AN INTEGRATED MODELING AND SIMULATION ENVIRONMENT FOR ALTARICA 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrés Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers hal-01945932v1
Image document

ANALYSE DES PERFORMANCES DE DIAGNOSTIC D'UN SYSTEME AU MOYEN D'UNE MODELISATION ALTARICA 3.0

Emmanuel Clement , Dominique Riera , Michel Batteux
Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers hal-02074307v1
Image document

Diagnosticabilité et diagnostic de systèmes technologiques pilotés

Michel Batteux
Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : ⟩
Theses tel-00643460v1
Image document

Schemas de modelisation de politiques de maintenance de composants en Altarica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers hal-02063641v1
Image document

Modeling patterns for the assessment of maintenance policies with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_3⟩
Conference papers hal-02357383v1
Image document

Reliability assessment of phased-mission systems with AltaRica 3.0

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy , Liu Yang
3rd International Conference on System Reliability and Safety (ICSRS 2018), Nov 2018, Barcelone, Spain
Conference papers hal-01945908v1

Apprentissage multimodal pour le diagnostic de fautes sur données séquentielles non alignées et arbitrairement longues

Victor Pellegrain , Myriam Tami , Michel Batteux , Céline Hudelot
Conférence Nationale d’Intelligence Artificielle (CNIA), Jun 2022, Saint-Etienne, France
Conference papers hal-03814823v1
Image document

Improving performances of the AltaRica 3.0 stochastic simulator

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zürich, Switzerland. ⟨10.1201/b19094-236⟩
Conference papers hal-01239379v1

Faulty models of a fuel cell system for model-based diagnosis study

Michel Batteux , Philippe Dague , Nicolas Rapin , Philippe Fiani
The Fundamentals and Developments of Fuel Cells Conference (FDFC), Jan 2011, Grenoble, France
Conference papers hal-03550388v1

AltaRica 3.0 modeling pattern for production systems availability assessment

Michel Batteux , Mokhtar Walid Bennaceur , Tatiana Prosvirnova , Antoine Rauzy
Proceedings of the 31st European Safety and Reliability Conference (ESREL), Sep 2021, Angers, France
Conference papers hal-03429737v1
Image document

Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts

Michel Batteux , Philippe Fiani , Nicolas Rapin , Philippe Dague
QUALITA 2011, Mar 2011, Angers, France
Conference papers hal-00643674v1
Image document

Model synchronization: a formal framework for the management of heterogeneous models

Michel Batteux , Tatiana Prosvirnova , Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2019, Oct 2019, Thessaloniki, Greece. ⟨10.1007/978-3-030-32872-6_11⟩
Conference papers hal-02357381v1

Analysis of business process specifications with OpenAltarica

Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers hal-02194937v1