D. E. Acuña, M. E. Orchard, C. Reyes, and B. Zhang, Theoretical advances in lebesgue-samplingbased prognostic algorithms, 2019 prognostics and system health management conference, pp.7-12, 2019.

H. Alla and R. David, Continuous and hybrid Petri nets, Systems, and Computers, vol.8, issue.01, pp.159-188, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00495611

G. Bartram and S. Mahadevan, Bayesian reliability prognosis for systems with heterogeneous information. Annual Conference of the Prognostics and, 2010.

F. Basile, P. Chiacchio, and G. De-tommasi, Decentralized k-diagnosability of Petri nets. IFAC Proceedings Volumes, vol.45, pp.214-220, 2012.

M. Bayoudh and L. Travé-massuyès, Diagnosability analysis of hybrid systems cast in a discrete-event framework, Discrete Event Dynamic Systems, vol.24, issue.3, pp.309-338, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01400372

X. Cao, The predictability of discrete event systems, IEEE transactions on automatic control, vol.34, issue.11, pp.1168-1171, 1989.

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2009.

F. Cassez and A. Grastien, Predictability of event occurrences in timed systems, International conference on formal modeling and analysis of timed systems, pp.62-76, 2013.

J. Chen and R. Kumar, Stochastic failure prognosability of discrete event systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1570-1581, 2014.

J. Coble and J. W. Hines, Identifying optimal prognostic parameters from data: a genetic algorithms approach, Annual conference of the prognostics and health management society, vol.27, 2009.

M. Cordier, L. Travé-massuyes, and X. Pucel, Comparing diagnosability in continuous and discreteevent systems, Proceedings of the 17th international workshop on principles of diagnosis (DX-06), pp.55-60, 2006.

M. Daigle, I. Roychoudhury, and A. Bregon, Modelbased prognostics of hybrid systems, 2015.

M. J. Daigle and S. Sankararaman, Advanced methods for determining prediction uncertainty in modelbased prognostics with application to planetary rovers, 2013.

G. Fourlas, K. J. Kyriakopoulos, and N. Krikelis, Diagnosability of hybrid systems, Proceedings of the 10th IEEE mediterranean conference on control and automation, 2002.

S. Genc and S. Lafortune, Predictability of event occurrences in partially-observed discrete-event systems, Automatica, vol.45, issue.2, pp.301-311, 2009.

S. Hsieh and Y. Chen, Strongly diagnosable product networks under the comparison diagnosis model, IEEE Transactions on Computers, vol.57, issue.6, pp.721-732, 2008.

Y. Hua, Q. Li, Z. Ren, and C. Liu, A data driven method for quantitative fault diagnosability evaluation, pp.1890-1894, 2016.

R. Isermann, Supervision, fault-detection and faultdiagnosis methods-an introduction, Control engineering practice, vol.5, issue.5, pp.639-652, 1997.

R. Kumar and S. Takai, Decentralized prognosis of failures in discrete event systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.48-59, 2009.

A. Madalinski, F. Nouioua, and P. Dague, Diagnosability verification with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems, vol.14, issue.2, pp.49-55, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01276950

P. J. Mosterman and G. Biswas, A theory of discontinuities in physical system models, Journal of the Franklin Institute, vol.335, issue.3, pp.401-439, 1998.

F. Nouioua, P. Dague, and L. Ye, Predictability in probabilistic discrete event systems, International conference on soft methods in probability and statistics, pp.381-389, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01483427

C. G. Pérez, E. Chanthery, L. Travé-massuyès, and J. Sotomayor, Fault-driven structural diagnosis approach in a distributed context, 2017.

M. Sampath, R. Sengupta, and S. Lafortune, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.

S. Sankararaman, M. Daigle, A. Saxena, and K. Goebel, Analytical algorithms to quantify the uncertainty in remaining useful life prediction, pp.1-11, 2013.

A. Saxena, J. Celaya, B. Saha, S. Saha, and K. Goebel, Metrics for offline evaluation of prognostic performance, International Journal of Prognostics and health management, vol.1, issue.1, pp.4-23, 2010.

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.

A. Villemeur, Dependability of industrial systems, Book in French, pp.339-4198, 1988.

W. Wu, X. Yin, and S. Li, Verification of coprognosability in decentralized fault prognosis of labeled Petri nets, IEEE conference on decision and control, pp.4845-4850, 2018.

L. Ye, P. Dague, and L. He, Manifestability verification of discrete event systems, 30th international workshop on principles of diagnosis DX, vol.19, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02425146

L. Ye, P. Dague, and F. Nouioua, A predictability algorithm for distributed discrete event systems, In International conference on formal engineering methods, pp.201-216, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01274813

X. Yin, Verification of prognosability for labeled Petri nets, IEEE Transactions on Automatic Control, vol.63, issue.6, pp.1828-1834, 2017.

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discreteevent systems, IEEE Transactions on automatic control, vol.47, issue.9, pp.1491-1495, 2002.

H. Zaatiti, L. Ye, P. Dague, and J. Gallois, Counterexample-guided abstraction-refinement for hybrid systems diagnosability analysis, DX, pp.124-143, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01676889

M. Zanella, Asymmetric diagnosability analysis of discrete-event systems, DX, pp.78-93, 2017.

C. G. Zuniga, J. Sotomayor-moriano, E. Chanthery, L. Travé-massuyès, and M. Soto, Flotation process fault diagnosis via structural analysis, 18th IFAC symposium on control, optimization and automation in mining, mineral and metal processing, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02189499