Theoretical advances in lebesgue-samplingbased prognostic algorithms, 2019 prognostics and system health management conference, pp.7-12, 2019. ,
Continuous and hybrid Petri nets, Systems, and Computers, vol.8, issue.01, pp.159-188, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-00495611
Bayesian reliability prognosis for systems with heterogeneous information. Annual Conference of the Prognostics and, 2010. ,
Decentralized k-diagnosability of Petri nets. IFAC Proceedings Volumes, vol.45, pp.214-220, 2012. ,
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
The predictability of discrete event systems, IEEE transactions on automatic control, vol.34, issue.11, pp.1168-1171, 1989. ,
Introduction to discrete event systems, 2009. ,
Predictability of event occurrences in timed systems, International conference on formal modeling and analysis of timed systems, pp.62-76, 2013. ,
Stochastic failure prognosability of discrete event systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1570-1581, 2014. ,
Identifying optimal prognostic parameters from data: a genetic algorithms approach, Annual conference of the prognostics and health management society, vol.27, 2009. ,
Comparing diagnosability in continuous and discreteevent systems, Proceedings of the 17th international workshop on principles of diagnosis (DX-06), pp.55-60, 2006. ,
Modelbased prognostics of hybrid systems, 2015. ,
Advanced methods for determining prediction uncertainty in modelbased prognostics with application to planetary rovers, 2013. ,
Diagnosability of hybrid systems, Proceedings of the 10th IEEE mediterranean conference on control and automation, 2002. ,
Predictability of event occurrences in partially-observed discrete-event systems, Automatica, vol.45, issue.2, pp.301-311, 2009. ,
Strongly diagnosable product networks under the comparison diagnosis model, IEEE Transactions on Computers, vol.57, issue.6, pp.721-732, 2008. ,
A data driven method for quantitative fault diagnosability evaluation, pp.1890-1894, 2016. ,
Supervision, fault-detection and faultdiagnosis methods-an introduction, Control engineering practice, vol.5, issue.5, pp.639-652, 1997. ,
Decentralized prognosis of failures in discrete event systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.48-59, 2009. ,
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
A theory of discontinuities in physical system models, Journal of the Franklin Institute, vol.335, issue.3, pp.401-439, 1998. ,
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
Fault-driven structural diagnosis approach in a distributed context, 2017. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
Analytical algorithms to quantify the uncertainty in remaining useful life prediction, pp.1-11, 2013. ,
Metrics for offline evaluation of prognostic performance, International Journal of Prognostics and health management, vol.1, issue.1, pp.4-23, 2010. ,
Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica, vol.37, issue.5, pp.687-699, 2001. ,
Dependability of industrial systems, Book in French, pp.339-4198, 1988. ,
Verification of coprognosability in decentralized fault prognosis of labeled Petri nets, IEEE conference on decision and control, pp.4845-4850, 2018. ,
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
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
Verification of prognosability for labeled Petri nets, IEEE Transactions on Automatic Control, vol.63, issue.6, pp.1828-1834, 2017. ,
Polynomial-time verification of diagnosability of partially observed discreteevent systems, IEEE Transactions on automatic control, vol.47, issue.9, pp.1491-1495, 2002. ,
Counterexample-guided abstraction-refinement for hybrid systems diagnosability analysis, DX, pp.124-143, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01676889
Asymmetric diagnosability analysis of discrete-event systems, DX, pp.78-93, 2017. ,
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