TRAORE Mamadou Kaba
- Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
- PRODUCTIQUE / MEI
- 0540008395
- A31B-R2 B2-31
Total : 13
Articles dans des revues avec comité de lecture → 6 Voir
2020
A DEVS-based pivotal modeling formalism and its verification and validation framework
SAMUEL, Kehinde G. ; BOUARE, Nourou-Dine M. ; Maïga, Oumar ; TRAORÉ, Mamadou K.
Dans : SIMULATION
https://hal.archives-ouvertes.fr/hal-03178210
A DEVS-based pivotal modeling formalism and its verification and validation framework
Samuel, Kehinde ; Bouare, Nourou-Dine ; Maïga, Oumar ; Traoré, Mamadou Kaba
Dans : SIMULATION
https://hal.archives-ouvertes.fr/hal-02968082
2019
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems
Samuel, Kehinde ; Maiga, Oumar ; Traoré, Mamadou Kaba
Dans : International Journal of Modeling, Simulation, and Scientific Computing
https://hal.archives-ouvertes.fr/hal-02362628
Modeling and Simulation Framework for Value-based Healthcare Systems
Traoré, Mamadou Kaba ; Zacharewicz, Grégory ; Duboz, Raphael ; Zeigler, Bernard
Dans : SIMULATION
https://hal.archives-ouvertes.fr/hal-01773637
2018
An integrative approach to simulation model discovery: Combining system theory, process mining and fuzzy logic
Wang, Yan ; Zacharewicz, Grégory ; Traoré, Mamadou Kaba ; Chen, David
Dans : Journal of Intelligent and Fuzzy Systems
https://hal.archives-ouvertes.fr/hal-01773634
MBSE with/out Simulation: State of the Art and Way Forward
Zeigler, Bernard ; Mittal, Saurabh ; Traoré, Mamadou Kaba
Dans : Systems
https://hal.archives-ouvertes.fr/hal-02968090
Communication dans un congrès → 7 Voir
2020
Digital modelling and simulation in french social sciences and humanities research: an exploratory study
Pinède, Nathalie ; Vallespir, Bruno ; Traoré, Mamadou Kaba ; Diallo, Saikou ; Zacharewicz, Grégory
Dans : SpringSim '20 - 2020 Spring Simulation Conference, Fairfax, Virginia (United States)
https://hal.mines-ales.fr/hal-02887653
Application of multi-perspective modeling and holistic simulation to Urban Transportation Systems
Traoré, Mamadou Kaba ; Maiga, Oumar ; Traoré, Mamadou ; Koné, Youssouf ; Maïga, O. ; Traoré, K.M.
Dans : The 32nd European Modeling & Simulation Symposium, Athènes (Greece)
https://hal.archives-ouvertes.fr/hal-02977165
2017
A tool for mining discrete event simulation model
Wang, Yan ; Zacharewicz, Grégory ; Traoré, Mamadou Kaba ; Chen, David
Dans : 2017 Winter Simulation Conference (WSC), Las Vegas (France)
https://hal.archives-ouvertes.fr/hal-01904373
Use of Fuzzy Clustering for Discrete Event Simulation Model Construction
Wang, Yan ; Zacharewicz, Gregory ; Kaba Traoré, Mamadou ; Chen, David
Dans : IFAC 2017 World Congress The 20th World Congress of the International Federation of Automatic Control, Toulouse (France)
https://hal.archives-ouvertes.fr/hal-01735954
Verification and Validation of D2FD Method
Wang, Yan ; Kaba Traoré, Mamadou ; Zacharewicz, Grégory ; Chen, David
Dans : NICST'2017 New Information Communication Sciences and Technology for Sustainable Development, Clermont-Ferrand (France)
https://hal.archives-ouvertes.fr/hal-01551436
2015
Integrating dependency with DEVS in the process mining
Wang, Yan ; Zacharewicz, Grégory ; Chen, David ; Kaba Traoré, Mamadou
Dans : NICST'2015 New Information Communication Sciences and Technology for Sustainable Development, Bordeaux (France)
https://hal.archives-ouvertes.fr/hal-01551430
A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING
Wang, Yan ; Zacharewicz, Grégory ; Chen, David ; Kaba Traoré, Mamadou
Dans : 27th European Modeling & Simulation Symposium (Simulation in Industry), Bergeggi (Italy)
https://hal.archives-ouvertes.fr/hal-01536390
-

M. K. Traoré
Professor
ORCID: 0000-0001-9464-6416
Research: Simulation and AI for industrial and service systems engineering
- Formalisms, methods and tools for complex systems modeling and simulation
- High level language for systems specification: DEVS-based visual pivotal language to multiple system analyses, including hybrid simulation, formal analysis, and enactment
- Multi-perspective modeling and holistic simulation: holistic study of complex systems, encompassing different levels of explanation and their mutual influences
- Integrated AI-Simulation framework: combined DEVS and Machine Learning approach to intelligent systems analysis and design, learning models, learning model construction process, learning model execution, agent-based simulation-aided ML
- Digital Twin driven systems engineering and management
- Digital Twin engineering: DT lifecycle
- DT-based management: DT relation to physical twin lifecycle, including qualitative design, dynamic reconfiguration, predictive maintenance, and process optimization
- Tooling framework: integrative Anylogic-centric platform
- Applications
- Industry4.0: Cyber Physical Systems, smart manufacturing
- Smart cities: intelligent transportation systems, energy-efficient buildings, mobility (in large)
- Healthcare: holistic healthcare system management
Teaching: Mathematical methods and computational tools for production systems
- Master degree
- Enterprise modeling and simulation (MSc - 1st year)
- Networked systems optimization (MSc - 1st year)
- Modeling and enterprise information system (MSc - 1st year)
- Enterprise Resource Planning (MSc - 1st year)
- System Engineering (MSc - 2nd year)
- Supply Chain Management (MSc - 2nd year)
- Information system and interoperability (MSc - 2nd year)
- Enterprise modeling and simulation (MSc - 1st year)
- Bachelor degree
- Sequential control systems (BSc - 3rd year)
Publications (public repositories)
- Public repositories
- Recent book releases



- Formalisms, methods and tools for complex systems modeling and simulation


