T. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996.
DOI : 10.1109/LICS.1996.561342

E. Chanthery and P. Ribot, An Integrated Framework for Diagnosis and Prognosis of Hybrid Systems, the 3rd Workshop on Hybrid Autonomous System (HAS), 2013.
DOI : 10.4204/EPTCS.124.4

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

M. Bayoudh, L. Travé-massuyes, X. Olive, and T. Space, Hybrid Systems Diagnosis by coupling Continuous and Discrete event Techniques, Proceedings of the IFAC World Congress, pp.7265-7270, 2008.
DOI : 10.3182/20080706-5-KR-1001.01229

L. Zouaghi, . Alexopoulos, E. Wagner, and . Badreddin, Modified particle petri nets for hybrid dynamical systems monitoring under environmental uncertainties, 2011 IEEE/SICE International Symposium on System Integration (SII), pp.497-502, 2011.
DOI : 10.1109/SII.2011.6147499

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, and A. Benveniste, A petri net approach to fault detection and diagnosis in distributed systems. part i: application to telecommunication networks, motivations, and modelling, the 36th Conference on Decision & Control, 1997.

S. Genc and S. Lafortune, Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, pp.206-219, 2007.
DOI : 10.1109/TASE.2006.879916

M. P. Cabasino, A. Giua, and C. Seatzu, Diagnosability of Discrete-Event Systems Using Labeled Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.11, issue.1, pp.144-153, 2014.
DOI : 10.1109/TASE.2013.2289360

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

Y. Ru and C. N. Hadjicostis, Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets, Discrete Event Dynamic Systems, vol.50, issue.4, pp.551-575, 2009.
DOI : 10.1007/s10626-009-0074-7

F. Basile, P. Chiacchio, and G. Tommasi, Fault diagnosis and prognosis in Petri Nets by using a single generalized marking estimation, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS), 2009.
DOI : 10.3182/20090630-4-ES-2003.00227

W. Jianxiong, X. Xudong, B. Xiaoying, L. Chuang, K. Xiangzhen et al., Performability analysis of avionics system with multilayer hm/fm using stochastic petri nets, Chinese Journal of Aeronautics, vol.26, issue.2, pp.363-377, 2013.

C. Lesire and C. Tessier, Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty, Applications and Theory of Petri Nets, pp.329-348, 2005.
DOI : 10.1007/11494744_19

L. Zouaghi, . Alexopoulos, E. Wagner, and . Badreddin, Probabilistic online-generated monitoring models for mobile robot navigation using modified Petri net, 2011 15th International Conference on Advanced Robotics (ICAR), pp.594-599, 2011.
DOI : 10.1109/ICAR.2011.6088556

M. Staroswiecki and G. Comtet-varga, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica, vol.37, issue.5, pp.687-699, 2001.
DOI : 10.1016/S0005-1098(01)00005-X

V. Cocquempot, M. Mezyani, and . Staroswiecki, Fault detection and isolation for hybrid systems using structured parity residuals, 5th Asian Control Conference, pp.1204-1212, 2004.