Michel BATTEUX

Systemic Intelligence

Software Development Director

Biography

Since 2023, I am Software Development Director at Systemic Intelligence, to design and implement the WorldLab™ technology.

Previously from 2014 to 2023, I was a researcher at the Technological Research Institute SystemX (France), with different internal positions: head of the scientific team System and Software Engineering, project manager of the Predictive Maintenance and Optimization project and the OpenAltaRica project.

After a master degree in mathematics and computer science at the Paris Diderot University, and a PhD in computer science at the Paris-Sud University, I had several research engineer positions in different academic or industrial research laboratories: CEA, LIX Ecole Polytechnique, Thales Research and Technology.

My topics of interest are around the Model-Based design and assessment of complex technical systems.

Publications

2023

Minimal Critical Sequences in Model-Based Safety and Security Analyses: Commonalities and Differences
Théo Serru, Nga Nguyen, Michel Batteux & Antoine Rauzy
In ACM Transactions on Cyber-Physical Systems, May 2023.

Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment
Théo Serru, Nga Nguyen, Michel Batteux & Antoine Rauzy
In Electronics, 2023, Analysis and Design of Complex Embedded Systems, 12 (1), pp.77.

2022

Abstract Executions of Stochastic Discrete Event Systems
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In International Journal of Critical Computer-Based Systems. Inderscience Publishers. Vol. 10, Num. 3, pp 202-226, 2022.

Generation of Cyberattacks Leading to Safety Top Event Using AltaRica: an Automotive Case Study
Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy, Raphael Blaize, Laurent Sagaspe & Emmanuel Arbaretier
In Actes du congrès Lambda-Mu 23 (actes électroniques), IMdR. Paris-Saclay, France. October, 2022.

Model-Based Safety Assessment : Comment renforcer la confiance dans les modèles ?
Milcent Frédéric, Batteux Michel, Tatiana Prosvirnova & Xavier de Bossoreille
In Actes du congrès Lambda-Mu 23 (actes électroniques), IMdR. Paris-Saclay, France. October, 2022.

Industrial system example modeling for the assessment of maintenance strategies
Michel Batteux, Selma Khebbache & Sin-Seok Seo
In Actes du congrès Lambda-Mu 23 (actes électroniques), IMdR. Paris-Saclay, France. October, 2022.

Démonstration de surveillance de défaillances sur un exemple applicatif
Victor Pellegrain, Batteux Michel, William Lair & Michel Kaczmarek
In Actes du congrès Lambda-Mu 23 (actes électroniques), IMdR. Paris-Saclay, France. October, 2022.

Performance assessment of an offshore windmill farm with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
International Symposium on Model Based Safety Assessment, IMBSA 2022. Munich, Germany. September 2022.

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica
Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier & Estelle Saez
International Symposium on Model Based Safety Assessment, IMBSA 2022. Munich, Germany. September 2022.

A Guided Tour of AltaRicaWizard, the AltaRica 3.0 Integrated Modeling Environment
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022) 28th August – 1st September 2022, Dublin, Ireland doi:10.3850/978-981-18-5183-4_S09-09-308-cd

Characterizing Behavioral Modeling in Systems and Safety Model-Based Engineerings and their Overlap for Consistency Checking
Stephen Creff & Michel Batteux
In Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022) 28th August – 1st September 2022, Dublin, Ireland doi:10.3850/978-981-18-5183-4_R08-02-385-cd

Tracking the Best Machine Learning Strategy for Hard Drive Failure Prediction
Nour El Houda Benlaribi, Leïla Kloul & Michel Batteux
In Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022) 28th August – 1st September 2022, Dublin, Ireland doi:10.3850/978-981-18-5183-4_R22-11-281-cd

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies
Julien Vidalie, Michel Batteux, Faïda Mhenni & Jean-Yves Choley
Applied Sciences, 2022, 12 (12), pp.5880.

Consistency of multiple system engineering models of a fixed wing drone
Julien Vidalie, Imane Bouhali, Faïda Mhenni, Michel Batteux & Jean-Yves Choley
In Proceedings of the 8th IEEE International Symposium on Systems Engineering (ISSE 2022). Vienna, Austria. October 2022.

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
In Actes de la Conférence Nationale d’Intelligence Artificielle (CNIA). Saint-Etienne, France. June 2022.

Assessment of maintenance strategies for digital twin applications
Michel Batteux, Selma Khebbache & Sin-Seok Seo
In Proceedings of the 6th International Conference on System Reliability and Safety (ICSRS 2022). Venice, Italy. November 2022.

Stochastic Maintenance Optimization of Complex Industrial Systems under Uncertainty of Repair Time and Resources
Makhlouf Hadji, Selma Khebbache & Michel Batteux
In Proceedings of the 6th International Conference on System Reliability and Safety (ICSRS 2022). Venice, Italy. November 2022.

MP-SIM: Maintenance Policy Simulations Tool
Sin-Seok Seo, Michel Batteux & Selma Khebbache
In Towards Sustainable Aviation Summit (TSAS 2022). Toulouse, France. October 2022.

Optimisation de combinaisons de stratégies de maintenances par simulation stochastique
Selma Khebbache & Michel Batteux
In Actes du 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF). Lyon, France, February 2022.

2021

Efficient Modeling of large Markov chains models with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France. September 2021.

Benefits of graphical animation of advanced AltaRica 3.0 models
Michel Batteux, Mokhtar Walid Bennaceur, Tatiana Prosvirnova & Antoine Rauzy
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France. September 2021.

AltaRica 3.0 modeling pattern for production systems availability assessment
Michel Batteux, Mokhtar Walid Bennaceur, Tatiana Prosvirnova & Antoine Rauzy
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France. September 2021.

Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0
Julien Vidalie, Michel Batteux, Faïda Mhenni & Jean-Yves Choley
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France. September 2021.

Simulation of complex system based on optimization methods for Maintenance scheduling
Michel Batteux, Selma Khebbache & Yani Souami
In Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France. September 2021.

State Machines Consistency between Model Based System Engineering and Safety Assessment Models
Julien Vidalie, Mohamed-Sami Kendel, Michel Batteux, Faïda Mhenni & Jean-Yves Choley
In Proceedings of the 7th International Symposium on Systems Engineering (ISSE). Vienna, Austria. September 2021.

Simulation based optimization for maintenance strategies using Altarica 3.0
Selma Khebbache & Michel Batteux
In Proceedings of the 31st European Conference on Operational Research (EURO 2021). Athens, Greece. July 2021.

Application du MBSA avec AltaRica 3.0 dans un cadre système de systèmes pour le transport autonome
Michel Batteux & Romain Kerneis
In Actes de la 14ème Conférence Internationale de Génie Industriel QUALITA (CIGI Qualita). Grenoble, France. May 2021.

Optimisation de stratégies de maintenances par simulation stochastique AltaRica 3.0
Michel Batteux & Selma Khebbache
In Actes de la 14ème Conférence Internationale de Génie Industriel QUALITA (CIGI Qualita). Grenoble, France. May 2021.

2020

Formal System and Safety Design of a System of Systems: a proof of concepts
Ismet Addoui, Michel Batteux, Romain Kerneis & Anouk Dubois
In Proceedings of European Safety and Reliability Conference (ESREL), CRC Press. Venice, Italy. November 2020.

The New Open-PSA Format: a Model-Based Approach
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

Modélisation de combinaisons de maintenances en AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

Processus de réalisation d'AMDEC basé sur les outils OpenAltaRica
Sara Rachid, Emmanuel Clément, Nicolas Le Berre & Michel Batteux
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

Génération de données pour le diagnostic et le pronostic : un exemple applicatif
Michel Batteux, Josquin Foulliaron, William Lair & Yani Souami
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

SYNTHESIS : une méthodologie outillée d'évaluation et d'optimisation des performances de sûreté de fonctionnement d'un système complexe
Michel Batteux, André Leblond & Antoine Rauzy
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

Typology of the differences Between Model-Based System Engineering (MBSE) and Safety Assessment (MBSA) models: Analysis of a Reference System
Julien Vidalie, Michel Batteux, Jean-Yves Choley, Faïda Mhenni & Mohamed-Sami Kende
In Actes du congrès Lambda-Mu 22 (actes électroniques), IMdR. Le Havre, France. October, 2020.

Regroupement dynamique des opérations de maintenance avec la prise en compte de structure complexe
Ibrahima Ba, Selma Khebbache, Laurent Bouillaut & Michel Batteux
In Actes du 21ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF (actes électroniques). Montpellier, France, February 2020.

2019

AltaRica 3.0 in ten modelling patterns
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In International Journal of Critical Computer-Based Systems. Inderscience Publishers. Vol. 9, Num. 1-2, pp 133-165, 2019.

Synchronization of system architecture, multi-physics and safety models
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Luca Palladino, Tatiana Prosvirnova, Antoine Rauzy & Maurice Theobald
In Proceedings of the Complex Systems Design and Management international conference, CSDM 2019. Paris, France. November 2019.

Synchronization of system architecture and safety models: a proof of concept
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova & Antoine Rauzy
In Proceedings of the IEEE 2019 International Symposium on Systems Engineering (ISSE). Edinburgh, Scotland. October 2019.

Modeling patterns for the assessment of maintenance policies with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano ed., Model-Based Safety and Assessment. Thessaloniki, Greece. October 2019

Model synchronization: a formal framework for the management of heterogeneous models of complex technical systems
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Yiannis Papadopoulos and Koorosh Aslansefat and Panagiotis Katsaros and Marco Bozzano ed., Model-Based Safety and Assessment. Thessaloniki, Greece. October 2019.

2018

Synchronization of system architecture and safety models: a proof of concept
Michel Batteux, Jean-Yves Choley, Faïda Mhenni, Tatiana Prosvirnova & Antoine Rauzy
In IEEE International Symposium on Systems Engineering (ISSE 2018). Edinburgh, Scotland. October 2019.

Advances in the simplification of Fault Trees automatically generated from AltaRica 3.0 models
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Stein Haugen and Anne Barros and Coen van Gulijk and Trond Kongsvik and Jan Erik Vinnem ed., Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference (ESREL 2018). Trondheim, Norway. June 2018.

Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Stein Haugen and Anne Barros and Coen van Gulijk and Trond Kongsvik and Jan Erik Vinnem ed., Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference (ESREL 2018). Trondheim, Norway. June 2018.

Introduction d'une notion de temps abstraits pour la simulation des modèle; AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Actes du congrès Lambda-Mu 21 (actes électroniques), IMdR. Reims, France. October 2018.

Schémas de modélisation de politiques de maintenance de composants en AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Actes du congrès Lambda-Mu 21 (actes électroniques), IMdR. Reims, France. October 2018.

AltaRica Wizard : un environnement intégré de modélisation et simulation pour AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Actes du congrès Lambda-Mu 21 (actes électroniques), IMdR. Reims, France. October 2018.

Analyse de performances de diagnostic d'un système au moyen d'une modélisation AltaRica 3.0
Michel Batteux, Emmanuel Clément & Dominique Riera
In Actes du congrès Lambda-Mu 21 (actes électroniques), IMdR. Reims, France. October 2018.

Optimisation d'une stratégie de maintien en condition opérationnelle d'une flotte d'équipement par l'utilisation d'une modélisation dynamique
Michel Batteux, Emmanuel Clément & Pierre Laize
In Actes du congrès Lambda-Mu 21 (actes électroniques), IMdR. Reims, France. October 2018.

Reliability assessment of phased-mission systems with AltaRica 3.0
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, & Liu Yang
In Proceedings of the 3rd International Conference on System Reliability and Safety (ICSRS). Barcelona, Spain. November 2018.

Analysis of business process specifications with OpenAltaRica
Paolo Ballarini, Michel Batteux, Léo Chartier & Antoine Rauzy
In IEEE International Symposium on Systems Engineering (ISSE 2018). Roma, Italy. October 2018.

From models of structures to structures of models
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In IEEE International Symposium on Systems Engineering (ISSE 2018). Roma, Italy. October 2018.

2017

System validation with AltaRica 3.0 and stochastic simulation: a case study
Benjamin Aupetit, Michel Batteux, Antoine Rauzy & Jean-Marc Roussel
In Proceedings of the 20th IFAC World Congress. Toulouse, France. July 2017.

AltaRica 3.0 assertions: the whys and wherefores
Michel Batteux, Tatiana Prosvirnova & Antoine Rauzy
In Journal of Risk and Reliability. Professional Engineering Publishing. September 2017.

2016

Vers la définition d'un kit d'évaluation pour les simulateurs stochastiques
Benjamin Aupetit, Michel Batteux, Antoine Rauzy & Jean-Marc Roussel
In Actes du Congrès Lambda-Mu 20 (actes électroniques), IMdR. Saint-Malo, France. October 2016.

2015

Improving performances of the AltaRica 3.0 stochastic simulator
Benjamin Aupetit, Michel Batteux, Antoine Rauzy & Jean-Marc Roussel
In Proceedings of European Safety and Reliability Conference (ESREL). Zurich, Switzerland. September 2015.

2013

The AltaRica 3.0 project for Model-Based Safety Assessment
Tatiana Prosvirnova, Michel Batteux, Pierre-Antoine Brameret, Abraham Cherfi, Thomas Friedlhuber, Jean-Marc Roussel & Antoine Rauzy
In Proceedings of the 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS'2013. York, Great Britain. September 2013.

Stochastic simulation of AltaRica 3.0 models
Michel Batteux & Antoine Rauzy
In Proceedings of European Safety and Reliability Conference (ESREL). Amsterdam, Netherlands. September-October 2013.

AltaRica 3.0 project: a Domain Specific Language(DSL) for 2D-3D event driven grahical simulation
Michel Batteux, Tatiana Prosvirnova, Ahmed Maarouf & Antoine Rauzy
In Proceedings of European Safety and Reliability Conference (ESREL). Amsterdam, Netherlands. September-October 2013.

The stochastic simulator of the AltaRica 3.0 project
Michel Batteux & Antoine Rauzy
3rd International Workshop on Model Based Safety Assessment (IWMBSA'2013). Versailles, France. March 2013.

The AltaRica 3.0 project for Model-Based Safety Assessment
Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy and Leïla Kloul
In Proceedings of IEEE International Conference on Industrial Informatics (INDIN). Bochum, Germany, July 2013.

2011

Diagnosticabilité et diagnostic de systèmes technologiques pilotés
Michel Batteux
Thèse de Doctorat, Université Paris Sud - Paris XI, December 2011.

Diagnosability study of technological systems
Michel Batteux, Philippe Dague, Nicolas Rapin & Philippe Fiani
In The Twenty-fourth International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE). Syracuse, United States. June 2011.

Caractérisation du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts
Michel Batteux, Philippe Dague, Nicolas Rapin & Philippe Fiani
QUALITA. Angers, France. March 2011.

Faulty models of a fuel cell system for model-based diagnosis study
Michel Batteux, Philippe Dague, Nicolas Rapin & Philippe Fiani
In the Fundamentals and Developments of Fuel Cells Conference (FDFC). Grenoble, France. January 2011

2010

Energy management of a hybrid electric vehicle
Michel Batteux, Matthieu Donain, Philippe Fiani, Sadok Garnit, Eric Noirtat & Francis Roy
In the 25th World Battery, Hybrid and Fuel Cell Electric Vehicle Symposium & Exhibition (EVS'25). Shenzhen, China. Novembre 2010.

Fuel cell system improvement for model-based diagnosis analysis
Michel Batteux, Philippe Dague, Nicolas Rapin & Philippe Fiani
In the IEEE Vehicle Power and Propulsion Conference (VPPC). Lille, France. September 2010

Last update: 06-2023.