COSYSESTAS Articles Afficher le menu principal

Articles

2018

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

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

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

BOUSSIF, Abderraouf ; GHAZEL, Mohamed   /   (2018)

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

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

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

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

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

Maintenance on the Railway Network: Disruptions and re-scheduling

DELEPLANQUE, Samuel   /   (2018)

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

Télécharger le document

Optimization of a railway freight yard in real time

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

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

Plus d'infos

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

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

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

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

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

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

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

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

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
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr

2017

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

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

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

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 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

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

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

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

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

KEITA, Kaba   /   (2017)

132p

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 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

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

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

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

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

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
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr

2016

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

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

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

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

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

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

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

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

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

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

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

Plus d'infos

Petri net diagnosability analyzer

LIU, Baisi ; GHAZEL, Mohamed   /   (2016)

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

Plus d'infos

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

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

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

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
Pour aller plus loin, consulter l'archive institutionnelle : http://madis-externe.ifsttar.fr