An algorithm for deriving critical scenarios in mechatronic systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2002, Pages 222-227

  Khalfaoui, Sarhane ^a,b   Demmou, Hamid ^a   Guilhem, Edwige ^b   Valette, Robert ^a  

^a LAAS CNRS   (France)

^b CENTRO RICERCHE FIAT   (Italy)

Author keywords

Mechatronic systems; Petri net; Reliability in design; Safety

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; MATHEMATICAL MODELS; PETRI NETS;

CONTINUOUS DYNAMICS;

MECHATRONICS;

EID: 0037670127     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. G. Moncelet, «Application des réseaux de Petri à l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile», Thèse de Doctorat, N°3076, Université Paul Sabatier, Toulouse, France.
2. rd, International Conference on Automation of Mixed Processes, March 19-20, 1998, Reims, France, p. 131-137.
3. S. Khalfaoui, E. Guilhem, H. Demmou, R. Valette, «A method for deriving critical scenarios in mechatronic systems», λμ13, Europeen Conference on System Dependability and Safety, March 18-20, 2002, Lyon, France.
4. J.Y. Girard, «Linear Logic», Theoretical Computer Science, 50, 1987, p.1-102.
5. B. Pradin-Chézalviel, R. Valette, L.A. Künde, «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.