Proposition of a formal model for crisis management in the context of high-speed train networks in border areas H Kadri, S Schleiner, S Collart-Dutilleul, P Bon, SB Ahmed, F Steyer, ... TRA 2018, 7th Transport Research Arena, 10p, 2018 | 8 | 2018 |
Formal approach to control design of complex and dynamical systems H Kadri, SB Ahmed, S Collart-Dutilleul Procedia Computer Science 108, 2512-2516, 2017 | 7 | 2017 |
A high-level Petri nets approach for multi-objective optimization in pipeline networks H Kadri, B Zouari 2014 4th International Conference On Simulation And Modeling Methodologies …, 2014 | 5 | 2014 |
Shortest path search in dynamic reliability space: Hierarchical coloured petri nets model and application to a pipeline network H Kadri, B Zouari 2014 UKSim-AMSS 16th International Conference on Computer Modelling and …, 2014 | 5 | 2014 |
Crossing Border In The European Railway System: Operating Modes Management By Colored Petri Nets H Kadri, S Collart-Dutilleul, B Zouari 10th Symposium on Formal Methods for Automation and Safety in Railway and …, 2014 | 5* | 2014 |
Global model for the management of operating modes in discrete event systems H Kadri, S Zairi, B Zouari IFAC Proceedings Volumes 46 (24), 420-426, 2013 | 5 | 2013 |
Formal Approach to Dynamic SoS Design. H Kadri, SC Dutilleul, P Bon, SB Ahmed ENASE, 377-384, 2019 | 3 | 2019 |
Une comodélisation pour l’évaluation de la fiabilité dynamique E Niel, S Zairi, H Kadri, K Quintero 19ème congrès de Maitrise des Risques et sûreté de Fonctionnement–Dijon–2014, 2014 | 3 | 2014 |
Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition S Collart-Dutilleul, H Kadri, P Bon, G Mykoniatis, SB Ahmed TRA2020, 8th Transport Research Arena: Rethinking transport–towards clean …, 2020 | 2 | 2020 |
High Level Petri Net Model for Control Problem of Autonomous Navigation in Container Terminal H Kadri, O Lakhal, A Belarouci, B Conrard, R Merzouki 2022 17th Annual System of Systems Engineering Conference (SOSE), 479-485, 2022 | 1 | 2022 |
A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints H Kadri, S Collart-Dutilleul, P Bon, R Merzouki 2022 International Conference on Robotics and Automation (ICRA), 11548-11554, 2022 | 1 | 2022 |
Dynamic Reliability Assessment Based On Ouroboros Paradigm H Kadri, S Zairi, E Niel 2014 European Modelling Symposium, 105-110, 2014 | 1 | 2014 |
Formal Model for Control of Autonomous Navigation H Kadri, R Cherif, A Aitouche, R Merzouki 2022 IEEE 21st international Ccnference on Sciences and Techniques of …, 2022 | | 2022 |
Adaptive Tracking Control for Industrial Robot Manipulators with Unknown Inner loop Architecture JJBM Ahanda, A Melingui, O Lakhal, BE Zobo, H Kadri, R Merzouki 2022 International Conference on Robotics and Automation (ICRA), 9860-9866, 2022 | | 2022 |
Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets H Kadri, S Collart-Dutilleul, P Bon Operating Rules and Interoperability in Trans-National High-Speed Rail, C1-C1, 2022 | | 2022 |
Gestion des modes de systèmes à événements discrets: application au passage de frontière sous ERTMS H Kadri Centrale Lille Institut; Université de Tunis El-Manar. Faculté des Sciences …, 2020 | | 2020 |
A Formal Approach for Multi-occurrence Crisis Management. H Kadri, SC Dutilleul, P Bon, SB Ahmed ICSOFT, 641-648, 2018 | | 2018 |
Multi-objective optimization for path searching in a flow network with maintenance tasks H Kadri, S Collart-Dutilleul 2016 14th International Conference on Control, Automation, Robotics and …, 2016 | | 2016 |
Une co-modélisation pour l’évaluation de la fiabilité dynamique Dynamic reliability assessment based on co modelling E Niel, S Zaïri, H Kadri, K Quintero, ALIPLIP Ampère | | |