Skip to Main content
Number of documents

57

Publications


Journal articles19 documents

  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. On-the-Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. Asian Journal of Control, 2018, 20 (1), 13p. ⟨10.1002/asjc.1508⟩. ⟨hal-01463809⟩
  • Abderraouf Boussif, Mohamed Ghazel. Model-Based Monitoring of a Train Passenger Access System. IEEE Access, IEEE, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩. ⟨hal-01871377⟩
  • Olivier Cazier, Ci Liang, Mohamed Ghazel. Le projet MORIPAN « Modèle de Risque au Passage à Niveau ». Revue Générale des Chemins de Fer (RGCF), 2018, 9p. ⟨hal-01799972⟩
  • Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Fault diagnosis of discrete-event systems based on the symbolic observation graph. International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩. ⟨hal-01928797⟩
  • Ci Liang, Mohamed Ghazel, Olivier Cazier, El Miloudi El Koursi. A new insight on the risky behavior of motorists at railway level crossings: An observational field study. Accident Analysis and Prevention, Elsevier, 2017, 108, pp.181-188. ⟨10.1016/j.aap.2017.08.030⟩. ⟨hal-01631543⟩
  • Ci Liang, Mohamed Ghazel. A risk assessment study on accidents at French level crossings using Bayesian belief networks. International Journal of Injury Control and Safety Promotion, 2017, 15p. ⟨10.1080/17457300.2017.1416480⟩. ⟨hal-01680200⟩
  • Mohamed Ghazel. A Control Scheme for Automatic Level Crossings under the ERTMS/ETCS Level 2/3 Operation. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2017, 18 (10), 13p. ⟨10.1109/TITS.2017.2657695⟩. ⟨hal-01463858⟩
  • Florent Peres, Mohamed Ghazel. A µ calculus formulation of the diagnosability of discrete event systems. International Journal of Critical Computer-Based Systems, Inderscience, 2016, 6 (4), 27p. ⟨10.1504/IJCCBS.2016.081806⟩. ⟨hal-01463704⟩
  • Zakaryae Boudi, El Miloudi El Koursi, Mohamed Ghazel. The New Challenges of Rail Security. Journal of Traffic and Logistics Engineering, 2016, 5p. ⟨hal-01297646⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2016, 17 (2), p546 - 556. ⟨10.1109/TITS.2015.2478910⟩. ⟨hal-01279254⟩
  • Mohamed Ghazel, Jing Yang, El Miloudi El Koursi. A pattern-based method for refining and formalizing informal specifications in critical control systems. Journal of Innovation in Digital Ecosystems, Elsevier 2015, 2 (1-2), p32-44. ⟨10.1016/j.jides.2015.11.001⟩. ⟨hal-01250680⟩
  • Mohamed Ghazel, El Miloudi El Koursi. Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2014, 11p. ⟨10.1109/TITS.2013.2294874⟩. ⟨hal-00984639⟩
  • Mohamed Ghazel. Formalizing a subset of ERTMS/ETCS specifications for verification purposes. Transportation research. Part C, Emerging technologies, Elsevier, 2014, p60-75. ⟨10.1016/j.trc.2014.02.002⟩. ⟨hal-00985704⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyéni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC Proceedings Volumes, Elsevier, 2014, 47 (3), pp.1784 - 1789. ⟨10.3182/20140824-6-ZA-1003.02336⟩. ⟨hal-01740388⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩. ⟨hal-00909623⟩
  • Florent Peres, Jing Yang, Mohamed Ghazel. A Formal Framework for the Formalization of Informal Requirements. The International Journal of Soft Computing and Software Engineering, 2012, 2 (8), p14-27. ⟨10.7321/jscse.v2.n8.2⟩. ⟨hal-00852373⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2012, 3 (2), pp.714-723. ⟨10.1109/TITS.2011.2178238⟩. ⟨hal-00801030⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Assisting Temporal Requirement Specification. Computer Technology and Application, 2012, 3 (1), pp.47-55. ⟨hal-00801029⟩
  • Mohamed Ghazel, Armand Toguyeni, Pascal Yim. State Observer for DES Under Partial Observation with Time Petri Nets. Discrete Event Dynamic Systems, Springer Verlag, 2009, 19 (2), pp.137-165. ⟨10.1007/s10626-009-0060-0⟩. ⟨hal-00801148⟩

Conference papers34 documents

  • El Miloudi El Koursi, Virginie Deniau, Sébastien Ambellouis, Mohamed Ghazel, Christophe Gransart, et al.. Quels axes pour la sûreté dans les transports terrestres collectifs?. Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02074285⟩
  • Francesco Basile, Gianmaria de Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel. Efficient diagnosability assessment via ILP optimization: a railway benchmark. IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p. ⟨hal-01877250⟩
  • Abderraouf Boussif, Mohamed Ghazel. A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems. ACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩. ⟨hal-01647001⟩
  • Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8. ⟨hal-01647904⟩
  • Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El Miloudi El Koursi. 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, Nov 2017, Pistoia, Italy. 15p. ⟨hal-01815714⟩
  • Baisi Liu, Mohamed Ghazel, Jonathan Paragreen, Rahi Rahbari. A survey of lubrication techniques of railway switches and crossings. Railway Engineering-2017, Jun 2017, Edinburgh, France. 11p. ⟨hal-01685555⟩
  • Abderraouf Boussif, Mohamed Ghazel. Diagnosticabilité 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, Nov 2017, Marseille, France. 15p. ⟨hal-01647847⟩
  • Abderraouf Boussif, Mohamed Ghazel, Kais Klai. DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01653191⟩
  • Abderraouf Boussif, Mohamed Ghazel. An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. VECOS 2017 - 11th International Conference on Verification and Evaluation of Computer and Communication Systems, Aug 2017, Montreal, Canada. pp 92-107, ⟨10.1007/978-3-319-66176-6_7⟩. ⟨hal-01659407⟩
  • Abderraouf Boussif, Mohamed Ghazel. DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems. 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. ⟨hal-01657433⟩
  • Baisi Liu, Mohamed Ghazel. Petri net diagnosability analyzer. 11th International Design and Test Symposium - IDT 2016, Dec 2016, Hammamet, Tunisia. 6p. ⟨hal-01463870⟩
  • Ci Liang, Mohamed Ghazel, El Miloudi El Koursi, Olivier Cazier. Statistical Analysis of Collisions at French Level Crossings. The Third International Conference on Railway Technology: Research, Development and Maintenance, Apr 2016, Cagliari, Italy. 15p. ⟨hal-01587715⟩
  • Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩. ⟨hal-01374116⟩
  • Mohamed Ghazel, Baisi Liu. A Customizable Railway Benchmark to Deal with Fault Diagnosis Issues in DES. 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p177-182, ⟨10.1109/WODES.2016.7497845⟩. ⟨hal-01374092⟩
  • Abderraouf Boussif, Mohamed Ghazel. Using 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, Oct 2016, Tunis, Tunisia. 11p. ⟨hal-01646486⟩
  • Abderraouf Boussif, Mohamed Ghazel. Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework. ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩. ⟨hal-01646340⟩
  • Abderraouf Boussif, Mohamed Ghazel. Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking. 5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p. ⟨hal-01471419⟩
  • Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems. VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p. ⟨hal-01471590⟩
  • Abderraouf Boussif, Mohamed Ghazel. Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224281⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. International Workshop Petri Nets for Adaptive Discrete-Event Control Systems, Jun 2014, Tunisia. 16p. ⟨hal-00999406⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p. ⟨hal-00999380⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Toward an Efficient Approach for Diagnosability Analysis of DES modeled by Labeled Petri Nets. 13th European Control Conference - ECC'2014, Jun 2014, France. 6p. ⟨hal-00999387⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyéni. Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets. 2014 European Control Conference (ECC), Jun 2014, Strasbourg, France. ⟨10.1109/ECC.2014.6862505⟩. ⟨hal-01740376⟩
  • Florent Peres, Mohamed Ghazel. An Operative Formulation of the Diagnosability of Discrete Event Systems Using a Single Logical Framework. VECOS 2014 - 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2014, Bejaia, France. 12p. ⟨hal-01647046⟩
  • Patrick Sondi, Marion Berbineau, Mohamed Kassab, Martine Wahl, Christophe Gransart, et al.. Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS. TRA - Transport Research Arena, Apr 2014, Paris, France. ⟨hal-00985733⟩
  • Jing Yang, Mohamed Ghazel, El Miloudi El Koursi. From Formal Specifications to Efficient Test Scenarios Generation. ICALT, International Conference on Advanced Logistics and Transport, May 2013, Tunisia. 6p, ⟨10.1109/ICAdLT.2013.6568431⟩. ⟨hal-00853577⟩
  • Khaled Bahloul, François Defossez, Mohamed Ghazel, Simon Collart-Dutilleul. Adding Technological Solutions for Safety Improvement at Level Crossings: a Functional Specification. TRA, Transport Research Arena, Apr 2012, France. 10p. ⟨hal-00854272⟩
  • Mohamed Ghazel, Florent Peres, Atef Belhaj Alaya, Abderrazak Jemai. A DBMS Framework for Diagnosability Analysis of Discrete Event Systems. DSN 2012, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2012, France. 2p. ⟨hal-00854280⟩
  • Baisi Liu, Mohamed Ghazel, Armand Toguyeni. K-diagnosability of labeled Petri nets. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Nicolas Gouvy, Oct 2012, Villeneuve d'Ascq, France. ⟨hal-00780283⟩
  • Khaled Bahloul, François Defossez, Mohamed Ghazel, Simon Collart-Dutilleul. Adding technological solutions for safety improvement at level crossings: a functional specification. Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838054⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Patterns-Based Assistance for Temporal Requirement Specification. Software Engineering Research and Practice (SERP2011), Jul 2011, Las Vegas, United States. pp.1-7. ⟨hal-00801032⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Time-constrained systems validation using mda model transformation. A railway case study. 8th International Conference of Modeling and Simulation MOSIM'10, May 2010, Hammamet, Tunisia. pp.1-10. ⟨hal-00801033⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. 7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52. ⟨hal-00801135⟩
  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers. Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124. ⟨hal-00801584⟩

Books1 document

  • Mohamed Ghazel. Surveillance des systèmes à événements discrets à l'aide des réseaux de Petri temporels. Editions Universitaires Européennes, 160p, 2010, 978-613-1-50009-1. ⟨hal-01959360⟩

Book sections1 document

  • Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Timed Specification Patterns for System Validation. A railway case study. Juan Andrade Cetto, Jean-Louis Ferrier Joaquim Filipe. Informatics in Control, Automation and Robotics, Lecture Notes in Electrical Engineering, Springer Berlin Heidelberg, pp.121-134, 2011, 978-3-642-19538-9. ⟨10.1007/978-3-642-19539-6_8⟩. ⟨hal-00801031⟩

Reports2 documents

  • David Gouyon, Dragos Dobre, Florent Peres, Jean-François Pétin, Mohamed Ghazel. Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS . [Rapport de recherche] CRAN. 2012. ⟨hal-01215741⟩
  • David Gouyon, Jean-François Pétin, Florent Peres, Mohamed Ghazel. Lot 5 - Méthode de spécification d’une architecture de commande à base de COTS : cas d’étude simplifié . [Rapport de recherche] CRAN. 2012. ⟨hal-01215744⟩