ESA PetriNet version Hybride : Outil d'Analyse de Fiabilité des Systèmes Hybrides

Résumé : Ce papier pr'esente une nouvelle version d'ESA PetriNet (http ://www.laas.fr/ESA), un outil de g'en'eration de scénarii redout'es. L'outil permet toujours de dériver les scénarii qui conduisent le système dans un état redouté ou critique, en considérant, cette fois, directement le modèle hybride du système (Réseaux de Petri Prédicat-Transitions Différentiels (RdP PTD)). Ainsi, l'abstraction temporelle faite pour les versions précédentes d'ESA PetriNet n'est plus nécessaire, puisque l'algorithme implémenté traite directement le modèle hybride (association des réseaux de Petri avec des équations différentielles). De plus, l'outil délivre les scénarii minimaux, c'est-à-dire qu'il fournit l'information strictement nécessaire pour le concepteur..
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00446438
Contributor : Myriam Andrieux <>
Submitted on : Tuesday, January 12, 2010 - 4:17:28 PM
Last modification on : Friday, June 14, 2019 - 6:31:05 PM

Identifiers

  • HAL Id : hal-00446438, version 1

Citation

Romaric Guillerm, Hamid Demmou, Nabil Sadou. ESA PetriNet version Hybride : Outil d'Analyse de Fiabilité des Systèmes Hybrides. Evaluation des performances et maîtrise des risques technologiques pour les systèmes industriels et énergétiques, May 2009, Le Havre, France. pp.NC. ⟨hal-00446438⟩

Share

Metrics

Record views

199