A Method for Deriving Feared Scenarios in Hybrid Systems

  • Malika Medjoudj
  • Sarhane Khalfaoui
  • Hamid Demmou
  • Robert Valette


The long-term objective is to evaluate the dynamic reliability of mechatronic systems. We propose in this paper a new version of the algorithm that allows deriving critical scenarios from a Petri net model. It is more accurate because it takes into account some continuous aspects of the system. These scenarios characterise how the system leaves the normal operation to go to the feared state by determining the sequences of actions and state changes leading to a dangerous situations.


Partial Order Partial State Linear Logic Fault Tree Mechatronic System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Lee, W. S.; Grosh, D. L.; Tillman, F. A., Lie, C. H., «Fault tree analysis, methods, and applications — A review », IEEE Transactions on Reliability, August 1, 1985; ISSN 0018-9529; r-34, page 194-203.Google Scholar
  2. 2.
    Chris J. Garret, Sergio B. Guarro, George E. APOSTOLAKIS, «The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems », IEEE Transactions On Systems, Man, and Cybernetics, Vol. 25, No. 5, May 1995.Google Scholar
  3. 3.
    F. Dufour, Y. Dutuit, “Dynamic Reliability: A new model”, λμ13-ESREL2002 European Coférence, Lyon-France-18 au 21 Mars 2002.Google Scholar
  4. 4.
    P.E. Labeau: “A Survey on Monte Carlo Estimation of Small Failure Risks in Dynamic Reliability”. In International Journal of Electronics and Communications, Vol. 52, pp. 205–211, 1998.Google Scholar
  5. 5.
    R. Champagnat, P. Esteban, H. Pingaud, R. Valette, “Modelling and simulation of a hybrid system through PrITr PN DAE model”, ADPM’98 3rd International Conference on Automation of Mixed Processes, 19-20 March 1998, Reims, France p. 131–137.Google Scholar
  6. 6.
    H. Demmou, S. Khalfaoui, N. Rivière, E. Guilhem, “Extracting critical scenarios from a Petri net model using linear logic” JournalGoogle Scholar
  7. 7.
    S. Khalfaoui, H. Demmou, E. Guilhem, R. Valette “An algorithm for deriving critical scenarios in mechatronic systems” IEEE SMC (System Man and Cybernetic”2002, 6-9 October, Hammamet TunisieGoogle Scholar
  8. 8.
    J.Y Girard, “Linear Logic”, Theoretical Computer Science, 50, 1987, p. 1–102.CrossRefMATHMathSciNetGoogle Scholar
  9. 9.
    B. Pradin-Chézalviel, R. Valette, L.A. Künzle: Scenario duration characterization of t-timed Petri nets using linear logic, IEEE PNPM’99, 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 6-10, 1999, p.208–217.Google Scholar
  10. 10.
    S. Khalfaoui, E.Guilhem, H. Demmou, R. Valette, “Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques”, λμ13-ESREL2002 European Conférence, Lyon-France-18 au 21 mars 2002.Google Scholar

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Malika Medjoudj
    • 1
  • Sarhane Khalfaoui
    • 1
    • 2
  • Hamid Demmou
    • 1
  • Robert Valette
    • 1
  1. 1.LAAS-CNRSToulouseFrance
  2. 2.PSA Peugeot CitroënLa Garenne ColombesFrance

Personalised recommendations