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
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
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
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
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
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. ,
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
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
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
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
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. ,
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty, Applications and Theory of Petri Nets, pp.329-348, 2005. ,
DOI : 10.1007/11494744_19
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
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
Fault detection and isolation for hybrid systems using structured parity residuals, 5th Asian Control Conference, pp.1204-1212, 2004. ,