Analytical redundancy methods in fault detection and isolation, Proceedings IFAC Symp. Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS, vol.1, pp.9-22, 1991. ,
Fault diagnosis by disturbance decoupled non-linear obervers, Proceedings of the 30th IEEE conference on decision and control CDC'91, pp.2248-2253, 1991. ,
Minimal structurally overdetermined sets for residual generation: A comparison of alternative approaches, vol.42, pp.1480-1485, 2009. ,
An Algorithm Based on Structural Analysis for Model-based Fault Diagnosis, Proceedings of the 2008 Conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, pp.138-147, 2008. ,
An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis, IEEE Trans. Systems, Man, and Cybernetics. Part A, vol.38, issue.1, pp.197-206, 2008. ,
Possible Conflicts: a compilation tecnhnique for consistency-based diagnosis, IEEE Trans. Systems, Man, and Cybernetics Part B, vol.34, issue.5, pp.2192-2206, 2004. ,
Diagnosability analysis based on component-supported analytical redundancy relations, IEEE Trans. Systems, Man, and Cybernetics, Part A, vol.36, issue.6, pp.1146-1160, 2006. ,
On linear systems diagnosis using differential and algebraic methods, Journal of the Franklin Institute, vol.345, pp.102-118, 2008. ,
Improving Multiple Fault Diagnosability using Possible Conflicts, IFAC Proceedings, vol.45, issue.20, pp.144-149, 2012. ,
Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica, vol.37, pp.687-699, 2001. ,
Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations, Journal of Process Control, vol.35, pp.1-10, 2015. ,
Fault detection and isolation in nonlinear dynamic systems: a combined input-output and local approach, Automatica, vol.34, issue.11, pp.1359-1373, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073570
Conflicts versus analytical redundancy relations. A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives, IEEE Trans. Systems, Man, and Cybernetics Part B, vol.34, issue.5, pp.2163-2177, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01931749
Diagnosing multiple faults, Artificial intelligence, vol.32, issue.1, pp.97-130, 1987. ,
A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis, 21st International Workshop on Principles of Diagnosis (DX-10), 2010. ,
Computing representation for radicals of finitely generated differential ideals, 1997. ,
Some effective approaches to check identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation, vol.57, pp.35-44, 2001. ,
Identifiability and estimation of pharmacokinetic parameters of ligands of macrophage mannose receptor, Int. J. Appl. Math. Comput. Sci, vol.15, issue.4, pp.101-110, 2005. ,
, Fault detection and identification relying on set-membership identifiability, vol.37, pp.129-136, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01739792
Global identifiability of nonlinear models of biological systems, IEEE Trans. Biomed. Eng, vol.48, pp.55-65, 2001. ,
A program for computing with semialgebraic sets using CADs, SIGSAM BULLETIN, vol.37, pp.97-108, 2003. ,
RAGLib: A library for real solving polynomial systems of equations and inequalities, 2007. ,
DISCOVERER: A Tool for Solving Semi-algebraic Systems, ACM Commun. Comput. Algebra, vol.41, issue.3, pp.102-103, 2007. ,
, Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics), 2006.
An algorithm to test identifiability of non-linear systems, Proceedings of 5th IFAC NOLCOS, vol.7, pp.174-178, 2001. ,
Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 1996. ,
A new efficient algorithm for computing Gröbner bases without reduction to zero, International Symposium on Symbolic and Algebraic Computation Symposium-ISSAC 2002, 2002. ,
A Survey of Fault Detection, Isolation, and Reconfiguration Methods, IEEE Trans. Contr. Sys. Techn, vol.18, issue.3, pp.636-653, 2010. ,
Actuator fault diagnosis for flat systems: A constraint satisfaction approach, International Journal of Applied Mathematics and Computer Science, vol.23, issue.1, pp.171-181, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00694775
A numerical procedure for filtering and efficient high-order signal differentiation, Int. J. Appl. Math. Comput. Sci, vol.14, issue.2, pp.201-208, 2004. ,