Articles
2020
Optimisation du transport de marchandises pour les plateformes logistiques multimodales
124p
https://tel.archives-ouvertes.fr/tel-03346675
https://tel.archives-ouvertes.fr/tel-03346675/file/These_AHMED_Said.pdf
Système d'aide à la conduite automobile aux passages à niveau
Revue Générale des Chemins de Fer (RGCF), 306, pp78-86
https://revue-rgcf.com/en/revues/306/sommaire
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
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
Plus d'infosTuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata
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
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
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
A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets
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
Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net
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
Security and safety integrated approach for multimodal-hubs crisis management: a railway and airway proposition
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
Formalisation et résolution du problème de construction de grilles horaires robustes pour les réseaux ferrés denses
139p
https://tel.archives-ouvertes.fr/tel-03342328
https://tel.archives-ouvertes.fr/tel-03342328/file/These_CORNET_Selim.pdf
Assessing train timetable efficiency in a Mass Transit context using a data-based simulation method
IEEE ITSC 2020, 23rd IEEE International Conference on Intelligent Transportation Systems, GRECE, pp2404-2409
Plus d'infosComment 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), 302, pp12-19
https://www.revue-rgcf.com/fr/revues/302/sommaire
A two-stage framework for strategic railway timetabling based on multi-objective ant colony optimization
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 11p
Plus d'infosTransition vers une mobilité quotidienne bas carbone en périurbain
Construction21 France, 29, Dossier Mobilit?s d?carbon?es : Enjeux et solutions, 5p
Télécharger le documentRéinventer la mobilité avec et pour les habitants du périurbain - Cas de Loos en Gohelle
RDMI'20, 47ème Congrès ATEC ITS France, les Rencontres De la Mobilité Intelligente, FRANCE, 11p
Télécharger le documentAnalyse et spécification formelle des systèmes d'enclenchement ferroviaire basés sur les relais
184p
https://tel.archives-ouvertes.fr/tel-03215450
From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems
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
A Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem
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
IFAC CTS'2021, 16th IFAC Symposium On Control in Transportation Systems CTS, Lille, France, 8-10 juin 2021, Proceedings
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/
Towards a Model-Based Safety Assessment of Railway Operation Using GNSS Localization
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/
Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function
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
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
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
Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
International Journal of Control,
https://hal.archives-ouvertes.fr/hal-02953658
https://doi.org/10.1080/00207179.2020.1798021
A Compact Mixed Integer Linear Formulation for Safe Set Problems
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
The Stochastic Critical Node Problem over Trees
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
Scheduling of Autonomous Electric Vehicles On-Demand
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 10p
Plus d'infosGestion des modes de systèmes à événements discrets : application au passage de frontière sous ERTMS
161p
https://tel.archives-ouvertes.fr/tel-03576638
https://tel.archives-ouvertes.fr/tel-03576638/file/Hela_Kadri_DLE.pdf
Optimisation combinatoire intégrée de la gestion du matériel roulant et de la circulation ferroviaire dans les gares de passagers
89p
Télécharger le documentSolution algorithms for the generalized train unit shunting problem
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
A three-step Benders decomposition for the real-time Railway Traffic Management Problem
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
Advanced model-based risk reasoning on automatic railway level crossings
Safety Science, 124, pp1-11, doi: 10.1016/j.ssci.2019.104592
https://www.sciencedirect.com/science/article/pii/S0925753519322039?utm_campaign=STMJ_75273_AUTH_SERV_PPUB&utm_medium=email&utm_dgroup=Email1Publishing&utm_acid=21557667&SIS_ID=0&dgcid=STMJ_75273_AUTH_SERV_PPUB&CMX_ID=&utm_in=DM643298&utm_source=AC_30&utm_term=Email%201%20Publishing_TLSH
https://doi.org/10.1016/j.ssci.2019.104592
Integrating yard, network and optimisation models towards real-time optimisation of rail freight yard operations
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
A Conditional Time-Intervals formulation of the real-time Railway Traffic Management Problem
IFAC-PapersOnLine, 54, 2, pp187-194, doi: 10.1016/j.ifacol.2021.06.046
https://doi.org/10.1016/j.ifacol.2021.06.046
Energy-efficient multi-train operations in railway networks considering traffic perturbations
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE, 20p
Plus d'infosReal-Time Optimization of Energy Consumption in Railway Networks
EWGT 2021, 24th Euro Working Group on Transportation Meeting, PORTUGAL, 8p
Télécharger le documentAnt Colony Optimization for Energy-Efficient Train Operations
GECCO 2021, Genetic and Evolutionary Computation Conference Companion, FRANCE, pp75-76
https://doi.org/10.1145/3449726.3459436
https://gecco-2021.sigevo.org/HomePage
An improved approach for train routing selection in large railway stations
RailBeijing 2021, 9th International Conference on Railway Operations Modelling and Analysis (ICROMA), CHINE,
Plus d'infosTrain routing selection problem: Ant colony optimization versus integer linear programming
IFAC-PapersOnLine, 54, 2, pp167-172, doi: 10.1016/j.ifacol.2021.06.060
https://doi.org/10.1016/j.ifacol.2021.06.060
Business Processes Meet Spatial Concerns: the sBPMN Verification Framework
FM 2021, International Symposium on Formal Methods, CHINE,
https://hal-cnrs.archives-ouvertes.fr/hal-03289951
https://lcs.ios.ac.cn/fm2021/
Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations
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/
Formal modeling of a new On-board Train integrity System ETCS Compliant
ESREL 2021, 31st European Safety and Reliability Conference, FRANCE, 9p
https://easychair.org/smart-program/ESREL2021/
A new framework for Mobility Allowance Shuttle Transit (MAST)
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
Mixed-Integer Linear Programming (MILP) formulation for a Mobility Allowance Shuttle Transit (MAST)
INFORMS Annual Meeting, ETATS-UNIS, 1p
http://dx.doi.org/10.13140/RG.2.2.23703.50088
https://hal.archives-ouvertes.fr/hal-03544169
Closed-loop incremental stability for efficient symbolic control of non-linear systems
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
Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains
ESREL 2021, 31st European Safety And Reliability Conference, FRANCE, 8p
https://easychair.org/smart-program/ESREL2021/
Merging Railway Standard Notations in a Formal DSL-Based Framework
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
2016-2019
Studies on the validity of the fixed-speed approximation for the real time Railway Traffic Management Problem
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
Résolution du problème de yard à 1-étape
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
Methods for quantitative assessment of passenger flow influence on train dwell time in dense traffic areas
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
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B
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
Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure
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
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
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
Event-B Decomposition Analysis for Systems Behavior Modeling
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
Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems
ICSOFT 2019, 14th International Conference on Software Technologies, TCHÈQUE, RÉPUBLIQUE, pp287-297
Plus d'infosFormal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model
ER'19, 38th International Conference on Conceptual Modeling, BRESIL, 14p
Plus d'infosB-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
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
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
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
Towards a tool-based domain specific approach for railway systems modeling and validation
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
Formal Approach to Dynamic SoS Design
ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, 1p
Télécharger le documentFormal Approach to Dynamic SoS Design
ENASE'19, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, GRECE, pp377-384
https://dx.doi.org/10.5220/0007730903770384
A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Intervals
Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), SUEDE, 20p
Plus d'infosA model-based system engineering approach to manage railway safety-related decisions
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
Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology
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
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), 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
Application of fuzzy theory for identifying the required availability of an autonomous localization unit in European Train Control System
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
A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization
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
Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP
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
A Formal Approach for Multi-occurrence Crisis Management
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
Using Bayesian Networks for the Purpose of Risk Analysis at Railway Level Crossings
CTS'18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 8p
Plus d'infosA Diagnosis Study on a Train Passenger Access System using Petri Net Models
CTS '18, 15th IFAC Symposium on Control in Transportation Systems, ITALIE, 6p
Plus d'infosCollecting evidence from distributed sources to evaluate railway suicide and trespass prevention measures
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
Design solutions to improve resilience of metro vehicle to blast events
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
Applications of train routing selection methods for real-time railway traffic management
ITSC 2018, 21st International Conference on Intelligent Transportation Systems, ETATS-UNIS, pp72-77
https://ieeexplore.ieee.org/document/8569555
An MDA Approach for the Specification of Relay-Based Diagrams
MEDI 2018, 8th International Conference on Model and Data Engineering, MAROC, 13p
https://doi.org/10.1007/978-3-030-02852-7_2
Modelling and verification: Performance evaluation and test: part 2
International Journal of Critical Computer Based Systems, 8, 3/4, pp231-233
Télécharger le documentSatellite positioning in the transport domain: applications and challenges
Data Science and Mobility Conference, SUISSE, 18p
https://archiveweb.epfl.ch/dsmc18.epfl.ch/
Fault diagnosis of discrete-event systems based on the symbolic observation graph
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
Towards Semantic Interpretation of Goal-Oriented Safety Decision based on Foundational Ontology
ICCSIT 2018, 11th International Conference on Computer Science and Information Technology, FRANCE, 9p
Plus d'infosComparaison de l'approche sécurité multi-domaine
Lambda-Mu, 21ème Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, FRANCE, 7p
Plus d'infosImproving Safety By Integrating Dysfunctional Analysis Into The Design Of Railway Systems
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
Efficient diagnosability assessment via ILP optimization: a railway benchmark
IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, ITALIE, 8p
Plus d'infosA passenger flow oriented security and safety approach in international railway stations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosProposition of a formal model for crisis management in the context of high-speed train networks in border areas
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosAn Automated Method for the Study of Human Reliability in Railway Supervision Systems
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
Model-Based Monitoring of a Train Passenger Access System
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
Maintenance on the Railway Network: Disruptions and re-scheduling
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
EGNOS service evaluation in railway environment for safety-critical operations
TRA 2018, 7th Transport Research Arena, AUTRICHE, 10p
Plus d'infosOptimization of a railway freight yard in real time
EURO'18, 29th European Conference On Operational Research, ESPAGNE, 1p
Plus d'infosMaintenance on the Railway Network: Disruptions and re-scheduling
EURO/ALIO '18, International Conference on Applied Combinatorial Optimization, ITALIE, 8p
Télécharger le documentOptimiser une gare de triage en temps réel
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 documentLe projet MORIPAN « Modèle de Risque au Passage à Niveau »
Revue Générale des Chemins de Fer (RGCF), 281, 9p
https://www.revue-rgcf.com/fr/revues/281/sommaire
Timetable rearrangement to cope with railway maintenance activities
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
Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control
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
Toward an Application Guide for Safety Integrity Level Allocation in Railway Systems
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
Analyzing risky behavior of motorists during the closure cycle of railway level crossings
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
On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
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
Contribution of human factors and chronobiology vigilance in public transport safety in France
Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22
https://hal.archives-ouvertes.fr/hal-02424067
Contribution of human factors and chronobiology vigilance in public transport safety in France
Annual Special issue of Magazine on The Rail Industry of India, 1, 2, pp01-22
https://hal.archives-ouvertes.fr/hal-02424023
Bayesian Network Modeling Applied on Railway Level Crossing Safety
RSSRail 2017 - 2nd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, ITALIE, 15p
Télécharger le documentDécomposition de Benders pour la gestion opérationnelle du trafic ferroviaire
132p
Télécharger le documentDIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 2p
Télécharger le documentDPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 14p
Télécharger le documentDiagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur
MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, FRANCE, 15p
Télécharger le documentAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
DX'17 - 28th International Workshop on Principles of Diagnosis, ITALIE, p8
Télécharger le documentAn Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study
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
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems
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
RECIFE-SAT: A MILP-based algorithm for the railway saturation problem
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
A risk assessment study on accidents at French level crossings using Bayesian belief networks
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
Developing accident prediction model for railway level crossings
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
A new insight on the risky behavior of motorists at railway level crossings: An observational field study
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
A survey of lubrication techniques of railway switches and crossings
Railway Engineering-2017, ROYAUME-UNI, 11p
Plus d'infosAnt Colony Optimization for train routing selection: operational vs tactical application
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
A CPN/B method transformation framework for railway safety rules formal validation
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
The potential of the routing selection problem in real-time railway traffic management
RailLille2017 - 7th International Conference on Railway Operations Modelling and Analysis, France, 19p
Télécharger le documentA Benders' decomposition for the real-time Railway Traffic Management Problem
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 19p
Télécharger le documentA Survey of GNSS-Based Research and Developments for the European Railway Signaling
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
Timetable Optimization during Railway Infrastructure Maintenance
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 20p
Plus d'infosBoosting the performance of railway traffic management through the reformulation of RECIFE-MILP
7th International Conference on Railway Operations Modelling and Analysis - Rail Lille, France, 16p
Plus d'infosTrain timetable rearrangement facing infrastructure maintenance activities
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 documentRé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 Transport environnement circulation, 232, pp6-7
https://atec-its-france.com/boutique/tec-232/
https://atec-its-france.com/extrait-pdf/?revue=8398
A decomposition approach for the real time Railway Traffic Management Problem
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 documentA Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation
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/
On the tactical and operational train routing selection problem
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
Sysml formalization of the disruption management process in european railways
96th Transportation Research Board Annual Meeting, Etats-Unis, 1p
Télécharger le documentLes risques psychosociaux dans la politique Européenne du développement durable
Colloque international Union Européenne et développement durable, Défis et perspectives, France, P20
https://hal.archives-ouvertes.fr/hal-02424644
Contribution of chronobiology vigilance in public transport safety
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
Transportation safety assessment methodology based on artificial intelligence techniques
International Journal of Computing Science and Communication, 1, 1, pp22-30
https://hal.archives-ouvertes.fr/hal-02423988
Knowledge based system for the evaluation of safety and the prevention of railway accidents
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
CLASCA: Learning System for Classification and Capitalization of Accident Scenarios of Railway
International Journal of Engineering Research and Applications, 6, 8, pp91-98
https://hal.archives-ouvertes.fr/hal-02423765
Methods and Tools to Assist the Acquisition, Modelling, Capitalization and Assessment of the Safety of Transport
International Journal of Emerging Technology and Advanced Engineering, 6, 8, pp25-35
https://hal.archives-ouvertes.fr/hal-02423763
Contribution of Human factors and chronobiology vigilance in public transport safety in France
Magazine on The Rail Industry, 1, 2, pp49-52
https://hal.archives-ouvertes.fr/hal-02423768
Knowledge acquisition and machine learning: two complementary approaches to assessment of safety of rail transport
Journal of Engineering Precious Research and Applications, 1, 3, pp01-09
https://hal.archives-ouvertes.fr/hal-02423971
A branch-and-cut algorithm for the truck dock assignment problem with operational time constraints
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
A Hybrid Method for Assigning Containers to AGVs in the Dynamic Environment of Container Terminals
CTS 2016, 14th IFAC Symposium on Control in Transportation Systems, TURQUIE, 9p
https://hal.archives-ouvertes.fr/hal-01727566/
Contributions au Diagnostic à Base de Modèles des Systèmes à Évènements Discrets
270p
Télécharger le documentUsing Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study
VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, TUNISIE, 11p
Télécharger le documentIntermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework
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
Risk analysis on level crossings using a causal Bayesian network based approach
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
Statistical Analysis of Collisions at French Level Crossings
The Third International Conference on Railway Technology: Research, Development and Maintenance, ITALIE, 15p
Plus d'infosContributions 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
180p
Télécharger le documentModélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires
171 p
https://tel.archives-ouvertes.fr/tel-01450737
https://tel.archives-ouvertes.fr/tel-01450737/file/Yangui_Rahma_DLE.pdf
Safety integrity level allocation shared or divergent practices in the railway domain
International Railway Safety Council, France, 10p
Télécharger le documentPetri net diagnosability analyzer
11th International Design and Test Symposium - IDT 2016, Tunisie, 6p
Plus d'infosContribution à 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
192p
Télécharger le documentA µ calculus formulation of the diagnosability of discrete event systems
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
Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire
Lambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionnement, FRANCE, 8p
Plus d'infosTowards eco-aware timetabling: evolutionary approach and cascading initialisation strategy for the bi-objective optimisation of train running times
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
A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES
13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p177-182
http://dx.doi.org/10.1109/WODES.2016.7497845
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure
13th International Workshop on Discrete Event Systems - WODES 2016, Chine, p237-244
http://dx.doi.org/10.1109/WODES.2016.7497854
From extended integrity monitoring to the safety evaluation of satellite-based localisation system
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
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, 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
Statistical automaton for verifying temporal properies and computing information on traces
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
Trace analysis from ERTMS engineering
Comprail, International Conference on Railway Engineering Design and Operation, Espagne, 12p
http://www.wessex.ac.uk/conferences/2016/comprail-2016
RECIFE-MILP for real-time railway traffic optimization: main results and open issues
WCRR 2016, 11th World Congress of Railway Research, Italie, 7p
Plus d'infosImplementation of ERTMS: a methodology based on formal methods and simulation with respect to French national rules
TRA2016 - Moving Forward. Innovative Solutions for Tomorrow's Mobility, Pologne, 10p
Plus d'infosThe New Challenges of Rail Security
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
Ant colony optimization for the real-time train routing selection problem
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
Solving the real-time Railway Traffic Management Problem with Benders decomposition
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 documentTimetable Optimization to cope with Railway Infrastructure Maintenance
ROADEF 2016, 17è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 documentRailway Accident Prevention and Infrastructure Protection
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
A detailed analysis of the actual impact of real-time railway traffic management optimization
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
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, 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
Model-Based Diagnosis of Multi-Track Level Crossing Plants
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