关注
Hela Kadri
Hela Kadri
未知所在单位机构
在 isi.utm.tn 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
82018
Formal approach to control design of complex and dynamical systems
H Kadri, SB Ahmed, S Collart-Dutilleul
Procedia Computer Science 108, 2512-2516, 2017
72017
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
52014
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
52014
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
52013
Formal Approach to Dynamic SoS Design.
H Kadri, SC Dutilleul, P Bon, SB Ahmed
ENASE, 377-384, 2019
32019
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
32014
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
22020
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
12022
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
12022
Dynamic Reliability Assessment Based On Ouroboros Paradigm
H Kadri, S Zairi, E Niel
2014 European Modelling Symposium, 105-110, 2014
12014
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
系统目前无法执行此操作,请稍后再试。
文章 1–19