A ! S
A ! S
A ! S
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Principes d’exploration de séquences par FIGSEQ<br />
Modèle FIGARO<br />
Paramètres<br />
d’entrée<br />
Cible : ensemble d’états du système<br />
Critère de troncature : probabilité,<br />
nombre de transitions, ...<br />
Temps de mission<br />
Séquence :<br />
succession d’événements<br />
Etat initial<br />
Etat du système<br />
Evénement :<br />
- défaillance, réparation.<br />
- associé à une loi de<br />
probabilité<br />
Arrêt sur cible<br />
Arrêt sur critère de troncature<br />
Etat absorbant<br />
les séquences obtenues à partir d'un BDMP sont en grande majorité<br />
minimales -> intéressantes pour l'analyse des résultats