Revues

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques

Références bibliographiques : References : Referencias : Amira Chouchane, Mohamed Ghazel. Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques. Automatica, 2024, 162, pp.111513. ⟨10.1016/j.automatica.2024.111513⟩. ⟨hal-04397381⟩

DOI : 10.1016/j.automatica.2024.111513

Towards self-organizing railway traffic management: concept and framework

Références bibliographiques : References : Referencias : Leo D’amato, Federico Naldini, Valentina Tibaldo, Vito Trianni, Paola Pellegrini. Towards self-organizing railway traffic management: concept and framework. Journal of Rail Transport Planning & Management, 2024, 29, pp.100427. ⟨10.1016/j.jrtpm.2023.100427⟩. ⟨hal-04402462⟩

DOI : 10.1016/j.jrtpm.2023.100427

Real-time railway traffic management under moving-block signalling: A literature review and research agenda

Références bibliographiques : References : Referencias : Nina D Versluis, Egidio Quaglietta, Rob M.P. Goverde, Paola Pellegrini, Joaquin Rodriguez. Real-time railway traffic management under moving-block signalling: A literature review and research agenda. Transportation research. Part C, Emerging technologies, 2024, 158, pp.104438. ⟨10.1016/j.trc.2023.104438⟩. ⟨hal-04321627⟩

DOI : 10.1016/j.trc.2023.104438

A survey of Flex-Route Transit problem and its link with Vehicle Routing Problem

Références bibliographiques : References : Referencias : Reza Shahin, Pierre Hosteins, Paola Pellegrini, Pierre-Olivier Vandanjon, Luca Quadrifoglio. A survey of Flex-Route Transit problem and its link with Vehicle Routing Problem. Transportation research. Part C, Emerging technologies, 2024, 158, pp.104437. ⟨10.1016/j.trc.2023.104437⟩. ⟨hal-04321599v2⟩

DOI : 10.1016/j.trc.2023.104437

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi. A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function. IEEE Access, 2024, 12, pp.5630-5647. ⟨10.1109/ACCESS.2023.3347500⟩. ⟨hal-04402491⟩

DOI : 10.1109/ACCESS.2023.3347500

Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case

Références bibliographiques : References : Referencias : Simon Collart-Dutilleul, Philippe Bon, Racem Bougacha, Régine Laleauv. Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case. International Journal of Transport - Development and integration, 2023, 7 (4), pp.311-320. ⟨10.18280/ijtdi.070405⟩. ⟨hal-04371400⟩

DOI : 10.18280/ijtdi.070405

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification. IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩. ⟨hal-04235453⟩

DOI : 10.1109/tnnls.2023.3316551

A review of abstraction methods towards verifying neural networks

Références bibliographiques : References : Referencias : Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. A review of abstraction methods towards verifying neural networks. ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3617508⟩. ⟨hal-04235472⟩

DOI : 10.1145/3617508

Operational risk assessment of railway remote driving system

Références bibliographiques : References : Referencias : Abderraouf Boussif, Abhimanyu Tonk, Julie Beugin, Simon Collart Dutilleul. Operational risk assessment of railway remote driving system. Journal of Safety and Reliability, 2023, 42 (2-3), pp.143-164. ⟨10.1080/09617353.2023.2226965⟩. ⟨hal-04415127⟩

DOI : 10.1080/09617353.2023.2226965

A review of passenger-oriented railway rescheduling approaches

Références bibliographiques : References : Referencias : Bishal Sharma, Paola Pellegrini, Joaquin Rodriguez, Neeraj Chaudhary. A review of passenger-oriented railway rescheduling approaches. European Transport Research Review, 2023, 15 (1), pp.14. ⟨10.1186/s12544-023-00587-0⟩. ⟨hal-04424649⟩

DOI : 10.1186/s12544-023-00587-0

A Review of Passenger-Oriented Railway Rescheduling Approaches

Références bibliographiques : References : Referencias : Bishal Sharma, Paola Pellegrini, Joaquín Rodriguez, Neeraj Chaudhary. A Review of Passenger-Oriented Railway Rescheduling Approaches. European Transport Research Review, 2023, 15 (14), ⟨10.1186/s12544-023-00587-0⟩. ⟨hal-04096291⟩

DOI : 10.1186/s12544-023-00587-0

The Cost and Benefits of Aerial Cable Cars Investment: A Case Study of Medellin City-Colombia

Références bibliographiques : References : Referencias : Saïd Hayat. The Cost and Benefits of Aerial Cable Cars Investment: A Case Study of Medellin City-Colombia. Revue scientifique internationale Management et Ingéniérie des systèmes, 2023, MIS : Management et Ingégneri des Systèmes, 8 p. ⟨hal-04519756⟩

A conditional time-intervals formulation of the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Grégory Marlière, Sonia Sobieraj Richard, Paola Pellegrini, Joaquin Rodriguez. A conditional time-intervals formulation of the real-time Railway Traffic Management Problem. Control Engineering Practice, 2023, 133, pp.105430. ⟨10.1016/j.conengprac.2022.105430⟩. ⟨hal-04048199⟩

DOI : 10.1016/j.conengprac.2022.105430

Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains

Références bibliographiques : References : Referencias : Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El Koursi. Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains. Reliability Engineering and System Safety, 2023, 230, pp1-9. ⟨10.1016/j.ress.2022.108933⟩. ⟨hal-03896770⟩

DOI : 10.1016/j.ress.2022.108933

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

Références bibliographiques : References : Referencias : Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif. K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩. ⟨hal-03842331⟩

DOI : 10.1016/j.automatica.2022.110689

A proven translation from a UML state machine subset to timed automata

Références bibliographiques : References : Referencias : Florent Peres, Mohamed Ghazel. A proven translation from a UML state machine subset to timed automata. ACM Transactions on Embedded Computing Systems (TECS), 2023, ⟨10.1145/3581771⟩. ⟨hal-04072931⟩

DOI : 10.1145/3581771

Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3

Références bibliographiques : References : Referencias : Ouail Himrane, Julie Beugin, Mohamed Ghazel. Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3. IEEE Open Journal of Intelligent Transportation Systems, 2023, ⟨10.1109/OJITS.2023.3267142⟩. ⟨hal-04070711⟩

DOI : 10.1109/OJITS.2023.3267142

Les réseaux de neurones et systèmes de transport et wagons intelligents (STI)

Références bibliographiques : References : Referencias : Hayat Saïd, Yassine Saddiki. Les réseaux de neurones et systèmes de transport et wagons intelligents (STI). revue scientifique internationale management et ingégneri des systèmes, 2022, MIS : Management et Ingégnerie des Systèmes, 20 p. ⟨hal-04511038⟩

Train management in freight shunting yards: Formalisation and literature review

Références bibliographiques : References : Referencias : Samuel Deleplanque, Pierre Hosteins, Paola Pellegrini, Joaquin Rodriguez. Train management in freight shunting yards: Formalisation and literature review. IET Intelligent Transport Systems, 2022, 16 (10), pp.1286-1305. ⟨10.1049/itr2.12216⟩. ⟨hal-03736251⟩

DOI : 10.1049/itr2.12216

Effective train routing selection for real-time traffic management: Improved model and ACO parallel computing

Références bibliographiques : References : Referencias : Bianca Pascariu, Marcella Sama, Paola Pellegrini, Andrea Dariano, Joaquin Rodriguez, et al.. Effective train routing selection for real-time traffic management: Improved model and ACO parallel computing. Computers & Operations reasearch, 2022, 145, 37p. ⟨10.1016/j.cor.2022.105859⟩. ⟨hal-03709926⟩

DOI : 10.1016/j.cor.2022.105859

Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway

Références bibliographiques : References : Referencias : Nicola Coviello, Giorgio Medeossi, Andrew Nash, Thomas Nygreen, Paola Pellegrini, et al.. Multiobjective Timetable Development Tool for Railway Strategic Planning in Norway. Transportation Research Record, 2022, 2677 (1), pp.720-729. ⟨10.1177/03611981221101392⟩. ⟨hal-04471710⟩

DOI : 10.1177/03611981221101392

Complexity of the Multilvel Critical Node Problem

Références bibliographiques : References : Referencias : Adel Nabli, Margarida Carvalho, Pierre Hosteins. Complexity of the Multilvel Critical Node Problem. Journal of Computer and System Sciences, 2022, 127, pp122-145. ⟨10.1016/j.jcss.2022.02.004⟩. ⟨hal-03894879⟩

DOI : 10.1016/j.jcss.2022.02.004

SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions

Références bibliographiques : References : Referencias : Sébastien Martinez, Christophe Gransart, Olivier Stienne, Virginie Deniau, Philippe Bon. SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions. Journal of Universal Computer Science, 2022, 28 (1), pp27-53. ⟨10.3897/jucs.66857⟩. ⟨hal-03550930⟩

DOI : 10.3897/jucs.66857

Reachability analysis of neural networks using mixed monotonicity

Références bibliographiques : References : Referencias : Pierre-Jean Meyer. Reachability analysis of neural networks using mixed monotonicity. IEEE Control Systems Letters, 2022, 6, pp3068-3073. ⟨10.1109/LCSYS.2022.3182547⟩. ⟨hal-03708688⟩

DOI : 10.1109/LCSYS.2022.3182547

The Connected Critical Node Problem

Références bibliographiques : References : Referencias : Pierre Hosteins, Rosarion Scatamacchia, Andrea Grosso, Roberto Aringhieri. The Connected Critical Node Problem. Theoretical Computer Science, 2022, 923, pp235-255. ⟨10.1016/j.tcs.2022.05.011⟩. ⟨hal-03894777⟩

DOI : 10.1016/j.tcs.2022.05.011

modèle des perturbations dans un réseau de transport collectif

Références bibliographiques : References : Referencias : Said Hayat. modèle des perturbations dans un réseau de transport collectif. revue scientifique internationale management et Ingegneri des systèmes, 2021, MIS : Management et Ingegneri des Systèmes, 15 p. ⟨hal-04498416⟩

Détection de défaillance dans les feux de signalisation ferroviaires

Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Détection de défaillance dans les feux de signalisation ferroviaires. Revue scietifique internationale Managementet Ingeneries des Systmes, 2021, Revue scietifique internationale Managementet Ingeneries des Systmes. ⟨hal-04488118⟩

Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires

Références bibliographiques : References : Referencias : Saïd Hayat, Yassine Saddiki. Approche de détection de défaillance de LEDS dans les feux de signalisation ferroviaires. revue scientifique internationale management et Ingegneri des systèmes, 2021, 12 p. ⟨hal-04498491⟩

A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets. Asian Journal of Control, 2021, 23 (2), pp648-660. ⟨10.1002/asjc.2259⟩. ⟨hal-02483169⟩

DOI : 10.1002/asjc.2259

Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata. International Journal of Control, Automation and Systems, 2021, 19 (8), pp2842-2858. ⟨10.1007/s12555-020-0100-y⟩. ⟨hal-03300679⟩

DOI : 10.1007/s12555-020-0100-y

Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net

Références bibliographiques : References : Referencias : Amira Chouchane. Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net. IMA Journal of Mathematical Control and Information, 2021, 38 (3), pp908-928. ⟨10.1093/imamci/dnab015⟩. ⟨hal-03338236⟩

DOI : 10.1093/imamci/dnab015

From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Ouail Himrane, Philippe Bon, Julie Beugin. From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems. International Journal of Signal Processing Systems, 2021, 9 (2), pp11-16. ⟨10.18178/ijsps.9.2.11-16⟩. ⟨hal-03275636⟩

DOI : 10.18178/ijsps.9.2.11-16

Solution algorithms for the generalized train unit shunting problem

Références bibliographiques : References : Referencias : Franck Kamenga, Paola Pellegrini, Joaquin Rodriguez, Boubekeur Merabet. Solution algorithms for the generalized train unit shunting problem. EURO Journal on Transportation and Logistics, 2021, 10, pp1-16. ⟨10.1016/j.ejtl.2021.100042⟩. ⟨hal-03287396⟩

DOI : 10.1016/j.ejtl.2021.100042

A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem

Références bibliographiques : References : Referencias : Samuel Deleplanque, Martine Labbé, Diego Ponce Lopez, Justo Puerto. A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem. INFORMS Journal on Computing, In press, ⟨10.1287/ijoc.2019.0915⟩. ⟨hal-01954865⟩

DOI : 10.1287/ijoc.2019.0915

Railway freight node capacity evaluation: a timetable-saturation approach and its application to the Novara freight terminal

Références bibliographiques : References : Referencias : Bianca Pascariu, Nicola Coviello, Andrea D’ariano. Railway freight node capacity evaluation: a timetable-saturation approach and its application to the Novara freight terminal. Transportation Research Procedia, 2021, 52, pp.155-162. ⟨10.1016/j.trpro.2021.01.017⟩. ⟨hal-04485626⟩

DOI : 10.1016/j.trpro.2021.01.017

Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms

Références bibliographiques : References : Referencias : Ouail Himrane, Alain Ourghanlian, Saïd Amari. Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms. International Journal of Control, In press, ⟨10.1080/00207179.2020.1798021⟩. ⟨hal-02953658⟩

DOI : 10.1080/00207179.2020.1798021

Advanced model-based risk reasoning on automatic railway level crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut. Advanced model-based risk reasoning on automatic railway level crossings. Safety science, 2020, 124, pp1-11. ⟨10.1016/j.ssci.2019.104592⟩. ⟨hal-02461175⟩

DOI : 10.1016/j.ssci.2019.104592

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discrete Event Dynamic Systems, 2020, 30 (3), 44p. ⟨10.1007/s10626-020-00324-y⟩. ⟨hal-02940679⟩

DOI : 10.1007/s10626-020-00324-y

Système d'aide à la conduite automobile aux passages à niveau

Références bibliographiques : References : Referencias : Parinaz Bazeghi Kisomi, Francis Bedel, Mohamed Ghazel. Système d'aide à la conduite automobile aux passages à niveau. Revue Générale des Chemins de Fer (RGCF), 2020, 306, pp78-86. ⟨hal-02940747⟩

A three-step Benders decomposition for the real-time Railway Traffic Management Problem

Références bibliographiques : References : Referencias : Kaba Keita, Paola Pellegrini, Joaquin Rodriguez. A three-step Benders decomposition for the real-time Railway Traffic Management Problem. Journal of Rail Transport Planning and Management, 2020, 16p. ⟨10.1016/j.jrtpm.2019.100170⟩. ⟨hal-02483432⟩

DOI : 10.1016/j.jrtpm.2019.100170

Comment estimer la durée d'arrêt des trains en gare en zone dense ? Les données de comptage automatique ouvrent de nouvelles perspectives

Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Joaquin Rodriguez. Comment estimer la durée d'arrêt des trains en gare en zone dense ? Les données de comptage automatique ouvrent de nouvelles perspectives. Revue Générale des Chemins de Fer (RGCF), 2020, 302, pp12-19. ⟨hal-02957987⟩

The Stochastic Critical Node Problem over Trees

Références bibliographiques : References : Referencias : Pierre Hosteins, Rosario Scatamacchia. The Stochastic Critical Node Problem over Trees. Networks, 2020, 30p. ⟨10.1002/net.21948⟩. ⟨hal-02565234v2⟩

DOI : 10.1002/net.21948

Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations

Références bibliographiques : References : Referencias : Riccardo Licciardello, Norbert Adamko, Samuel Deleplanque, Pierre Hosteins, Ronghui Liu, et al.. Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations. Ingegneria Ferroviaria, 2020, 6, 21p. ⟨hal-02951523⟩

A Compact Mixed Integer Linear Formulation for Safe Set Problems

Références bibliographiques : References : Referencias : Pierre Hosteins. A Compact Mixed Integer Linear Formulation for Safe Set Problems. Optimization Letters, 2020, 21p. ⟨10.1007/s11590-020-01540-z⟩. ⟨hal-02476289⟩

DOI : 10.1007/s11590-020-01540-z

Contribution of Artificial Intelligence to Risk Assessment of Railway Accidents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of Artificial Intelligence to Risk Assessment of Railway Accidents. Urban Rail Transit, 2019, 5 (2), pp.104-122. ⟨10.1007/s40864-019-0102-3⟩. ⟨hal-02280977⟩

DOI : 10.1007/s40864-019-0102-3

Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure. International Journal of Control, Automation and Systems, 2019, 18 (3), pp682-695. ⟨10.1007/s12555-018-0682-9⟩. ⟨hal-02298344⟩

DOI : 10.1007/s12555-018-0682-9

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. Journal of computers, 2019, 14 (4), pp257-267. ⟨10.17706/jcp.14.4.257-267⟩. ⟨hal-02117685⟩

DOI : 10.17706/jcp.14.4.257-267

Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas

Références bibliographiques : References : Referencias : Selim Cornet, Christine Buisson, François Ramond, Paul Bouvarel, Joaquin Rodriguez. Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas. Transportation Research Part C: Emerging Technologies, 2019, 106, pp344-359. ⟨10.1016/j.trc.2019.05.008⟩. ⟨hal-02958118⟩

DOI : 10.1016/j.trc.2019.05.008

Application of fuzzy theory for identifying the required availability of an autonomous localization unit in ETCS (European Train Control System )

Références bibliographiques : References : Referencias : Khanh Nguyen, Julie Beugin, Marion Berbineau, Juliette Marais. Application of fuzzy theory for identifying the required availability of an autonomous localization unit in ETCS (European Train Control System ). Journal of Intelligent Transportation Systems, 2019, 18p. ⟨10.1080/15472450.2018.1525533⟩. ⟨hal-02003258⟩

DOI : 10.1080/15472450.2018.1525533

A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification

Références bibliographiques : References : Referencias : Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul. A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification. International Journal of Computer and Electrical Engineering (IJCEE), 2019, 11 (1), pp11-19. ⟨10.17706/IJCEE.2019.11.1.11-19⟩. ⟨hal-02091294⟩

DOI : 10.17706/IJCEE.2019.11.1.11-19

A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization

Références bibliographiques : References : Referencias : Roberto Cordone, Pierre Hosteins. A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization. Computers and Operations Research, 2019, 102, pp130-140. ⟨10.1016/j.cor.2018.10.006⟩. ⟨hal-01985204⟩

DOI : 10.1016/j.cor.2018.10.006

Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP

Références bibliographiques : References : Referencias : Paola Pellegrini, Raffaele Pesenti, Joaquin Rodriguez. Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP. Transportation Research Part B: Methodological, 2019, 120, pp33-48. ⟨10.1016/j.trb.2018.12.008⟩. ⟨hal-01983495⟩

DOI : 10.1016/j.trb.2018.12.008

A model-based system engineering approach to manage railway safety-related decisions

Références bibliographiques : References : Referencias : Sana Debbech, Philippe Bon, Simon Collart-Dutilleul. A model-based system engineering approach to manage railway safety-related decisions. International Journal of Transport Development and Integration, 2019, 3 (1), pp30-43. ⟨10.2495/TDI-V3-N1-30-43⟩. ⟨hal-02149840⟩

DOI : 10.2495/TDI-V3-N1-30-43

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Références bibliographiques : References : Referencias : Kenza Kraibi, Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit. Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. journal of communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩

DOI : 10.12720/jcm.14.10.980-986

Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control

Références bibliographiques : References : Referencias : Julie Beugin, Cyril Legrand, Juliette Marais, Marion Berbineau, El Miloudi El Koursi. Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control. IEEE Access, 2018, 6 (99), pp.9898 - 9916. ⟨10.1109/ACCESS.2018.2807127⟩. ⟨hal-01724771⟩

DOI : 10.1109/ACCESS.2018.2807127

On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. Asian Journal of Control, 2018, 20 (1), 13p. ⟨10.1002/asjc.1508⟩. ⟨hal-01463809⟩

DOI : 10.1002/asjc.1508

Model-Based Monitoring of a Train Passenger Access System

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel. Model-Based Monitoring of a Train Passenger Access System. IEEE Access, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩. ⟨hal-01871377⟩

DOI : 10.1109/ACCESS.2018.2860966

An Automated Method for the Study of Human Reliability in Railway Supervision Systems

Références bibliographiques : References : Referencias : Antoine Ferlin, Siqi Qiu, Philippe Bon, Mohamed Sallak, Simon Collart-Dutilleul, et al.. An Automated Method for the Study of Human Reliability in Railway Supervision Systems. IEEE Transactions on Intelligent Transportation Systems, 2018, 19 (10), pp.3360-3375. ⟨10.1109/TITS.2017.2779565⟩. ⟨hal-01872120⟩

DOI : 10.1109/TITS.2017.2779565

Maintenance on the Railway Network: Disruptions and re-scheduling

Références bibliographiques : References : Referencias : Samuel Deleplanque. Maintenance on the Railway Network: Disruptions and re-scheduling. Electronic Notes in Discrete Mathematics, 2018, 69, pp109-116. ⟨10.1016/j.endm.2018.07.015⟩. ⟨hal-01871120⟩

DOI : 10.1016/j.endm.2018.07.015

Timetable rearrangement to cope with railway maintenance activities

Références bibliographiques : References : Referencias : Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez. Timetable rearrangement to cope with railway maintenance activities. Computers and Operations Research, 2018, 95, pp123-138. ⟨10.1016/j.cor.2018.02.018⟩. ⟨hal-01764963⟩

DOI : 10.1016/j.cor.2018.02.018

Analyzing risky behavior of motorists during the closure cycle of railway level crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Analyzing risky behavior of motorists during the closure cycle of railway level crossings. Safety science, 2018, 110, pp115-126. ⟨10.1016/j.ssci.2017.12.008⟩. ⟨hal-01757298⟩

DOI : 10.1016/j.ssci.2017.12.008

Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures

Références bibliographiques : References : Referencias : Brendan Ryan, Veli-Pekka Kallberg, Helena Radbo, Grigore M Havarneanu, Anne Silla, et al.. Collecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures. Ergonomics, 2018, 61, pp1433-1453. ⟨10.1080/00140139.2018.1485970⟩. ⟨hal-02066849⟩

DOI : 10.1080/00140139.2018.1485970

Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems

Références bibliographiques : References : Referencias : Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, et al.. Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems. Risk Analysis, 2018, 22p. ⟨10.1111/risa.12972⟩. ⟨hal-01709711⟩

DOI : 10.1111/risa.12972

Le projet MORIPAN « Modèle de Risque au Passage à Niveau »

Références bibliographiques : References : Referencias : Olivier Cazier, Ci Liang, Mohamed Ghazel. Le projet MORIPAN « Modèle de Risque au Passage à Niveau ». Revue Générale des Chemins de Fer (RGCF), 2018, 281, 9p. ⟨hal-01799972⟩

Fault diagnosis of discrete-event systems based on the symbolic observation graph

Références bibliographiques : References : Referencias : Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Fault diagnosis of discrete-event systems based on the symbolic observation graph. International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩. ⟨hal-01928797⟩

DOI : 10.1504/IJCCBS.2018.10011234

Design solutions to improve resilience of metro vehicle to blast events

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Jean-Luc Bruyelle, Richard Seddon, Conor O'Neill. Design solutions to improve resilience of metro vehicle to blast events. Transportation Research Part A: Policy and Practice, 2018, 118, pp280-291. ⟨10.1016/j.tra.2018.09.015⟩. ⟨hal-02066672⟩

DOI : 10.1016/j.tra.2018.09.015

The Ring Spur Assignment Problem: New formulation, valid inequalities and a branch-and-cut approach

Références bibliographiques : References : Referencias : Rahimeh Neamatian Monemi, Shahin Gelareh. The Ring Spur Assignment Problem: New formulation, valid inequalities and a branch-and-cut approach. Computers and Operations Research, 2017, 88, pp.91-102. ⟨10.1016/j.cor.2017.06.016⟩. ⟨hal-04538508⟩

DOI : 10.1016/j.cor.2017.06.016

A new analytical approach to evaluate the critical-event probability due to wireless communication errors in train control systems

Références bibliographiques : References : Referencias : Thi Phuong Khanh Nguyen, Julie Beugin, Marion Berbineau, Mohamed Kassab. A new analytical approach to evaluate the critical-event probability due to wireless communication errors in train control systems. IEEE Transactions on Intelligent Transportation Systems, 2017, 18 (6), pp.1380-1392. ⟨10.1109/TITS.2016.2604043⟩. ⟨hal-01373465⟩

DOI : 10.1109/TITS.2016.2604043

On the tactical and operational train routing selection problem

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. On the tactical and operational train routing selection problem. Transportation research. Part C, Emerging technologies, 2017, 76, p1-15. ⟨10.1016/j.trc.2016.12.010⟩. ⟨hal-01466791⟩

DOI : 10.1016/j.trc.2016.12.010

A new insight on the risky behavior of motorists at railway level crossings: An observational field study

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. A new insight on the risky behavior of motorists at railway level crossings: An observational field study. Accident Analysis & Prevention, 2017, 108, pp.181-188. ⟨10.1016/j.aap.2017.08.030⟩. ⟨hal-01631543⟩

DOI : 10.1016/j.aap.2017.08.030

Réussir les transitions que nous sommes en train de vivre. Point de vue de la directrice de l'Institut Francais des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - Ifsttar

Références bibliographiques : References : Referencias : Hélène Jacquot-Guimbal, Jean-Bernard Kovarik, Latifa Oukhellou, Alain L'Hostis, Guillaume Uster. Réussir les transitions que nous sommes en train de vivre. Point de vue de la directrice de l'Institut Francais des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - Ifsttar. TEC Mobilité intelligente [Revue TEC : Transport Environnement Circulation], 2017, 232, 2p. ⟨hal-01463074⟩

Developing accident prediction model for railway level crossings

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. Developing accident prediction model for railway level crossings. Safety science, 2017, 101, pp48-59. ⟨10.1016/j.ssci.2017.08.013⟩. ⟨hal-01631538⟩

DOI : 10.1016/j.ssci.2017.08.013

A CPN/B method transformation framework for railway safety rules formal validation

Références bibliographiques : References : Referencias : Zakaryae Boudi, Rahma Ben-Ayed, El Miloudi El Koursi, Simon Collart-Dutilleul, Thomas Nolasco, et al.. A CPN/B method transformation framework for railway safety rules formal validation. European Transport Research Review, 2017, 13 (9), 15p. ⟨10.1007/s12544-017-0228-x⟩. ⟨hal-01549539⟩

DOI : 10.1007/s12544-017-0228-x

RECIFE-SAT: A MILP-based algorithm for the railway saturation problem

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. RECIFE-SAT: A MILP-based algorithm for the railway saturation problem. Journal of Rail Transport Planning & Management, 2017, 7, pp19-32. ⟨10.1016/j.jrtpm.2017.08.001⟩. ⟨hal-01631606⟩

DOI : 10.1016/j.jrtpm.2017.08.001

A risk assessment study on accidents at French level crossings using Bayesian belief networks

Références bibliographiques : References : Referencias : Ci Liang, Mohamed Ghazel. A risk assessment study on accidents at French level crossings using Bayesian belief networks. International Journal of Injury Control and Safety Promotion, 2017, 15p. ⟨10.1080/17457300.2017.1416480⟩. ⟨hal-01680200⟩

DOI : 10.1080/17457300.2017.1416480

A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation

Références bibliographiques : References : Referencias : Mohamed Ghazel. A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation. IEEE Transactions on Intelligent Transportation Systems, 2017, 18 (10), 13p. ⟨10.1109/TITS.2017.2657695⟩. ⟨hal-01463858⟩

DOI : 10.1109/TITS.2017.2657695

A Survey of GNSS-Based Research and Developments for the European Railway Signaling

Références bibliographiques : References : Referencias : Juliette Marais, Julie Beugin, Marion Berbineau. A Survey of GNSS-Based Research and Developments for the European Railway Signaling. IEEE Transactions on Intelligent Transportation Systems, 2017, 10 (18), p2602 - 2618. ⟨10.1109/TITS.2017.2658179⟩. ⟨hal-01489152v3⟩

DOI : 10.1109/TITS.2017.2658179

Contribution of human factors and chronobiology vigilance in public transport safety in France

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of human factors and chronobiology vigilance in public transport safety in France. Annual Special issue of Magazine on The Rail Industry of India, 2017, 1 (2), pp.01-22. ⟨hal-02424023⟩

Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport. Journal of Engineering Precious Research and Applications, 2016, 1 (3), pp.01-09. ⟨hal-02423971⟩

Automatic Crack Detection on Two-Dimensional Pavement Images: An Algorithm Based on Minimal Path Selection

Références bibliographiques : References : Referencias : Rabih Amhaz, Sylvie Chambon, Jérôme Idier, Vincent Baltazart. Automatic Crack Detection on Two-Dimensional Pavement Images: An Algorithm Based on Minimal Path Selection. IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (10), pp.2718-2729. ⟨10.1109/TITS.2015.2477675⟩. ⟨hal-01206038⟩

DOI : 10.1109/TITS.2015.2477675

Contribution of chronobiology vigilance in public transport safety

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of chronobiology vigilance in public transport safety. International Journal of Multidisciplinary Research and Development, 2016, 3 (9), pp.214-221. ⟨10.22271/ijmrd⟩. ⟨hal-02424015⟩

DOI : 10.22271/ijmrd

Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport. International Journal of Emerging Technology and Advanced Engineering, 2016, 6 (8), pp.25-35. ⟨hal-02423763⟩

CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway. International Journal of Engineering Research and Applications, 2016, 6 (8), pp.91-98. ⟨hal-02423765⟩

Transportation safety assessment methodology based on artificial intelligence techniques

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Transportation safety assessment methodology based on artificial intelligence techniques. International Journal of Computing Science and Communication, 2016, 1 (1), pp.22-30. ⟨hal-02423988⟩

Subspace Leakage Suppression for Joint Parameter Estimation of Quality Factors and Time Delays in Dispersive Media

Références bibliographiques : References : Referencias : Khaled Chahine, Vincent Baltazart, Yide Wang. Subspace Leakage Suppression for Joint Parameter Estimation of Quality Factors and Time Delays in Dispersive Media. Circuits, Systems, and Signal Processing, 2016, 35 (8), pp.2943-2957. ⟨10.1007/s00034-015-0180-8⟩. ⟨hal-01216047⟩

DOI : 10.1007/s00034-015-0180-8

A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints

Références bibliographiques : References : Referencias : Shahin Gelareh, Rahimeh Neamatian Monemi, Frédéric Semet, Gilles Goncalves. A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints. European Journal of Operational Research, 2016, 249 (3), pp.1144-1152. ⟨10.1016/j.ejor.2015.09.049⟩. ⟨hal-01760505⟩

DOI : 10.1016/j.ejor.2015.09.049

Towards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times

Références bibliographiques : References : Referencias : Aurélien Lejeune, Rémy Chevrier, Pierre Olivier Vandanjon, Joaquin Rodriguez. Towards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times. IET Intelligent Transport Systems, 2016, 10 (7), pp. 483-494. ⟨10.1049/iet-its.2014.0309⟩. ⟨hal-01578913⟩

DOI : 10.1049/iet-its.2014.0309

Statistical automaton for verifying temporal properies and computing information on traces

Références bibliographiques : References : Referencias : Antoine Ferlin, Virginie Wiels, Philippe Bon. Statistical automaton for verifying temporal properies and computing information on traces. International Journal of Computers, Communications and Control, 2016, 11 (5), pp.645-656. ⟨10.15837/ijccc.2016.5.2148⟩. ⟨hal-01363470⟩

DOI : 10.15837/ijccc.2016.5.2148

The ON-TIME real-time railway traffic management framework: A proof-of-concept using a scalable standardised data communication architecture

Références bibliographiques : References : Referencias : Egidio Quaglietta, Paola Pellegrini, Rob Goverde, Thomas Albrecht, Birgit Jaekel, et al.. The ON-TIME real-time railway traffic management framework: A proof-of-concept using a scalable standardised data communication architecture. Transportation research. Part C, Emerging technologies, 2016, 63, p23-50. ⟨10.1016/j.trc.2015.11.014⟩. ⟨hal-01266986⟩

DOI : 10.1016/j.trc.2015.11.014

A µ calculus formulation of the diagnosability of discrete event systems

Références bibliographiques : References : Referencias : Florent Peres, Mohamed Ghazel. A µ calculus formulation of the diagnosability of discrete event systems. International Journal of Critical Computer-Based Systems, 2016, 6 (4), 27p. ⟨10.1504/IJCCBS.2016.081806⟩. ⟨hal-01463704⟩

DOI : 10.1504/IJCCBS.2016.081806

The New Challenges of Rail Security

Références bibliographiques : References : Referencias : Zakaryae Boudi, El Miloudi El Koursi, Mohamed Ghazel. The New Challenges of Rail Security. Journal of Traffic and Logistics Engineering, 2016, 5p. ⟨hal-01297646⟩

Ant colony optimization for the real-time train routing selection problem

Références bibliographiques : References : Referencias : Marcella Sama, Paola Pellegrini, Andrea d'Ariano, Joaquin Rodriguez, Dario Pacciarelli. Ant colony optimization for the real-time train routing selection problem. Transportation Research Part B: Methodological, 2016, 85, p89-108. ⟨10.1016/j.trb.2016.01.005⟩. ⟨hal-01297551⟩

DOI : 10.1016/j.trb.2016.01.005

A detailed analysis of the actual impact of real-time railway traffic management optimization

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. A detailed analysis of the actual impact of real-time railway traffic management optimization. Journal of Rail Transport Planning & Management, 2016, 19p. ⟨10.1016/j.jrtpm.2016.01.002⟩. ⟨hal-01266964⟩

DOI : 10.1016/j.jrtpm.2016.01.002

Railway Accident Prevention and Infrastructure Protection

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Jean Luc Bruyelle. Railway Accident Prevention and Infrastructure Protection. Journal of Civil Engineering and Architecture, 2016, 10, p96-107. ⟨10.17265/1934-7359/2016.01.010⟩. ⟨hal-01275985⟩

DOI : 10.17265/1934-7359/2016.01.010

Model-Based Diagnosis of Multi-Track Level Crossing Plants

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Transactions on Intelligent Transportation Systems, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩. ⟨hal-01279254⟩

DOI : 10.1109/TITS.2015.2478910

From extended integrity monitoring to the safety evaluation of satellite-based localisation system

Références bibliographiques : References : Referencias : Cyril Legrand, Julie Beugin, Juliette Marais, Blaise Conrard, El Miloudi El Koursi, et al.. From extended integrity monitoring to the safety evaluation of satellite-based localisation system. Reliability Engineering and System Safety, 2016, 155, pp. 105-114. ⟨10.1016/j.ress.2016.04.011⟩. ⟨hal-01373427⟩

DOI : 10.1016/j.ress.2016.04.011

Contribution of Human factors and chronobiology vigilance in public transport safety in France

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Contribution of Human factors and chronobiology vigilance in public transport safety in France. Magazine on The Rail Industry, 2016, 1 (2), pp.49-52. ⟨hal-02423768⟩

Knowledge based system for the evaluation of safety and the prevention of railway accidents

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk. Knowledge based system for the evaluation of safety and the prevention of railway accidents. International journal of railway research, 2016, 3 (1), pp.37-44. ⟨10.22068/IJRARE.3.1.37⟩. ⟨hal-02423996⟩

DOI : 10.22068/IJRARE.3.1.37

« ACASYA »: a knowledge-based system for aid in the storage, classification, assessment and generation of accident scenarios. Application to the safety of rail transport systems

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Hinda Mejri. « ACASYA »: a knowledge-based system for aid in the storage, classification, assessment and generation of accident scenarios. Application to the safety of rail transport systems. ACSIJ: Advances in Computer Science: an International Journal , 2015, 4 (4), pp.7-13. ⟨hal-02389054⟩

Le management des connaissances : contribution à l’analyse, à l’évaluation et à la prévention des risques psychosociaux au travail

Références bibliographiques : References : Referencias : Besma Harguem, Habib Hadj Mabrouk. Le management des connaissances : contribution à l’analyse, à l’évaluation et à la prévention des risques psychosociaux au travail. Communication et Management, 2015, 12 (1), pp.65-80. ⟨10.3917/comma.121.0065⟩. ⟨hal-02280982⟩

DOI : 10.3917/comma.121.0065

Solution methods for scheduling of heterogeneous parallel machines applied to the workover rig problem

Références bibliographiques : References : Referencias : Rahimeh Neamatian Monemi, Kassem Danach, Wissam Khalil, Shahin Gelareh, Francisco Lima, et al.. Solution methods for scheduling of heterogeneous parallel machines applied to the workover rig problem. Expert Systems with Applications, 2015, 42 (9), pp.4493-4505. ⟨10.1016/j.eswa.2015.01.046⟩. ⟨hal-04538551⟩

DOI : 10.1016/j.eswa.2015.01.046

A Hybrid Method for Assigning Containers to AGVs in Containers Terminal

Références bibliographiques : References : Referencias : Radhia Zaghdoud, Khaled Mesghouni, Simon Collart Dutilleul, Kamel Zidi, Khaled Ghedira. A Hybrid Method for Assigning Containers to AGVs in Containers Terminal. Studies in Informatics and Control, 2015. ⟨hal-01727301⟩

RECIFE-MILP: An effective MILP-based heuristic for the real-time railway traffic management problem

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Raffaele Pesenti, Joaquin Rodriguez. RECIFE-MILP: An effective MILP-based heuristic for the real-time railway traffic management problem. IEEE Transactions on Intelligent Transportation Systems, 2015, 16 (5), pp. 2609 - 2619. ⟨10.1109/TITS.2015.2414294⟩. ⟨hal-01471388v2⟩

DOI : 10.1109/TITS.2015.2414294

A pattern-based method for refining and formalizing informal specifications in critical control systems

Références bibliographiques : References : Referencias : Mohamed Ghazel, Jing Yang, El Miloudi El Koursi. A pattern-based method for refining and formalizing informal specifications in critical control systems. Journal of Innovation in Digital Ecosystems, 2015, 2 (1-2), p32-44. ⟨10.1016/j.jides.2015.11.001⟩. ⟨hal-01250680⟩

DOI : 10.1016/j.jides.2015.11.001

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires

Références bibliographiques : References : Referencias : Rahma Ben-Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), p495-521. ⟨10.3166/TSI.34.495-521⟩. ⟨hal-01266922⟩

DOI : 10.3166/TSI.34.495-521

A Joint Development of Coloured Petri Nets and the B Method in Critical Systems

Références bibliographiques : References : Referencias : Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul. A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. Journal of Universal Computer Science, 2015, 21 (12), pp.1654-1683. ⟨hal-01266935⟩

Method for evaluating an extended fault tree to analyse the dependability of complex systems: application to a satellite-based railway system

Références bibliographiques : References : Referencias : Thi Phuong Khanh Nguyen, Julie Beugin, Juliette Marrais. Method for evaluating an extended fault tree to analyse the dependability of complex systems: application to a satellite-based railway system. Reliability Engineering and System Safety, 2015, 133, pp.300-313. ⟨10.1016/j.ress.2014.09.019⟩. ⟨hal-01886816⟩

DOI : 10.1016/j.ress.2014.09.019

On the sensitivity of reactive tabu search to its meta-parameters

Références bibliographiques : References : Referencias : Paola Pellegrini, Franco Mascia, Thomas Stutzle, Mauro Birattari. On the sensitivity of reactive tabu search to its meta-parameters. Soft Computing, 2014, 16p. ⟨10.1007/s00500-013-1192-6⟩. ⟨hal-00990429⟩

DOI : 10.1007/s00500-013-1192-6

Méthode d’analyse et d’évaluation des risques psychosociaux basée sur le retour d’expérience

Références bibliographiques : References : Referencias : Habib Hadj Mabrouk, Besma Harguem. Méthode d’analyse et d’évaluation des risques psychosociaux basée sur le retour d’expérience. Les Cahiers des RPS, 2014, Risques psychosociaux (23), pp.14-18. ⟨hal-02423324⟩

Maintaining a system subject to uncertain technological evolution

Références bibliographiques : References : Referencias : Khanh Nguyen, Bruno Castanier, Thomas G. Yeung. Maintaining a system subject to uncertain technological evolution. Reliability Engineering and System Safety, 2014, 128 (n128), pp.56-65. ⟨10.1016/j.ress.2014.04.004⟩. ⟨hal-01061374⟩

DOI : 10.1016/j.ress.2014.04.004

Optimal train routing and scheduling for managing traffic perturbations in complex junctions

Références bibliographiques : References : Referencias : Paola Pellegrini, Grégory Marliere, Joaquin Rodriguez. Optimal train routing and scheduling for managing traffic perturbations in complex junctions. Transportation Research Part B: Methodological, 2014, p58-80. ⟨10.1016/j.trb.2013.10.013⟩. ⟨hal-00930241⟩

DOI : 10.1016/j.trb.2013.10.013

An analysis of parameter adaptation in reactive tabu search

Références bibliographiques : References : Referencias : Franco Mascia, Paola Pellegrini, Thomas Stutzle, Mauro Birattari. An analysis of parameter adaptation in reactive tabu search. International Transactions in Operational Research, 2014, 21 (1), pp.127-152. ⟨10.1111/itor.12043⟩. ⟨hal-00947956⟩

DOI : 10.1111/itor.12043

Are traditional forecasting models suitable for hotels in Italian cities?

Références bibliographiques : References : Referencias : Andrea Ellero, Paola Pellegrini. Are traditional forecasting models suitable for hotels in Italian cities?. International Journal of Contemporary Hospitality Management, 2014, 26 (3), p383-400. ⟨10.1108/IJCHM-02-2013-0107⟩. ⟨hal-00990526⟩

DOI : 10.1108/IJCHM-02-2013-0107

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study

Références bibliographiques : References : Referencias : Mohamed Ghazel, El Miloudi El Koursi. Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. IEEE Transactions on Intelligent Transportation Systems, 2014, 11p. ⟨10.1109/TITS.2013.2294874⟩. ⟨hal-00984639⟩

DOI : 10.1109/TITS.2013.2294874

Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks

Références bibliographiques : References : Referencias : Jean Luc Bruyelle, Conor O'Neill, El Miloudi El Koursi, Fabrice Hamelin, Nicolo Sartori, et al.. Improving the resilience of metro vehicle and passengers for an effective emergency response to terrorist attacks. Safety Science, 2014, 62, pp 37-45. ⟨10.1016/j.ssci.2013.07.022⟩. ⟨hal-00853572⟩

DOI : 10.1016/j.ssci.2013.07.022

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Références bibliographiques : References : Referencias : Mohamed Ghazel. Formalizing a subset of ERTMS/ETCS specifications for verification purposes. Transportation research. Part C, Emerging technologies, 2014, 42, p60-75. ⟨10.1016/j.trc.2014.02.002⟩. ⟨hal-00985704⟩

DOI : 10.1016/j.trc.2014.02.002

Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System

Références bibliographiques : References : Referencias : Nesrine Darragi, Simon Collart-Dutilleul, El Miloudi El Koursi. Requirements Modeling Methodology Based On Knowledge Engineering: A Case Study of Railway Control System. Journal of Information and Knowledge, 2014, 4 (1), 16p. ⟨hal-00997699⟩

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyéni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC Proceedings Volumes, 2014, 47 (3), pp.1784 - 1789. ⟨10.3182/20140824-6-ZA-1003.02336⟩. ⟨hal-01740388⟩

DOI : 10.3182/20140824-6-ZA-1003.02336

Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times

Références bibliographiques : References : Referencias : Remy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times. Transportation research. Part C, Emerging technologies, 2013, 37, pp.20-41. ⟨10.1016/j.trc.2013.09.007⟩. ⟨hal-00947935⟩

DOI : 10.1016/j.trc.2013.09.007

Human factors in the analysis of the 'tram-car drivers' at intersections

Références bibliographiques : References : Referencias : Fatiha Moutchou, Abdelghani Cherkaoui, El Miloudi El Koursi. Human factors in the analysis of the 'tram-car drivers' at intersections. Journal of Civil Engineering and Architecture, 2013, pp 562-569. ⟨hal-00867710⟩

From a Solution Model to a B Model for Verification of Safety Properties

Références bibliographiques : References : Referencias : Philippe Bon, Simon Collart-Dutilleul. From a Solution Model to a B Model for Verification of Safety Properties. Journal of Universal Computer Science, 2013, 19 (1), p2-24. ⟨10.3217/jucs-019-01-0002⟩. ⟨hal-00865039⟩

DOI : 10.3217/jucs-019-01-0002

Computation of Passive Robustness Bound for Assembly/Disassembly Processes

Références bibliographiques : References : Referencias : Anis Mhalla, Simon Collart-Dutilleul, Mohamed Benrejeb, Etienne Craye. Computation of Passive Robustness Bound for Assembly/Disassembly Processes. International Journal of Automation and Control Engineering, 2013, 2 (2), p79-86. ⟨hal-00911648⟩

Single European Sky and Single European Railway Area: A System Level Analysis of Air and Rail Transportation

Références bibliographiques : References : Referencias : Paola Pellegrini, Joaquin Rodriguez. Single European Sky and Single European Railway Area: A System Level Analysis of Air and Rail Transportation. Transportation Research Part A: Policy and Practice, 2013, 57, pp. 64-86. ⟨10.1016/j.tra.2013.09.004⟩. ⟨hal-00870632⟩

DOI : 10.1016/j.tra.2013.09.004

Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés

Références bibliographiques : References : Referencias : Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés. Journal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩. ⟨hal-00909623⟩

DOI : 10.3166/jesa.47.227-242

Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times

Références bibliographiques : References : Referencias : Rémy Chevrier, Paola Pellegrini, Joaquin Rodriguez. Energy saving in railway timetabling: A bi-objective evolutionary approach for computing alternative running times. Transportation research. Part C, Emerging technologies, 2013, 37, pp.20--41. ⟨hal-00742039v2⟩

Solving a Dial-a-Ride Problem with a Hybrid Multi-objective Evolutionary Approach: Application to Demand Responsive Transport

Références bibliographiques : References : Referencias : Rémy Chevrier, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens. Solving a Dial-a-Ride Problem with a Hybrid Multi-objective Evolutionary Approach: Application to Demand Responsive Transport. Applied Soft Computing, 2012, 12 (4), pp.1247-1258. ⟨10.1016/j.asoc.2011.12.014⟩. ⟨inria-00591138v2⟩

DOI : 10.1016/j.asoc.2011.12.014

Assisting Temporal Requirement Specification

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Assisting Temporal Requirement Specification. Computer Technology and Application, 2012, 3 (1), pp.47-55. ⟨hal-00801029⟩

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques

Références bibliographiques : References : Referencias : Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Transactions on Intelligent Transportation Systems, 2012, 3 (2), pp.714-723. ⟨10.1109/TITS.2011.2178238⟩. ⟨hal-00801030⟩

DOI : 10.1109/TITS.2011.2178238

A Formal Framework for the Formalization of Informal Requirements

Références bibliographiques : References : Referencias : Florent Peres, Jing Yang, Mohamed Ghazel. A Formal Framework for the Formalization of Informal Requirements. The International Journal of Soft Computing and Software Engineering, 2012, 2 (8), p14-27. ⟨10.7321/jscse.v2.n8.2⟩. ⟨hal-00852373⟩

DOI : 10.7321/jscse.v2.n8.2

Airport slot allocation in Europe: economic efficiency and fairness

Références bibliographiques : References : Referencias : Lorenzo Castelli, Paola Pellegrini, Raffaele Pesenti. Airport slot allocation in Europe: economic efficiency and fairness. International Journal of Revenue Management, 2012, 1 (6), pp 28-44. ⟨10.1504/IJRM.2012.044513⟩. ⟨hal-00910773⟩

DOI : 10.1504/IJRM.2012.044513

Interopérabilité ferroviaire : exigences et développement européen à l'horizon 2020

Références bibliographiques : References : Referencias : El Miloudi El Koursi, Etienne Lemaire. Interopérabilité ferroviaire : exigences et développement européen à l'horizon 2020. TEC Mobilité intelligente [Revue TEC : Transport Environnement Circulation], 2012, 216, p60-66. ⟨hal-00853700⟩

Simulation-based Evaluation of Dependability and Safety Properties of Satellite Technologies for Railway Localization

Références bibliographiques : References : Referencias : Julie Beugin, Juliette Marais. Simulation-based Evaluation of Dependability and Safety Properties of Satellite Technologies for Railway Localization. Transportation research. Part C, Emerging technologies, 2012, Vol 22, p42-57. ⟨10.1016/j.trc.2011.12.002⟩. ⟨hal-00854853⟩

DOI : 10.1016/j.trc.2011.12.002

A critical analysis of parameter adaptation in ant colony optimization

Références bibliographiques : References : Referencias : Paola Pellegrini, Thomas Stutzle, Mauro Birattari. A critical analysis of parameter adaptation in ant colony optimization. Swarm Intelligence, 2012, 1 (6), p23-48. ⟨10.1007/s11721-011-0061-0⟩. ⟨hal-00874517⟩

DOI : 10.1007/s11721-011-0061-0

Using Mobile Agent Technology to Develop a Collaborative Product Lifecycle Oriented Architecture

Références bibliographiques : References : Referencias : Khaled Bahloul, Nesrine Darragi, Yacine Ouzrout, Abdelaziz Bouras. Using Mobile Agent Technology to Develop a Collaborative Product Lifecycle Oriented Architecture. International Journal of Computer Science Issues, 2012, 9 (4), 15p. ⟨hal-01004997⟩

An energy concept for macroscopic traffic flow modelling

Références bibliographiques : References : Referencias : Aziz Nakrachi, Hayat Saïd, Popescu Dumitru. An energy concept for macroscopic traffic flow modelling. European Transport Research Review, 2012, 4 (2), pp.57-66. ⟨10.1007/s12544-012-0070-0⟩. ⟨hal-00801143⟩

DOI : 10.1007/s12544-012-0070-0

Un multi-modèle pour la représentation macroscopique du flux de trafic routier

Références bibliographiques : References : Referencias : Aziz Nakrachi, Hayat Saïd. Un multi-modèle pour la représentation macroscopique du flux de trafic routier. Actes INRETS, 2012, pp.ISSN 0769-0266, ISBN 978-2-85782-696-5. ⟨hal-00801150⟩

An energy concept for macroscopic traffic flow modeling

Références bibliographiques : References : Referencias : Abdelaziz Nakrachi, Hayat Saïd, Popescu Dumitru. An energy concept for macroscopic traffic flow modeling. European Transport Research Review, 2012, 4 (2), pp.57-66. ⟨10.1007/s12544-012-0070-0⟩. ⟨hal-00801087⟩

DOI : 10.1007/s12544-012-0070-0

Development of Ontology to Assist the Modeling of an Accident Scenario: Application on Railroad Transport

Références bibliographiques : References : Referencias : Ahmed Maalel, Habib Hadj Mabrouk, Lassaad Mejri, Henda Hajjami Ben Ghézala. Development of Ontology to Assist the Modeling of an Accident Scenario: Application on Railroad Transport. International Journal of Computer Science and Artificial Intelligence, 2011, 3 (7), pp.01-08. ⟨hal-02423316⟩

3D Objects Localization using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings

Références bibliographiques : References : Referencias : Nizar Fakhfakh, Louahdi Khoudour, El Miloudi El Koursi, Jean Luc Bruyelle, Alain Dufaux, et al.. 3D Objects Localization using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings. EURASIP Journal on Image and Video Processing, 2011, 13p. ⟨10.1155/2011/548604⟩. ⟨hal-00855009⟩

DOI : 10.1155/2011/548604

Editorial. Numéro spécial RTS sur le transport ferroviaire

Références bibliographiques : References : Referencias : L Dablanc, J Rodriguez. Editorial. Numéro spécial RTS sur le transport ferroviaire. RTS. Recherche, transports, sécurité, 2011, 27 (3), pp 141-142. ⟨10.1007/s13547-011-0017-1⟩. ⟨hal-00905854⟩

DOI : 10.1007/s13547-011-0017-1

A formal model of requirements

Références bibliographiques : References : Referencias : François Defossez, Simon Collart-Dutilleul, Philippe Bon. A formal model of requirements. Open transportation Journal, 2011, pp.60-70. ⟨hal-00838020⟩

Evolutionary, constructive and hybrid procedures for the bi-objective set packing problem.

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, Fabien Degoutin. Evolutionary, constructive and hybrid procedures for the bi-objective set packing problem.. European Journal of Operational Research, 2010, 204 (2), pp.206-217. ⟨10.1016/j.ejor.2009.10.014⟩. ⟨hal-00461771⟩

DOI : 10.1016/j.ejor.2009.10.014

European railway traffic management system validation using UML/Petri nets modelling strategy

Références bibliographiques : References : Referencias : Sana Jabri, El Miloudi El Koursi, Thomas Bourdeaud'Huy. European railway traffic management system validation using UML/Petri nets modelling strategy. European Transport Research Review, 2010, Volume 2, Issue 2, pp 113-128. ⟨hal-00802214⟩

Utilisation des séquences de pannes pour la conception de systèmes de commande sûrs. Application au ferroutage

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Saïd Hayat, Blaise Conrard, Vincent Cocquempot. Utilisation des séquences de pannes pour la conception de systèmes de commande sûrs. Application au ferroutage. Journal Européen des Systèmes Automatisés (JESA), 2010, vol.44 (n.1), pp33-66. ⟨10.3166/JESA.44.33-66⟩. ⟨hal-00559482⟩

DOI : 10.3166/JESA.44.33-66

A video-based object detection system for improving safety at level crossings

Références bibliographiques : References : Referencias : N. Fakhfakh, L. Khoudour, Em El-Koursi, J. Jacot, A. Dufaux. A video-based object detection system for improving safety at level crossings. Open transportation journal, supplement on "safety at Level Crossings", 2010, 15p. ⟨hal-00542416⟩

A Framework for Risk Management in Railway Sector: Application to Road-Rail Level Crossings

Références bibliographiques : References : Referencias : A. Berrado, Em El-Koursi, A. Cherkaoui, M. Khaddour. A Framework for Risk Management in Railway Sector: Application to Road-Rail Level Crossings. Open transportation Journal, 2010, 19p. ⟨hal-00542424⟩

Optimal design of dependable control system architectures using temporal sequences of failures

Références bibliographiques : References : Referencias : Joffrey Clarhaut, Blaise Conrard, Saïd Hayat, Vincent Cocquempot. Optimal design of dependable control system architectures using temporal sequences of failures. IEEE Transactions on Reliability, 2009, 58 (3), pp.511-522. ⟨10.1109/TR.2009.2026790⟩. ⟨hal-00506353⟩

DOI : 10.1109/TR.2009.2026790

Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés

Références bibliographiques : References : Referencias : Lassaad Mejri, Habib Hadj-Mabrouk, Patrice Caulier. Un modèle générique unifié de représentation et de résolution de problèmes pour la réutilisation des connaissances. Application à l'analyse de sécurité des systèmes de transport automatisés. RTS. Recherche, transports, sécurité, 2009, 29 (103), pp.131-148. ⟨10.3166/rts.103.131-148⟩. ⟨hal-02280987⟩

DOI : 10.3166/rts.103.131-148

Stability evaluation of a railway timetable at station level

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. Stability evaluation of a railway timetable at station level. European Journal of Operational Research, 2009, 195 (3), pp.780-790. ⟨10.1016/j.ejor.2007.06.062⟩. ⟨hal-00506352⟩

DOI : 10.1016/j.ejor.2007.06.062

State Observer for DES Under Partial Observation with Time Petri Nets

Références bibliographiques : References : Referencias : Mohamed Ghazel, Armand Toguyeni, Pascal Yim. State Observer for DES Under Partial Observation with Time Petri Nets. Discrete Event Dynamic Systems, 2009, 19 (2), pp.137-165. ⟨10.1007/s10626-009-0060-0⟩. ⟨hal-00801148⟩

DOI : 10.1007/s10626-009-0060-0

Optimal design of dependable control system architectures using temporal sequences of failures

Références bibliographiques : References : Referencias : J Clarhaut, B Conrard, S Hayat, V Cocquempot. Optimal design of dependable control system architectures using temporal sequences of failures. IEEE Transactions on Reliability, 2009, Vol 58, Issue 3, p511-522. ⟨10.1109/TR.2009.2026790⟩. ⟨hal-00952035⟩

DOI : 10.1109/TR.2009.2026790

A novel approach to developing and evaluating regulation strategies for urban transport disrupted networks

Références bibliographiques : References : Referencias : Mm. Ould Sidi, S. Hammadi, S. Hayat. A novel approach to developing and evaluating regulation strategies for urban transport disrupted networks. International Journal of Computer Integrated Manufacturing, 2008, 21 (4), pp.480-493. ⟨10.1080/09511920701574982⟩. ⟨hal-00802437⟩

DOI : 10.1080/09511920701574982

Urban transport traffic network regulation and evaluation using a fuzzy evolutionary approach

Références bibliographiques : References : Referencias : M. M. Ould Sidi, Slim Hammadi, Saïd Hayat, Pierre Borne. Urban transport traffic network regulation and evaluation using a fuzzy evolutionary approach. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2008, 38 (2), pp.309-318. ⟨hal-00505950⟩

Harmonising Safety Management Systems in the European Railway Sector

Références bibliographiques : References : Referencias : Em El-Koursi, Subhabrata Mitra, G. Bearfield. Harmonising Safety Management Systems in the European Railway Sector. Safety Science Monitor, 2007, Vol 11 (Issue 2), 14p. ⟨hal-00543178⟩

Size dependence of coastal phytoplankton photosynthesis under vertical mixing conditions

Références bibliographiques : References : Referencias : P Cermeno, E Maranon, J Rodriguez, E Fernandez. Size dependence of coastal phytoplankton photosynthesis under vertical mixing conditions. Journal of Plankton Research, 2005, 27 (5), pp.473-483. ⟨10.1093/plankt/fbi021⟩. ⟨hal-03494216⟩

DOI : 10.1093/plankt/fbi021

GRASP for set packing problems

Références bibliographiques : References : Referencias : Xavier Delorme, Xavier Gandibleux, J. Rodriguez. GRASP for set packing problems. European Journal of Operational Research, 2004, 153 (3), pp.564-580. ⟨10.1016/S0377-2217(03)00263-7⟩. ⟨hal-00543193⟩

DOI : 10.1016/S0377-2217(03)00263-7

Évolution de la réglementation Nationale en matière de sécurité ferroviaire

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ibtisem Triki. Évolution de la réglementation Nationale en matière de sécurité ferroviaire. Annales des Ponts et Chaussees, 2003, Nouvelle série (106), pp.45-59. ⟨hal-02423257⟩

La réglementation Européenne en matière de sécurité ferroviaire

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Ibtisem Triki. La réglementation Européenne en matière de sécurité ferroviaire. Revue Generale des Chemins de Fer, 2003, Nouvelle série (106), pp.05-20. ⟨hal-02423262⟩

Chronobiologie de la vigilance : Approche d'application dans le domaine de la sécurité routière

Références bibliographiques : References : Referencias : Abderraouf Hadj-Mabrouk, Habib Hadj-Mabrouk, Mohamed Dogui. Chronobiologie de la vigilance : Approche d'application dans le domaine de la sécurité routière. RTS. Recherche, transports, sécurité, 2001, 73 (4), pp.3-26. ⟨10.1016/s0761-8980(01)90035-4⟩. ⟨hal-02280972⟩

DOI : 10.1016/s0761-8980(01)90035-4

Heuristics for railway infrastructure saturation

Références bibliographiques : References : Referencias : Xavier Delorme, Joaquín Rodriguez, Xavier Gandibleux. Heuristics for railway infrastructure saturation. Electronic Notes in Theoretical Computer Science, 2001, ATMOS 2001, Algorithmic MeThods and Models for Optimization of RailwayS (Satellite Workshop of ICALP 2001), 50 (1), pp.39 - 53. ⟨10.1016/S1571-0661(04)00164-1⟩. ⟨hal-00462018⟩

DOI : 10.1016/S1571-0661(04)00164-1

Législation et réglementation de la sécurité dans les transports publics guidés

Références bibliographiques : References : Referencias : Habib Hadj-Mabrouk, Pierre Desfray. Législation et réglementation de la sécurité dans les transports publics guidés. Revue Generale des Chemins de Fer, 2000, RGCF (7), pp.11-23. ⟨hal-02423239⟩