S. Acosta, C. Acosta, and N. Siu, Dynamic event trees in accident sequence analysis: application to steam generator tube rupture. Reliability Engineering and System Safety 41, pp.135-154, 1993.

T. Aldemir, Computer-Assisted Markov Failure Modeling of Process Control Systems, IEEE Transactions on Reliability, vol.36, issue.1, 1987.
DOI : 10.1109/TR.1987.5222318

A. Arnold, Systèmes de transitions et sémantique des processus communicants, 1992.

. Alur, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems I, Lecture Notes in Computer Science 736, pp.209-229, 1993.
DOI : 10.1007/3-540-57318-6_30

. Alur, The algorithmic analysis of hybrid systems, Theoretical Computer Science, issue.138, pp.3-34, 1995.

. Alur, Symbolic analysis of hybride systems, 36th Annual IEEE Conference on Decision and Control 5CDC 1997, pp.702-707, 1997.

. Becker, Dynamic reliability under random shocks. Reliability Engineering System Safety, pp.239-251, 2002.

A. Belhadj, M. Belhadj, and T. Aldemir, Some computational improvements in process system reliability and safety analysis using dynamic methodologies, Reliability Engineering & System Safety, vol.52, issue.3, pp.339-347, 1996.
DOI : 10.1016/0951-8320(95)00144-1

. Borgonovo, A Monte Carlo methodological approach to plant availability modeling with maintenance, aging and obsolescence, Reliability Engineering & System Safety, vol.67, issue.1, pp.61-73, 2000.
DOI : 10.1016/S0951-8320(99)00046-0

. Cojazzi, . Cacciabue, G. Cojazzi, and P. C. Cacciabue, The DYLAM approach for the reliability analysis of systems with dynamic interactions, 1993.

. Cojazzi, . Cacciabue, G. Cojazzi, and P. C. Cacciabue, The DYLAM approach for the reliability analysis of systems with dynamic interactions. Reliability Engineering and Systems Safety 52, pp.279-296, 1996.

D. , A. David, R. Alla, and H. , Du grafcet aux réseau de Petri, 1989.

. Dejean, Développement de modèles pour la gestion intégrée des risques pour les systèmes de production pétroliers offshore. Utilisation de réseaux de Petri Stochastiques interprétés, 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005.

M. Desgrouas, M. Desgrouas, and S. Mercier, Comportement asymptotique d'un exemple de fiabilité dynamique. 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005.

. Devooght, . Smidts, J. Devooght, and C. Smidts, Probabilistic reactor dynamics ? I: The theory of continuous event trees. Nuclear science and engineering, pp.229-240, 1992.

J. Devooght and P. E. Labeau, Moments of the distributions in probabilistic dynamics, Annals of Nuclear Energy, vol.22, issue.2, pp.97-108, 1995.
DOI : 10.1016/0306-4549(94)00035-D

D. Dufor, F. Dufour, and Y. Dutuit, Dynamic Reliability: A new model, Fiabilité dynamique: un nouveau modèle, Lambda mu 13?ESREL, European Conférence, pp.350-353, 2002.

. Dutuit, Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases, Reliability Engineering & System Safety, vol.55, issue.2, pp.117-124, 1997.
DOI : 10.1016/S0951-8320(96)00108-1

R. German, Performance analysis of Communication systems: modeling with non ? markovian stochastic Petri nets, 2000.

. Henzinger, Algorithmic analysis of nonlinear hybrid systems, Proceedings of the 7th International Conference on computer aided verification. P. Wolper, pp.225-238, 1995.

T. A. Henzinger, The theory of hybrid automata, Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS), pp.278-292, 1996.

S. Humbert, Déclination d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels, Thèse de doctorat présentée à l, 2008.

M. Huseh, K. S. Hsueh, and A. Mosleh, The development and application of the accident dynamic simulator for dynamic probabilistic risk assessment of nuclear power plants, Reliability Engineering & System Safety, vol.52, issue.3, pp.297-314, 1996.
DOI : 10.1016/0951-8320(95)00140-9

J. A. Incera-dieguez, Contributions à la modélisation et à la simulation accélérée de réseaux de communication, Thèse Informatique, 2001.

K. L. Johansson, C. Kermisch, and P. E. Labeau, Hybrid systems cours Approche dynamique de la fiabilité des systèmes Project 6/2000 de l'ISdF. Tâche n° 1 : établissement de l'état de l'art en fiabilité dynamique, 2000.

C. Kermisch and P. E. Labeau, Approche dynamique de la fiabilité des systèmes, 2000.

. Kaufmman, Modèles mathématiques pour l'étude de fiabilité des systèmes, 1975.

D. Labeau, P. E. Labeau, and J. Devooght, Synthesis of multivariate distributions from their moments for probabilistic dynamics, Annals of Nuclear Energy, vol.22, issue.2, pp.109-124, 1995.
DOI : 10.1016/0306-4549(94)00036-E

. Labeau, Dynamique reliability: towards an integrated plarform for probabilistic risk assessment. Reliability Engineering and System Safety, pp.219-254, 2000.

I. Labeau, P. E. Labeau, and J. M. Izquierdo, The stimulus-driven theory of Petri Nets. 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005.

K. Labeau, P. E. Labeau, and C. Kermisch, Approche dynamique de la fiabilité dynamique des systèmes, 2001.

A. Lannoy, Analyse quantitative et utilité du retour d'expérience pour la maintenance des matériels et la sécurité. Edition Eyrolles, 1996.

P. Levy, Processus semi-markoviens, Proc. Int. Cong. Math. (Amsterdam), pp.416-426, 1954.

L. Et-becker-lewins, J. Becker, and M. , Advances in nuclear science and technology, 1997.

Z. Marseguerra, M. Marseguerra, and E. Zio, The cell-to-boundary method in Monte Carlo-based dynamic PSA. Reliability Engineering and System Safety 48, pp.199-204, 1995.

Z. Marseguerra, M. Marseguerra, and E. Zio, Monte Carlo approach to PSA for dynamic process systems, Reliability Engineering & System Safety, vol.52, issue.3, pp.227-241, 1996.
DOI : 10.1016/0951-8320(95)00131-X

. Marseguerra, A concept paper on dynamic reliability via Monte Carlo simulation, Mathematics and Computers in Simulation, vol.47, issue.2-5, pp.371-382, 1998.
DOI : 10.1016/S0378-4754(98)00112-8

S. Mercier, Encadrement de quantités fiabilistes pour un gros système markovien, Maîtrise de risques et sûreté de fonctionnement, lambda mu 15. Lille, 2006.

M. Najafi, Numerical solver for hybrid Differential-Algebraic Equations (DAE) (Solveur Numérique pour les Systèmes d'équation Algébro-Différentiels hybrides), 2005.

N. Najafi, M. Najafi, and R. Nikoukhah, Modeling Hybrid Automata in Scicos, Multi-conference on Systems and Control (MSC), pp.1-3, 2007.

C. Niel, E. Niel, and E. Craye, Maîtrise des risques et sûreté de fonctionnement des systèmes de production. Productique : information, commande, communication, 2002.

S. Osaki, Stochastic models in reliability and maintainability, 2002.

. Pérez, Modélisation et simulation d'un système dynamique hybride pour calculer sa fiabilité dynamique en utilisant le toolbox Scicos de Scilab, pp.311-318, 2007.

. Pérez, Etat de l'art en fiabilité dynamique, 2007.

. Pérez, Automate stochastique hybride appliqué à la fiabilité dynamique. 7ème Conférence International de Modélisation et Simulation MOSIM, Du 31 mars au 2 avril, 2008.

. Pérez, Simulation de Monte Carlo prenant en compte le vieillissement des composants, 2008.

R. Et-wonham-]-ramadge, P. J. Wonham, and W. M. , Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

. Sadou, Fiabilité dynamique des systèmes hybrides : approche basée scénarios. Conférence International Francophone d'Automatique, pp.30-31, 2006.

M. Saleh, J. H. Saleh, and K. Marais, Highlights from the early (and pre-) history of reliability engineering. Reliability Engineering and System Safety 91, pp.249-256, 1991.

. Schoenig, An aggregation method of Markov graphs for the reliability analysis of hybrid systems, Reliability Engineering & System Safety, vol.91, issue.2, pp.137-148, 2006.
DOI : 10.1016/j.ress.2005.03.007

URL : https://hal.archives-ouvertes.fr/hal-00125728

N. Siu, Risk assessment for dynamic systems: An overview. Reliability Engineering and System Safety 43, pp.43-73, 1994.
DOI : 10.1016/0951-8320(94)90095-7

D. Smidts, C. Smidts, and J. Devooght, Probabilistic reactor dynamics ? II: A Monte Carlo study of a fast reactor transient. Nuclear science and engineering, pp.241-256, 1992.

D. J. Smith, Reliability, maintainability and risk. Practical methods for engineers, 2001.

W. L. Smith, Regenerative Stochastic Processes, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.232, issue.1188, pp.6-31, 1955.
DOI : 10.1098/rspa.1955.0198

. Soro, Evaluation des indices de performance d'un système multi-etats degradable. 6ème Conf. Francophone de Modélisation et Simulation, pp.184-193, 2006.

. Tchangani, . Noyes, A. P. Tchangani, and D. Noyes, Attempt to modeling dynamic reliability using dynamic Bayesian networks. 6ème Congrès International pluridisciplinaire, qualité et sûreté de fonctionnement, 2005.

T. Et-aldemir-]-tombuyses, B. Aldemir, and T. , Computational efficiency of the continuous cell-to-cell mapping technique as a function of integration schemes, Reliability Engineering & System Safety, vol.58, issue.3, pp.215-223, 1997.
DOI : 10.1016/S0951-8320(97)00075-6

K. Trivedi, K. S. Trivedi, and V. G. Kulkarni, FSPNs: Fluid stochastic Petri nets, 14th International Conference on Applications and Theory of Petri Nets, pp.24-31, 1993.
DOI : 10.1007/3-540-56863-8_38

J. Zaytoon, Systèmes dynamiques Hybrides, Hermes Science Eurpope Ltd, 2001.

. Zhang, Fiabilité dynamique et processus déterministe par morceaux, Maîtrise de risques et sûreté de fonctionnement, lambda mu 15, 2006.

. Zhang, Piecewise deterministic Markov processes and dynamic reliability. Proceeding of the Mechanical Engineers, Journal of Risk and Reliability, vol.222, issue.4, pp.1748-0078, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00757128