Aller au contenu principal

Articles

2020

Optimisation du transport de marchandises pour les plateformes logistiques multimodales

AHMED, Said   /   (2021)

124p

https://tel.archives-ouvertes.fr/tel-03346675
https://tel.archives-ouvertes.fr/tel-03346675/file/These_AHMED_Said.pdf

Télécharger le document

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

BAZEGHI KISOMI, Parinaz ; BEDEL, Francis ; GHAZEL, Mohamed   /   (2020)

Revue Générale des Chemins de Fer (RGCF), 306, pp78-86

https://revue-rgcf.com/en/revues/306/sommaire

Plus d'infos

Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis

BOUSSIF, Abderraouf ; COLLART-DUTILLEUL, Simon ; BARANOWSKI, François ; BEUGIN, Julie ; SCHON, Walter   /   (2020)

Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement, Les risques au coeur des transitions (e-congrès), FRANCE, pp312-320

https://www.imdr-lm22.fr

Plus d'infos

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2021)

International Journal of Control, Automation and Systems, 19, 8, pp2842-2858, doi: 10.1007/s12555-020-0100-y

https://link.springer.com/article/10.1007/s12555-020-0100-y

Plus d'infos

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; BASILIO, João Carlos   /   (2020)

Discrete Event Dynamic Systems - Theory and Applications, 30, 3, 44p, doi: 10.1007/s10626-020-00324-y

https://link.springer.com/article/10.1007/s10626-020-00324-y
https://doi.org/10.1007/s10626-020-00324-y

Télécharger le document

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; KLAI, Kais   /   (2021)

Asian Journal of Control, 23, 2, pp648-660, doi: 10.1002/asjc.2259

https://onlinelibrary.wiley.com/doi/full/10.1002/asjc.2259
https://doi.org/10.1002/asjc.2259

Plus d'infos

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

CHOUCHANE, Amira   /   (2021)

IMA Journal of Mathematical Control and Information, 38, 3, pp908-928, doi: 10.1093/imamci/dnab015

https://academic.oup.com/imamci/article-abstract/38/3/908/6291454?redirectedFrom=fulltext
https://doi.org/10.1093/imamci/dnab015

Plus d'infos

Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition

COLLART-DUTILLEUL, Simon ; KADRI, Hela ; BON, Philippe ; MYKONIATIS, Georges ; BEN AHMED, Samir   /   (2020)

TRA 2020, 8th Transport Research Arena, FINLANDE, 7p

https://hal-enac.archives-ouvertes.fr/hal-02952135
https://hal-enac.archives-ouvertes.fr/hal-02952135/file/1180_TRA2020_SCD-PBN-YMK-v5.pdf

Plus d'infos

Formalisation et résolution du problème de construction de grilles horaires robustes pour les réseaux ferrés denses

CORNET, Sélim   /   (2020)

139p

https://tel.archives-ouvertes.fr/tel-03342328
https://tel.archives-ouvertes.fr/tel-03342328/file/These_CORNET_Selim.pdf

Télécharger le document

Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method

CORNET, Selim ; BUISSON, Christine ; RAMOND, François ; BOUVAREL, Paul ; RODRIGUEZ, Joaquin   /   (2020)

IEEE ITSC 2020, 23rd IEEE International Conference on Intelligent Transportation Systems, GRECE, pp2404-2409

Plus d'infos

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

CORNET, Selim ; BUISSON, Christine ; RAMOND, François ; RODRIGUEZ, Joaquin   /   (2020)

Revue Générale des Chemins de Fer (RGCF), 302, pp12-19

https://www.revue-rgcf.com/fr/revues/302/sommaire

Plus d'infos

A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization

COVIELLO, Nicola ; MEDEOSSI, Giorgio ; NYGREEN, Thomas ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 11p

Plus d'infos

Transition vers une mobilité quotidienne bas carbone en périurbain

CUVELIER, Marielle ; USTER, Guillaume   /   (2021)

Construction21 France, 29, Dossier Mobilit?s d?carbon?es : Enjeux et solutions, 5p

https://www.construction21.org/france/articles/h/dossier-mobilites-29-transition-vers-une-mobilite-quotidienne-bas-carbone-en-periurbain.html

Télécharger le document

Réinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle

CUVELIER, Marielle ; USTER, Guillaume   /   (2020)

RDMI'20, 47ème Congrès ATEC ITS France, les Rencontres De la Mobilité Intelligente, FRANCE, 11p

Télécharger le document

Analyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais

DE ALMEIDA PEREIRA, Dalay Israel   /   (2020)

184p

https://tel.archives-ouvertes.fr/tel-03215450

Télécharger le document

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

DE ALMEIDA PEREIRA, Dalay Israel ; HIMRANE, Ouail ; BON, Philippe ; BEUGIN, Julie   /   (2021)

International Journal of Signal Processing Systems, 9, 2, pp11-16

http://www.ijsps.com/index.php?m=content&c=index&a=show&catid=77&id=333

Télécharger le document

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

DELEPLANQUE, Samuel ; LABBE, Martine ; PONCE, Diego ; PUERTO, Justo   /   (2020)

INFORMS Journal on Computing, 26p, doi: 10.1287/ijoc.2019.0915

https://doi.org/10.1287/ijoc.2019.0915
https://pubsonline.informs.org/doi/10.1287/ijoc.2019.0915

Télécharger le document

IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings

GHAZEL, Mohamed   /   (2021)

IFAC-PapersOnLine, 54, 2, pp1-360

https://www.sciencedirect.com/journal/ifac-papersonline/vol/54/issue/2
https://cts2021.univ-gustave-eiffel.fr/
https://ifac.papercept.net/conferences/conferences/CTS21/program/

Plus d'infos

Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization

HIMRANE , Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2020)

ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p

https://www.esrel2020-psam15.org/

Plus d'infos

Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function

HIMRANE, Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2021)

IFAC-PapersOnLine, 54, 2, pp159-166, doi: 10.1016/j.ifacol.2021.06.049

https://www.sciencedirect.com/science/article/pii/S2405896321004973
https://doi.org/10.1016/j.ifacol.2021.06.049

Télécharger le document

Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

HIMRANE, Ouail ; BEUGIN, Julie ; GHAZEL, Mohamed   /   (2020)

Lambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), FRANCE, 10p

https://www.imdr-lm22.fr/
https://hal.archives-ouvertes.fr/hal-03480709

Télécharger le document

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

HIMRANE, Ouail ; OURGHANLIAN, Alain ; AMARI, Saïd   /   (2020)

International Journal of Control, 

https://hal.archives-ouvertes.fr/hal-02953658
https://doi.org/10.1080/00207179.2020.1798021

Plus d'infos

A Compact Mixed Integer Linear Formulation for Safe Set Problems

HOSTEINS, Pierre   /   (2020)

Optimization Letters, 21p, doi: 10.1007/s11590-020-01540-z

https://link.springer.com/article/10.1007%2Fs11590-020-01540-z
https://doi.org/10.1007/s11590-020-01540-z

Télécharger le document

The Stochastic Critical Node Problem over Trees

HOSTEINS, Pierre ; SCATAMACCHIA, Rosario   /   (2020)

Networks, 76, 3, pp381-401, doi: 10.1002/net.21948

https://doi.org/10.1002/net.21948
https://onlinelibrary.wiley.com/doi/full/10.1002/net.21948

Télécharger le document

Scheduling of Autonomous Electric Vehicles On-Demand

KADRI, Ahmed ; HOSTEINS, Pierre ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; DE ALMEIDA, David ; BOROT, David ; RAMOND, François ; POZZOLI, Valentina ; CHEVRIER, Rémy   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 10p

Plus d'infos

Gestion des modes de systèmes à événements discrets : application au passage de frontière sous ERTMS

KADRI, Hela   /   (2020)

161p

https://tel.archives-ouvertes.fr/tel-03576638
https://tel.archives-ouvertes.fr/tel-03576638/file/Hela_Kadri_DLE.pdf

Télécharger le document

Optimisation combinatoire intégrée de la gestion du matériel roulant et de la circulation ferroviaire dans les gares de passagers

KAMENGA, Franck   /   (2020)

89p

Télécharger le document

Solution algorithms for the generalized train unit shunting problem

KAMENGA, Franck ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; MERABET, Boubekeur   /   (2021)

EURO Journal on Transportation and Logistics, 10, pp1-16, doi: 10.1016/j.ejtl.2021.100042

https://doi.org/10.1016/j.ejtl.2021.100042

Télécharger le document

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

KEITA, Kaba ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2020)

Journal of Rail Transport Planning and Management, 16p, doi: 10.1016/j.jrtpm.2019.100170

https://doi.org/10.1016/j.jrtpm.2019.100170
https://www.sciencedirect.com/science/article/pii/S2210970619300691

Télécharger le document

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

LICCIARDELLO, Riccardo ; ADAMKO, Norbert ; DELEPLANQUE, Samuel ; HOSTEINS, Pierre ; LIU, Ronghui ; PELLEGRINI, Paola ; PETERSON, Anders ; WAHLBORG, Magnus ; ZAT'KO, Milos   /   (2020)

Ingegneria Ferroviaria, 6, pp417-440

http://www.ingegneriaferroviaria.it/web/it/content/integrazione-di-impianti-merci-rete-e-modelli-di-ottimizzazione-l%E2%80%99esercizio-tempo-reale
http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1474712&dswid=1632

Télécharger le document

A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem

MARLIERE, Grégory ; SOBIERAJ RICHARD, Sonia ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

IFAC-PapersOnLine, 54, 2, pp187-194, doi: 10.1016/j.ifacol.2021.06.046

https://doi.org/10.1016/j.ifacol.2021.06.046

Télécharger le document

Energy-efficient multi-train operations in railway networks considering traffic perturbations

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 20p

Plus d'infos

Real-Time Optimization of Energy Consumption in Railway Networks

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

EWGT 2021, 24th Euro Working Group on Transportation Meeting, PORTUGAL, 8p

Télécharger le document

Ant Colony Optimization for Energy-Efficient Train Operations

NALDINI, Federico ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2021)

GECCO 2021, Genetic and Evolutionary Computation Conference Companion, FRANCE, pp75-76

https://doi.org/10.1145/3449726.3459436
https://gecco-2021.sigevo.org/HomePage

Plus d'infos

An improved approach for train routing selection in large railway stations

PASCARIU, Bianca ; SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; PACCIARELLI, Dario ; RODRIGUEZ, Joaquin   /   (2021)

RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 

Plus d'infos

Train routing selection problem: Ant colony optimization versus integer linear programming

PASCARIU, Bianca ; SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; PACCIARELLI, Dario ; RODRIGUEZ, Joaquin   /   (2021)

IFAC-PapersOnLine, 54, 2, pp167-172, doi: 10.1016/j.ifacol.2021.06.060

https://doi.org/10.1016/j.ifacol.2021.06.060

Télécharger le document

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

SADDEM-YAGOUBI, Rim ; POIZAT, Pascal ; HOUHOU, Sara   /   (2021)

FM 2021, International Symposium on Formal Methods, CHINE, 

https://hal-cnrs.archives-ouvertes.fr/hal-03289951
https://lcs.ios.ac.cn/fm2021/

Plus d'infos

Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations

SASSI, Insaf ; BEUGIN, Julie ; SALLAK, Mohamed ; AIT TMAZIRTE, Nourdine   /   (2020)

ESREL'20 - PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, ITALIE, 8p

https://www.esrel2020-psam15.org/

Plus d'infos

Formal modeling of a new On-board Train integrity System ETCS Compliant

SASSI, Insaf ; GHAZEL, Mohamed ; EL-KOURSI, El-Miloudi   /   (2021)

ESREL 2021, 31st European Safety and Reliability Conference, FRANCE, 9p

https://easychair.org/smart-program/ESREL2021/

Plus d'infos

A new framework for Mobility Allowance Shuttle Transit (MAST)

SHAHIN, Reza ; HOSTEINS, Pierre ; VANDANJON, Pierre-Olivier ; PELLEGRINI, Paola   /   (2021)

EURO 2021, 31st European Conference on Operational Research, GRECE, 1p

http://dx.doi.org/10.13140/RG.2.2.27058.94407
https://hal.archives-ouvertes.fr/hal-03562604

Télécharger le document

Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST)

SHAHIN, Reza ; HOSTEINS, Pierre ; VANDANJON, Pierre-Olivier ; PELLEGRINI, Paola   /   (2021)

INFORMS Annual Meeting, ETATS-UNIS, 1p

http://dx.doi.org/10.13140/RG.2.2.23703.50088
https://hal.archives-ouvertes.fr/hal-03544169

Télécharger le document

Closed-loop incremental stability for efficient symbolic control of non-linear systems

TAJVAR, Pouria ; MEYER, Pierre-Jean ; TUMOVA, Jana   /   (2021)

7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021, BELGIQUE, pp121-126

https://doi.org/10.1016/j.ifacol.2021.08.485

Télécharger le document

Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains

TONK, Abhimanyu ; BOUSSIF, Abderraouf ; BEUGIN, Julie ; COLLART-DUTILLEUL, Simon   /   (2021)

ESREL 2021, 31st European Safety And Reliability Conference, FRANCE, 8p

https://easychair.org/smart-program/ESREL2021/

Plus d'infos

Merging Railway Standard Notations in a Formal DSL-Based Framework

YAR, Asfand ; IDANI, Akram ; COLLART-DUTILLEUL, Simon   /   (2020)

ECSA 2020, 14th European Conference on Software Architecture, , ITALIE, pp411-419

http://dx.doi.org/10.1007/978-3-030-59155-7_30
https://hal.archives-ouvertes.fr/hal-03265296

Plus d'infos
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr

2016-2019

Studies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem

HOSTEINS, Pierre ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

RailNorrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, pp409-424

https://ep.liu.se/ecp/article.asp?issue=069&article=027&volume=0

Plus d'infos

Résolution du problème de yard à 1-étape

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

ROADEF 2019, 20ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

https://easychair.org/cfp/roadef2019
https://easychair.org/smart-program/ROADEF2019/index.html

Télécharger le document

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

CORNET, Selim ; BUISSON, Christine ; RAMOND, François ; BOUVAREL, Paul ; RODRIGUEZ, Joaquin   /   (2019)

Transportation Research Part C: Emerging Technologies, 106, pp344-359, doi: 10.1016/j.trc.2019.05.008

https://doi.org/10.1016/j.trc.2019.05.008

Télécharger le document

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

KRAIBI, Kenza ; BEN AYED, Rahma ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; PETIT, Dorian   /   (2019)

Journal of communications, 14, 10, pp980-986, doi: 10.12720/jcm.14.10.980-986

http://www.jocm.us/index.php?m=content&c=index&a=show&catid=231&id=1447
https://doi.org/10.12720/jcm.14.10.980-986

Télécharger le document

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2019)

International Journal of Control, Automation and Systems, 18, 3, pp682-695, doi: 10.1007/s12555-018-0682-9

https://rdcu.be/bRVqn
http://dx.doi.org/10.1007/s12555-018-0682-9
https://link.springer.com/article/10.1007%2Fs12555-018-0682-9

Plus d'infos

Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire

LEDRU, Yves ; IDANI, Akram ; BEN-AYED, Rahma ; AIT WAKRIME, Abderrahim ; BON, Philippe   /   (2019)

AFADL'19, 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, France, pp 9--12

https://afadl2019.sciencesconf.org/data/pages/actes_AFADL_2019.pdf

Plus d'infos

Event-B Decomposition Analysis for Systems Behavior Modeling

KRAIBI, Kenza ; BEN-AYED, Rahma ; REHM, Joris ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; PETIT, Dorian   /   (2019)

ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp278-286

http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0007929602780286
https://dx.doi.org/10.5220/0007929602780286

Plus d'infos

Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp287-297

Plus d'infos

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

DE ALMEIDA PEREIRA, Dalay Israel ; DEBBECH, Sana ; PERIN, Matthieu ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

ER'19, 38th International Conference on Conceptual Modeling, BRESIL, 14p

Plus d'infos

B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

DE ALMEIDA PEREIRA, Dalay Israel ; DEHARBE, David ; PERIN, Matthieu ; BON, Philippe   /   (2019)

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, FRANCE, pp242-258

https://doi.org/10.1007/978-3-030-18744-6_16

Plus d'infos

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules

LEDRU, Yves ; IDANI, Akram ; BEN AYED, Rahma ; AIT WAKRIME, Abderrahim ; BON, Philippe   /   (2019)

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp173-190

https://doi.org/10.1007/978-3-030-18744-6_11

Plus d'infos

Towards a tool-based domain specific approach for railway systems modeling and validation

IDANI, Akram ; LEDRU, Yves ; AIT WAKRIME, Abderrahim ; BEN AYED, Rahma ; BON, Philippe   /   (2019)

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , FRANCE, pp23-40

https://doi.org/10.1007/978-3-030-18744-6_2

Plus d'infos

Formal Approach to Dynamic SoS Design

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2019)

ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, 1p

Télécharger le document

Formal Approach to Dynamic SoS Design

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2019)

ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, pp377-384

https://dx.doi.org/10.5220/0007730903770384

Plus d'infos

A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals

MARLIERE, Grégory ; SOBIERAJ RICHARD, Sonia ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2019)

Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, 20p

Plus d'infos

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

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

International Journal of Transport Development and Integration, 3, 1, pp30-43, doi: 10.2495/TDI-V3-N1-30-43

https://www.witpress.com/elibrary/tdi-volumes/3/1/2412
https://dx.doi.org/10.2495/TDI-V3-N1-30-43

Télécharger le document

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

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

Journal of computers, 14, 4, pp257-267, doi: 10.17706/jcp.14.4.257-267

http://www.jcomputers.us
https://dx.doi.org/10.17706/jcp.14.4.257-267

Télécharger le document

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

DE ALMEIDA PEREIRA, Dalay Israel ; PERIN, Matthieu ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2019)

International Journal of Computer and Electrical Engineering (IJCEE), 11, 1, pp11-19, doi: 10.17706/IJCEE.2019.11.1.11-19

http://www.ijcee.org/index.php?m=content&c=index&a=show&catid=99&id=1143

Télécharger le document

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

NGUYEN, Khanh ; BEUGIN, Julie ; BERBINEAU, Marion ; MARAIS, Juliette   /   (2019)

Journal of Intelligent Transportation Systems, 18p, doi: 10.1080/15472450.2018.1525533

https://doi.org/10.1080/15472450.2018.1525533
https://www.tandfonline.com/doi/full/10.1080/15472450.2018.1525533

Télécharger le document

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

CORDONE, Roberto ; HOSTEINS, Pierre   /   (2019)

Computers and Operations Research, 102, pp130-140, doi: 10.1016/j.cor.2018.10.006

https://doi.org/10.1016/j.cor.2018.10.006
https://www.sciencedirect.com/science/article/pii/S0305054818302594?via%3Dihub

Télécharger le document

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

PELLEGRINI, Paola ; PESENTI, Raffaele ; RODRIGUEZ, Joaquin   /   (2019)

Transportation Research Part B: Methodological, 120, pp33-48, doi: 10.1016/j.trb.2018.12.008

https://doi.org/10.1016/j.trb.2018.12.008
https://www.sciencedirect.com/science/article/pii/S0191261518307276?via%3Dihub

Plus d'infos

A Formal Approach for Multi-occurrence Crisis Management

KADRI, Hela ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir   /   (2018)

ICSOFT 2018, 13th International Conference on Software Technologies, PORTUGAL, pp607-614

https://www.scitepress.org/Papers/2018/68656/pdf/index.html
https://www.scitepress.org/Link.aspx?doi=10.5220/0006865606410648

Plus d'infos

Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier   /   (2018)

CTS'18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p

Plus d'infos

A Diagnosis Study on a Train Passenger Access System using Petri Net Models

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

CTS '18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p

Plus d'infos

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

RYAN, Brendan ; KALLBERG, Veli-Pekka ; RADBO, Helena ; HAVARNEANU, Grigore M ; SILLA, Anne ; LUKASCHEK, Karoline ; BURKHARDT, Jean-Marie ; BRUYELLE, Jean-Luc ; El-KOURSI, El- Miloudi ; BEURSKENS, Eric ; HEDQVIST, Maria   /   (2018)

Ergonomics, 61, pp1433-1453, doi: 10.1080/00140139.2018.1485970

https://doi.org/10.1080/00140139.2018.1485970
https://www.tandfonline.com/doi/full/10.1080/00140139.2018.1485970

Télécharger le document

Design solutions to improve resilience of metro vehicle to blast events

EL KOURSI, El Miloudi ; BRUYELLE, Jean-Luc ; SEDDON, Richard ; O'NEILL, Conor   /   (2018)

Transportation Research Part A: Policy and Practice, 118, pp280-291, doi: 10.1016/j.tra.2018.09.015

https://www.sciencedirect.com/science/article/pii/S0965856418305895?via%3Dihub
https://doi.org/10.1016/j.tra.2018.09.015

Plus d'infos

Applications of train routing selection methods for real-time railway traffic management

SAMA, Marcella ; D'ARIANO, Andrea ; PACCIARELLI, Dario ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2018)

ITSC 2018, 21st International Conference on Intelligent Transportation Systems, ETATS-UNIS, pp72-77

https://ieeexplore.ieee.org/document/8569555

Plus d'infos

An MDA Approach for the Specification of Relay-Based Diagrams

DE ALMEIDA PEREIRA, Dalay Israel ; MALKI, Ouahmed ; BON, Philippe ; PERIN, Matthieu ; COLLART-DUTILLEUL, Simon   /   (2018)

MEDI 2018, 8th International Conference on Model and Data Engineering, MAROC, 13p

https://doi.org/10.1007/978-3-030-02852-7_2

Plus d'infos

Modelling and verification: Performance evaluation and test: part 2

GHAZEL, Mohamed ; JMAIEL, Mohamed   /   (2018)

International Journal of Critical Computer Based Systems, 8, 3/4, pp231-233

Télécharger le document

Satellite positioning in the transport domain: applications and challenges

BEUGIN, Julie ; GILLIERON, Pierre-Yves   /   (2018)

Data Science and Mobility Conference, SUISSE, 18p

https://archiveweb.epfl.ch/dsmc18.epfl.ch/

Plus d'infos

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; KLAI, Kais   /   (2018)

International Journal of Critical Computer-Based Systems (IJCCBS), 8, 2, pp141-168, doi: 10.1504/IJCCBS.2018.10011234

http://www.inderscience.com/offer.php?id=96178
https://dx.doi.org/10.1504/IJCCBS.2018.10011234

Plus d'infos

Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2018)

ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, FRANCE, 9p

Plus d'infos

Comparaison de l'approche sécurité multi-domaine

MAILLAND, David ; THIONVILLE, Amélie ; SCHAFF, Martial ; BEUGIN, Julie   /   (2018)

Lambda-Mu, 21ème Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, FRANCE, 7p

Plus d'infos

Improving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems

DEBBECH, Sana ; BON, Philippe ; COLLART-DUTILLEUL, Simon   /   (2018)

WIT Transactions on the Built Environment, 181, pp399-411, doi: 10.2495/CR180361

https://www.wessex.ac.uk/conferences/2018/comprail-2018
https://www.witpress.com/books/978-1-78466-285-1
https://www.witpress.com/elibrary/wit-transactions-on-the-built-environment/181/36887
https://dx.doi.org/10.2495/CR180361

Plus d'infos

Efficient diagnosability assessment via ILP optimization: a railway benchmark

BASILE, Francesco ; DE TOMMASI, Gianmaria ; STERLE, Claudio ; BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, ITALIE, 8p

Plus d'infos

A passenger flow oriented security and safety approach in international railway stations

COLLART-DUTILLEUL, Simon ; MAURER, Stephan ; BON, Philippe ; KAUL, Peter   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

Proposition of a formal model for crisis management in the context of high-speed train networks in border areas

KADRI, Héla ; SCHLEINER, Simon ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; BEN AHMED, Samir ; STEYER, Florian ; GABRIEL, Alexander ; MUDIMU, Ompe Aymé   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

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

FERLIN, Antoine ; QIU, Siqi ; BON, Philippe ; SALLAK, Mohamed ; COLLART-DUTILLEUL, Simon ; SCHÖN, Walter ; CHERFI-BOULANGER, Zohra   /   (2018)

IEEE Transactions on Intelligent Transportation Systems, 99, 16p, doi: 10.1109/TITS.2017.2779565

https://ieeexplore.ieee.org/document/8283579/
https://dx.doi.org/10.1109/TITS.2017.2779565

Plus d'infos

Model-Based Monitoring of a Train Passenger Access System

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

IEEE Access, 6, 1, pp41619-41632, doi: 10.1109/ACCESS.2018.2860966

https://ieeexplore.ieee.org/abstract/document/8423174/
https://dx.doi.org/10.1109/ACCESS.2018.2860966

Télécharger le document

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

Electronic Notes in Discrete Mathematics, 69, pp109-116, doi: 10.1016/j.endm.2018.07.015

http://www.sciencedirect.com/science/article/pii/S1571065318301598
https://doi.org/10.1016/j.endm.2018.07.015

Télécharger le document

EGNOS service evaluation in railway environment for safety-critical operations

MARAIS, Juliette ; BEUGIN, Julie ; POUMAILLOUX, Jean ; GANDARA, Marc   /   (2018)

TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p

Plus d'infos

Optimization of a railway freight yard in real time

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2018)

EURO'18, 29th European Conference On Operational Research, ESPAGNE, 1p

Plus d'infos

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

EURO/ALIO '18, International Conference on Applied Combinatorial Optimization, ITALIE, 8p

Télécharger le document

Optimiser une gare de triage en temps réel

DELEPLANQUE, Samuel ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2018)

ROADEF 2018, 19ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

Télécharger le document

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

CAZIER, Olivier ; LIANG, Ci ; GHAZEL, Mohamed   /   (2018)

Revue Générale des Chemins de Fer (RGCF), 281, 9p

https://www.revue-rgcf.com/fr/revues/281/sommaire

Plus d'infos

Timetable rearrangement to cope with railway maintenance activities

ARENAS, Diego ; PELLEGRINI, Paola ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2018)

Computers and Operations Research, 95, pp123-138, doi: 10.1016/j.cor.2018.02.018

https://doi.org/10.1016/j.cor.2018.02.018
https://www.sciencedirect.com/science/article/pii/S0305054818300571?via%3Dihub

Plus d'infos

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

BEUGIN, Julie ; LEGRAND, Cyril ; MARAIS, Juliette ; BERBINEAU, Marion ; EL KOURSI, El Miloudi   /   (2018)

IEEE Access, 6, 99, pp9898-9916, doi: 10.1109/ACCESS.2018.2807127

http://ieeexplore.ieee.org/document/8293773/
http://dx.doi.org/10.1109/ACCESS.2018.2807127

Télécharger le document

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

OUEDRAOGO, Kiswendsida Abel ; BEUGIN, Julie ; EL KOURSI, El Miloudi ; CLARHAUT, Joffrey ; RENAUX, Dominique ; LISIECKI, Frédéric   /   (2018)

Risk Analysis, 22p, doi: 10.1111/risa.12972

http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1539-6924
http://dx.doi.org/10.1111/risa.12972

Plus d'infos

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

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2018)

Safety Science, 110, pp115-126, doi: 10.1016/j.ssci.2017.12.008

https://doi.org/10.1016/j.ssci.2017.12.008
https://www.sciencedirect.com/science/journal/09257535

Télécharger le document

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

LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand   /   (2018)

Asian Journal of Control, 20, 1, 13p, doi: 10.1002/asjc.1508

http://onlinelibrary.wiley.com/journal/10.1002
http://dx.doi.org/10.1002/asjc.1508

Plus d'infos

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

HADJ MABROUK, Habib   /   (2017)

Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22

https://hal.archives-ouvertes.fr/hal-02424067

Plus d'infos

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

HADJ MABROUK, Habib   /   (2017)

Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22

https://hal.archives-ouvertes.fr/hal-02424023

Plus d'infos

Bayesian Network Modeling Applied on Railway Level Crossing Safety

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; BOUILLAUT, Laurent ; EL KOURSI, El Miloudi   /   (2017)

RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, ITALIE, 15p

Télécharger le document

Décomposition de Benders pour la gestion opérationnelle du trafic ferroviaire

KEITA, Kaba   /   (2017)

132p

Télécharger le document

DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 2p

Télécharger le document

DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser

BOUSSIF, Abderraouf ; GHAZEL, Mohamed ; KLAI, Kais   /   (2017)

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 14p

Télécharger le document

Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 15p

Télécharger le document

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

BOUSSIF, Abderraouf ; LIU, Baisi ; GHAZEL, Mohamed   /   (2017)

DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8

Télécharger le document

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

Lecture Notes in Computer Science, 10466, pp 92-107, doi: 10.1007/978-3-319-66176-6_7

https://doi.org/10.1007/978-3-319-66176-6_7
http://madis-collection.ifsttar.fr/cd/vecos/2017%20-%20VECOS/VeCOS2017_Proceedings.pdf

Plus d'infos

A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2017)

ACC - 2017 American Control Conference, ETATS-UNIS, pp 3860-3867

http://ieeexplore.ieee.org/document/7963546/
http://dx.doi.org/10.23919/ACC.2017.7963546

Plus d'infos

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

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2017)

Journal of Rail Transport Planning & Management, 7, pp19-32, doi: 10.1016/j.jrtpm.2017.08.001

http://www.sciencedirect.com/science/article/pii/S2210970617300355
https://doi.org/10.1016/j.jrtpm.2017.08.001

Plus d'infos

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

LIANG, Ci ; GHAZEL, Mohamed   /   (2017)

International Journal of Injury Control and Safety Promotion, pp162-172, doi: 10.1080/17457300.2017.1416480

http://www.tandfonline.com/doi/full/10.1080/17457300.2017.1416480
https://doi.org/10.1080/17457300.2017.1416480

Télécharger le document

Developing accident prediction model for railway level crossings

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2017)

Safety science, 101, pp48-59, doi: 10.1016/j.ssci.2017.08.013

http://www.sciencedirect.com/science/article/pii/S092575351630666X
https://doi.org/10.1016/j.ssci.2017.08.013

Télécharger le document

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

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2017)

Accident Analysis and Prevention, 108, pp181-188, doi: 10.1016/j.aap.2017.08.030

http://www.sciencedirect.com/science/article/pii/S000145751730310X
https://doi.org/10.1016/j.aap.2017.08.030

Plus d'infos

A survey of lubrication techniques of railway switches and crossings

LIU, Baisi ; GHAZEL, Mohamed ; PARAGREEN, Jonathan ; RAHBARI, Rahi   /   (2017)

Railway Engineering-2017, ROYAUME-UNI, 11p

Plus d'infos

Ant Colony Optimization for train routing selection: operational vs tactical application

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2017)

MT-ITS 2017 - 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, ITALIE, 6p

http://ieeexplore.ieee.org/document/8005684/
http://dx.doi.org/10.1109/MTITS.2017.8005684

Plus d'infos

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

BOUDI, Zakaryae ; BEN-AYED, Rahma ; EL KOURSI, El Miloudi ; COLLART-DUTILLEUL, Simon ; NOLASCO, Thomas ; HALOUA, Mohamed   /   (2017)

European Transport Research Review, 13, 9, 15p, doi: 10.1007/s12544-017-0228-x

https://link.springer.com/journal/12544
https://doi.org/10.1007/s12544-017-0228-x

Télécharger le document

The potential of the routing selection problem in real-time railway traffic management

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2017)

RailLille2017 - 7th International Conference on Railway Operations Modelling and Analysis, France, 19p

Télécharger le document

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

KEITA, Kaba ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2017)

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p

Télécharger le document

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

MARAIS, Juliette ; BEUGIN, Julie ; BERBINEAU, Marion   /   (2017)

IEEE Transactions on Intelligent Transportation Systems, 10, 18, p2602 - 2618, doi: 10.1109/TITS.2017.2658179

http://ieeexplore.ieee.org/document/7857080/
https://doi.org/10.1109/TITS.2017.2658179

Télécharger le document

Timetable Optimization during Railway Infrastructure Maintenance

ARENAS, Diego ; PELLEGRINI, Paola ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2017)

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p

Plus d'infos

Boosting the performance of railway traffic management through the reformulation of RECIFE-MILP

PELLEGRINI, Paola ; MARLIERE, Grégory ; PESSENTI, Raffaele ; RODRIGUEZ, Joaquin   /   (2017)

7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 16p

Plus d'infos

Train timetable rearrangement facing infrastructure maintenance activities

ARENAS, Diego ; PELLEGRINI, Paola ; HANAFI, Said ; RODRIGUEZ, Joaquin   /   (2017)

ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p

Télécharger le document

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

JACQUOT-GUIMBAL, Hélène ; KOVARIK, Jean-Bernard ; OUKHELLOU, Latifa ; L'HOSTIS, Alain ; USTER, Guillaume   /   (2017)

TEC Transport environnement circulation, 232, pp6-7

https://atec-its-france.com/boutique/tec-232/
https://atec-its-france.com/extrait-pdf/?revue=8398

Plus d'infos

A decomposition approach for the real time Railway Traffic Management Problem

KEITA, Kaba ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2017)

ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, France, 2p

Télécharger le document

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

GHAZEL, Mohamed   /   (2017)

IEEE transactions on Intelligent Transportation Systems, 18, 10, 13p, doi: 10.1109/TITS.2017.2657695

https://doi.org/10.1109/TITS.2017.2657695
http://ieeexplore.ieee.org/document/7850991/

Plus d'infos

On the tactical and operational train routing selection problem

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2017)

Transportation research - Part C : Emerging technologies, 76, p1-15, doi: 10.1016/j.trc.2016.12.010

http://dx.doi.org/10.1016/j.trc.2016.12.010
http://www.sciencedirect.com/science/journal/0968090X

Plus d'infos

Sysml formalization of the disruption management process in european railways

JAEKEL, Birgit ; PELLEGRINI, Paola ; SOBIERAJ RICHARD, Sonia ; RODRIGUEZ, Joaquin   /   (2017)

96th Transportation Research Board Annual Meeting, Etats-Unis, 1p

Télécharger le document

Les risques psychosociaux dans la politique Européenne du développement durable

HARGUEM, Besma ; HADJ MABROUK, Habib   /   (2016)

Colloque international Union Européenne et développement durable, Défis et perspectives, France, P20

https://hal.archives-ouvertes.fr/hal-02424644

Plus d'infos

Contribution of chronobiology vigilance in public transport safety

HADJ MABROUK, Habib   /   (2016)

International Journal of Multidisciplinary Research and Development, 3, 9, pp214-221, doi: 10.22271/ijmrd

http://dx.doi.org/10.22271/ijmrd
https://hal.archives-ouvertes.fr/hal-02424015

Plus d'infos

Transportation safety assessment methodology based on artificial intelligence techniques

HADJ MABROUK, Habib   /   (2016)

International Journal of Computing Science and Communication, 1, 1, pp22-30

https://hal.archives-ouvertes.fr/hal-02423988

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

International journal of railway research, 3, 1, pp37-44, doi: 10.22068 / IJRARE.3.1.37

http://dx.doi.org/10.22068 / IJRARE.3.1.37
https://hal.archives-ouvertes.fr/hal-02423996

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

International Journal of Engineering Research and Applications, 6, 8, pp91-98

https://hal.archives-ouvertes.fr/hal-02423765

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

International Journal of Emerging Technology and Advanced Engineering, 6, 8, pp25-35

https://hal.archives-ouvertes.fr/hal-02423763

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

Magazine on The Rail Industry, 1, 2, pp49-52

https://hal.archives-ouvertes.fr/hal-02423768

Plus d'infos

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

HADJ MABROUK, Habib   /   (2016)

Journal of Engineering Precious Research and Applications, 1, 3, pp01-09

https://hal.archives-ouvertes.fr/hal-02423971

Plus d'infos

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

GELAREH, Shahin ; NEAMATIAN MONEMI, Rahimeh ; SEMET, Frédéric ; GONCALVES, Gilles   /   (2016)

European Journal of Operational Research, 249, 3, pp1144-1152, doi: 10.1016/j.ejor.2015.09.049

https://doi.org/10.1016/j.ejor.2015.09.049
https://www.sciencedirect.com/science/article/pii/S0377221715008917?via%3Dihub

Plus d'infos

A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals

ZAGHDOUD, Radhia ; MESGHOUNI, Khaled ; COLLART-DUTILLEUL, Simon ; ZIDI, Kamel ; GHEDIRA, Khaled   /   (2016)

CTS 2016, 14th IFAC Symposium on Control in Transportation Systems, TURQUIE, 9p

https://hal.archives-ouvertes.fr/hal-01727566/

Plus d'infos

Contributions au Diagnostic à Base de Modèles des Systèmes à Évènements Discrets

BOUSSIF, Abderraouf   /   (2016)

270p

Télécharger le document

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2016)

VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, TUNISIE, 11p

Télécharger le document

Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2016)

ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, CANADA, 6p

http://ieeexplore.ieee.org/document/7542874/
http://dx.doi.org/10.1109/ICPHM.2016.7542874

Plus d'infos

Risk analysis on level crossings using a causal Bayesian network based approach

LIANG, Ci ; GHAZEL, Mohamed ; CAZIER, Olivier ; EL KOURSI, El Miloudi   /   (2016)

WCTR 2016 - World Conference on Transport Research, CHINE, pp2167-2181

http://www.sciencedirect.com/science/article/pii/S2352146517307251
https://doi.org/10.1016/j.trpro.2017.05.418

Télécharger le document

Statistical Analysis of Collisions at French Level Crossings

LIANG, Ci ; GHAZEL, Mohamed ; EL KOURSI, El Miloudi ; CAZIER, Olivier   /   (2016)

The Third International Conference on Railway Technology: Research, Development and Maintenance, ITALIE, 15p

Plus d'infos

Contributions d'un modèle microscopique à la résolution du problème de construction d'une grille horaire et à la planification des activités de maintenance de l'infrastructure ferroviaire

ARENAS, Diego   /   (2016)

180p

Télécharger le document

Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires

YANGUI, Rahma   /   (2016)

171 p

https://tel.archives-ouvertes.fr/tel-01450737
https://tel.archives-ouvertes.fr/tel-01450737/file/Yangui_Rahma_DLE.pdf

Télécharger le document

Safety integrity level allocation shared or divergent practices in the railway domain

OUEDRAOGO, Kiswendsida Abel ; BEUGIN, Julie ; EL KOURSI, El Miloudi ; CLARHAUT, Joffrey ; RENAUX, Dominique ; LISIECKI, Frédéric   /   (2016)

International Railway Safety Council, France, 10p

Télécharger le document

Petri net diagnosability analyzer

LIU, Baisi ; GHAZEL, Mohamed   /   (2016)

11th International Design and Test Symposium - IDT 2016, Tunisie, 6p

Plus d'infos

Contribution à l'évaluation de la sécurité de systèmes de localisation ferroviaires basés sur les GNSS par la formalisation des concepts d'intégrité étendue

LEGRAND, Cyril   /   (2016)

192p

Télécharger le document

A µ calculus formulation of the diagnosability of discrete event systems

PERES, Florent ; GHAZEL, Mohamed   /   (2016)

International Journal of Critical Computer-Based Systems, 6, 4, 27p, doi: 10.1504/IJCCBS.2016.081806

http://dx.doi.org/10.1504/IJCCBS.2016.081806
http://www.inderscienceonline.com/loi/ijccbs

Plus d'infos

Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire

BEUGIN, Julie ; OUEDRAOGO, Kiswendsida Abel ; EL KOURSI, El Miloudi ; CLARHAUT, Joffrey ; RENAUX, Dominique ; LISIECKI, Frédéric   /   (2016)

Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionnement, FRANCE, 8p

Plus d'infos

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

LEJEUNE, Aurélien ; CHEVRIER, Rémy ; VANDANJON, Pierre Olivier ; RODRIGUEZ, Joaquin   /   (2016)

IET Intelligent Transport Systems, 10, 7, pp. 483-494, doi: 10.1049/iet-its.2014.0309

http://digital-library.theiet.org/content/journals/10.1049/iet-its.2014.0309

Télécharger le document

A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES

GHAZEL, Mohamed ; LIU, Baisi   /   (2016)

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p177-182

http://dx.doi.org/10.1109/WODES.2016.7497845

Plus d'infos

A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure

BOUSSIF, Abderraouf ; LIU, Baisi ; GHAZEL, Mohamed   /   (2016)

13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p237-244

http://dx.doi.org/10.1109/WODES.2016.7497854

Plus d'infos

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

LEGRAND, Cyril ; BEUGIN, Julie ; MARAIS, Juliette ; CONRARD, Blaise ; EL KOURSI, El Miloudi ; BERBINEAU, Marion   /   (2016)

Reliability Engineering and System Safety, 155, pp. 105-114, doi: 10.1016/j.ress.2016.04.011

http://www.journals.elsevier.com/reliability-engineering-and-system-safety
http://dx.doi.org/10.1016/j.ress.2016.04.011

Plus d'infos

A new analytical approach to evaluate the critical-event probability due to wireless communication errors in Train Control Systems

NGUYEN, Khanh ; BEUGIN, Julie ; BERBINEAU, Marion ; KASSAB, Mohamed   /   (2016)

IEEE Transactions on Intelligent Transportation Systems, 13p, doi: 10.1109/TITS.2016.2604043

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2016.2604043

Plus d'infos

Statistical automaton for verifying temporal properies and computing information on traces

FERLIN, Antoine ; WIELS, Virginie ; BON, Philippe   /   (2016)

International Journal of Computers Communications & Control, 11, 11.5, 12p, doi: 10.15837/ijccc.2016.5.2148

http://dx.doi.org/10.15837/ijccc.2016.5.2148
http://univagora.ro/jour/index.php/ijccc/index

Télécharger le document

Trace analysis from ERTMS engineering

FERLIN, Antoine ; COLLART-DUTILLEUL, Simon ; BON, Philippe ; WIELS, Virginie   /   (2016)

Comprail, International Conference on Railway Engineering Design and Operation, Espagne, 12p

http://www.wessex.ac.uk/conferences/2016/comprail-2016

Plus d'infos

RECIFE-MILP for real-time railway traffic optimization: main results and open issues

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2016)

WCRR 2016, 11th World Congress of Railway Research, Italie, 7p

Plus d'infos

Implementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules

FERLIN, Antoine ; BEN-AYED, Rahma ; SUN, Pengfei ; COLLART-DUTILLEUL, Simon   /   (2016)

TRA2016 - Moving Forward. Innovative Solutions for Tomorrow's Mobility, Pologne, 10p

http://www.traconference.eu/

Plus d'infos

The New Challenges of Rail Security

BOUDI, Zakaryae ; EL KOURSI, El Miloudi ; GHAZEL, Mohamed   /   (2016)

Journal of Traffic and Logistics Engineering, 5p

http://www.jtle.net/
http://www.jtle.net/index.php?m=content&c=index&a=show&catid=43&id=161

Télécharger le document

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

SAMA, Marcella ; PELLEGRINI, Paola ; D'ARIANO, Andrea ; RODRIGUEZ, Joaquin ; PACCIARELLI, Dario   /   (2016)

Transportation research - Part B : Methodological, 85, p89-108, doi: 10.1016/j.trb.2016.01.005

http://www.sciencedirect.com/science/journal/01912615
http://dx.doi.org/10.1016/j.trb.2016.01.005

Plus d'infos

Solving the real-time Railway Traffic Management Problem with Benders decomposition

KEITA, Kaba ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin   /   (2016)

ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 11p

Télécharger le document

Timetable Optimization to cope with Railway Infrastructure Maintenance

ARENAS, Diego ; PELLEGRINI, Paola ; RODRIGUEZ, Joaquin ; HANAFI, Said   /   (2016)

ROADEF 2016, 17ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, FRANCE, 2p

http://roadef2016.utc.fr/

Télécharger le document

Railway Accident Prevention and Infrastructure Protection

EL KOURSI, El Miloudi ; BRUYELLE, Jean Luc   /   (2016)

Journal of Civil Engineering and Architecture, 10, p96-107, doi: 10.17265/1934-7359/2016.01.010

http://www.davidpublisher.org/Home/Journal/JCEA
http://www.davidpublisher.org/Public/uploads/Contribute/56b19ed06cc92.pdf

Télécharger le document

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

PELLEGRINI, Paola ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin   /   (2016)

Journal of Rail Transport Planning & Management, 19p, doi: 10.1016/j.jrtpm.2016.01.002

http://dx.doi.org/10.1016/j.jrtpm.2016.01.002
http://www.sciencedirect.com/science/journal/22109706

Plus d'infos

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

QUAGLIETTA, Egidio ; PELLEGRINI, Paola ; GOVERDE, Rob ; ALBRECHT, Thomas ; JAEKEL, Birgit ; MARLIERE, Grégory ; RODRIGUEZ, Joaquin ; DOLLEVOET, Twan ; AMBROGIO, Bruno ; CARCASOLE, Danièle ; GIAROLI, Marco ; NICHOLSON, Gemma   /   (2016)

Transportation Research Part C: Emerging technologies, 63, p23-50, doi: 10.1016/j.trc.2015.11.014

http://dx.doi.org/10.1016/j.trc.2015.11.014
http://www.sciencedirect.com/science/journal/0968090X

Plus d'infos

Model-Based Diagnosis of Multi-Track Level Crossing Plants

LIU, Baisi ; GHAZEL, Mohamed ; TOGUYENI, Armand   /   (2016)

IEEE Transactions on Intelligent Transportation Systems, 17, 2, p546 - 556, doi: 10.1109/TITS.2015.2478910

http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
http://dx.doi.org/10.1109/TITS.2015.2478910

Plus d'infos
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr