J. Barbot, D. Boutat, and T. Floquet, An observation algorithm for nonlinear systems with unknown inputs, Automatica, vol.45, issue.8, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00391819

M. Basseville, M. Abdelghani, and A. Benveniste, Subspace-based fault detection algorithms for vibration monitoring, Automatica, vol.36, issue.1, pp.101-109, 2000.
DOI : 10.1016/S0005-1098(99)00093-X

R. Beard, Failure accomodation in linear systems through selfreorganization, 1971.

M. Bendjedia, Synthèse d'algorithmes de commande sans capteurs de moteurs pas à pas et implantation sur architecture programmable, 2007.

D. Berdjag, C. Christophe, V. Cocquempot, and B. Jiang, Nonlinear model decomposition for robust fault detection and isolation using algebraic tools, International Journal of Innovative Computing, Information & Control, vol.2, pp.6-1337, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00198435

B. Bergeon, Commande robuste des systèmes automatisés, 2001.

L. Bers, On hilbert's 22 nd problem, Mathematical Developments Arising From Hilbert Problems, Proceedings of Symposia in Pure Mathematics, pp.559-609, 1976.

A. Bobrinskoy, F. Cazaurang, B. Bluteau, O. Guerineau, and M. Gatti, Model-based fault diagnosis for an electromechanical actuator of a helicopter turboshaft engine, SAE 2014 Aerospace Systems and Technology Conference (ASTC), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00987838

A. Bobrinskoy, F. Cazaurang, M. Gatti, O. Guerineau, and B. Bluteau, Model-based fault diagnosis of a flight-critical actuator. Recent Advances in Aerospace Actuation Systems and Components, pp.84-89, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00974985

A. Bobrinskoy, M. Gatti, O. Guerineau, F. Cazaurang, and B. Bluteau, Dynamic inversion of a flight critical actuator for fault diagnosis, Digital Avionics Systems Conference (DASC), pp.2013-2045

A. Bobrinskoy, M. Gatti, O. Guerineau, F. Cazaurang, and B. Bluteau, Model-based fault detection and isolation design for flightcritical actuators in a harsh environment, Digital Avionics Systems Conference (DASC), pp.2012-2043
URL : https://hal.archives-ouvertes.fr/hal-00736269

A. Bobrinskoy, M. Gatti, O. Guérineau, F. Cazaurang, and B. Bluteau, Système critique et procédé de surveillance, Brevet FR1302661, 2013.

M. Bodson, J. N. Chiasson, R. T. Novotnak, and R. B. Rekowski, High-performance nonlinear feedback control of a permanent magnet stepper motor, Control Systems Technology IEEE Transactions on, vol.1, pp.1-5, 1993.

B. W. Boehm, A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988.
DOI : 10.1109/2.59

M. Bozzano and A. Villafiorita, Design and safety assessment of critical systems, 2010.
DOI : 10.1201/b10094

C. I. Byrnes and A. Isidori, Asymptotic Expansions, Root-Loci and the Global Stability of Nonlinear Feedback Systems, pp.159-179, 1986.
DOI : 10.1007/978-94-009-4706-1_10

F. Cazaurang, Commande robuste des systèmes plats Application à la commande d'une machine synchrone, 1997.

B. Charlet, Sur quelques problemes de stabilisation robuste des systemes non linéaires, 1989.

B. Charlet, J. Lévine, and R. Marino, Sufficient Conditions for Dynamic State Feedback Linearization, SIAM Journal on Control and Optimization, vol.29, issue.1, pp.38-57, 1991.
DOI : 10.1137/0329002

S. Chong, C. Wong, H. Jia, H. Pan, P. Moore et al., Model Driven System Engineering for vehicle system utilizing Model Driven Architecture approach and hardware-in-the-loop simulation, 2011 IEEE International Conference on Mechatronics and Automation, pp.1451-1456
DOI : 10.1109/ICMA.2011.5985964

C. Christophe, Surveillance des systèmes non linéaires: Application aux machines électriques, 2001.

D. Larminat and P. , Automatique: commande des systèmes linéaires, Hermes Paris, 1993.

D. Persis, C. Isidori, and A. , A geometric approach to nonlinear fault detection and isolation. Automatic Control, IEEE Transactions on, vol.46, issue.6, pp.853-865, 2001.

J. Descusse and C. H. Moog, Decoupling with dynamic compensation for strong invertible affine non-linear systems, International Journal of Control, vol.10, issue.1, pp.1387-1398, 1985.
DOI : 10.1080/00207178508933432

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

S. Ding, Model-based fault diagnosis techniques, 2008.
DOI : 10.1007/978-1-4471-4799-2

S. Diop and M. Fliess, Nonlinear observability, identifiability, and persistent trajectories, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, pp.714-719, 1991.
DOI : 10.1109/CDC.1991.261405

S. Drakunov and V. Utkin, Sliding mode observers. Tutorial, Proceedings of 1995 34th IEEE Conference on Decision and Control, pp.3376-3378, 1995.
DOI : 10.1109/CDC.1995.479009

G. Duc and F. S. , Commande H ? et µ-analyse, Des outils pour la robustesse, 1999.

C. Edwards, T. Lombaerts, and H. Smaili, Fault tolerant flight control: a benchmark challenge, 2010.
DOI : 10.1007/978-3-642-11690-2

J. A. Estefan, Survey of model-based systems engineering (mbse) methodologies, Incose MBSE Focus Group, vol.25, pp.1-70, 2007.

G. Evensen, The ensemble kalman filter: Theoretical formulation and practical implementation. Ocean dynamics 53, pp.343-367, 2003.

N. Faiz, S. K. Agrawal, M. , and R. M. , Trajectory Planning of Differentially Flat Systems with Dynamics and Inequalities, Journal of Guidance, Control, and Dynamics, vol.24, issue.2, pp.219-227, 2001.
DOI : 10.2514/2.4732

P. L. Falb and W. Wolovich, Decoupling in the design and synthesis of multivariable control systems, IEEE Transactions on Automatic Control, vol.12, issue.6, pp.651-659, 1967.
DOI : 10.1109/TAC.1967.1098737

A. Filippov, Differential equations with discontinuous right-hand side, Matematicheskii sbornik 93, pp.99-128, 1960.
DOI : 10.1090/trans2/042/13

M. Fliess, Some remarks on nonlinear invertibility and dynamic state feedback . Theory and applications of nonlinear control systems, pp.115-121, 1986.

M. Fliess, Generalized controller canonical form for linear and nonlinear dynamics Automatic Control, IEEE Transactions on, vol.35, issue.9, pp.994-1001, 1990.

M. Fliess, C. Join, and H. Mounier, An Introduction to Nonlinear Fault Diagnosis with an Application to a Congested Internet Router, pp.327-343, 2005.
DOI : 10.1007/978-3-540-31597-1_16

M. Fliess, C. Join, and H. Sira-ramirez, Non-linear estimation is easy, International Journal of Modelling, Identification and Control, vol.4, issue.1, pp.12-27, 2008.
DOI : 10.1504/IJMIC.2008.020996

URL : https://hal.archives-ouvertes.fr/inria-00158855

M. Fliess, J. Lévine, P. Martin, and P. And-rouchon, Flatness and defect of non-linear systems: introductory theory and examples, International Journal of Control, vol.4, issue.6, pp.1327-1361, 1995.
DOI : 10.1109/9.73561

M. Fliess, J. Lévine, P. Martin, and P. And-rouchon, A Lie-Backlund approach to equivalence and flatness of nonlinear systems, IEEE Transactions on Automatic Control, vol.44, issue.5, pp.922-937, 1999.
DOI : 10.1109/9.763209

K. Forsberg and H. Mooz, 4.4.4 Application of the ???Vee??? to Incremental and Evolutionary Development, INCOSE International Symposium, vol.5, issue.1, pp.801-808, 1995.
DOI : 10.1002/j.2334-5837.1995.tb01948.x

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

K. Forsberg and H. Mooz, The relationship of system engineering to the project cycle

B. A. Francis, Lecture notes in control and information sciences, 1987.

K. S. Gaeid, M. , and H. A. , Diagnosis and fault tolerant control of the induction motors techniques a review, Australian Journal of Basic and Applied Sciences, vol.4, issue.2, pp.227-246, 2010.

J. P. Gauthier and G. Bornard, Observability for any u(t) of a class of nonlinear systems, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, pp.922-926, 1981.
DOI : 10.1109/CDC.1980.271933

A. Glumineau and C. H. Moog, Essential orders and the non-linear decoupling problem, International Journal of Control, vol.22, issue.5, pp.1825-1834, 1989.
DOI : 10.1109/TAC.1981.1102604

F. Gustafsson and F. Gustafsson, Adaptive filtering and change detection, 2000.
DOI : 10.1002/0470841613

A. Hagenblad, F. Gustafsson, and I. Klein, A comparison of two methods for stochastic fault detection: the parity space approach and principal component analysis

R. Hermann and A. J. Krener, Nonlinear controllability and observability, IEEE Transactions on Automatic Control, vol.22, issue.5, pp.728-740, 1977.
DOI : 10.1109/TAC.1977.1101601

R. Hirschorn, $(A,\mathcal{B})$-Invariant Distributions and Disturbance Decoupling of Nonlinear Systems, SIAM Journal on Control and Optimization, vol.19, issue.1, pp.1-19, 1981.
DOI : 10.1137/0319001

R. M. Hirschorn, Invertibility of multivariable nonlinear control systems, IEEE Transactions on Automatic Control, vol.24, issue.6, pp.855-865, 1979.
DOI : 10.1109/TAC.1979.1102181

L. Hunt, R. , S. , G. , and M. , Design for multi-input nonlinear systems, Differential geometric control theory, pp.268-298, 1982.

R. Isermann, Process fault detection based on modeling and estimation methods???A survey, Automatica, vol.20, issue.4, pp.387-404, 1984.
DOI : 10.1016/0005-1098(84)90098-0

R. Isermann, Fault-diagnosis systems : an introduction from fault detection to fault tolerance, 2006.
DOI : 10.1007/3-540-30368-5

A. Isidori, Nonlinear control systems, 1995.

A. Isidori, A. J. Krener, C. Gori-giorgi, M. , and S. , Nonlinear decoupling via feedback: A differential geometric approach, IEEE Transactions on Automatic Control, vol.26, issue.2, p.331, 1981.
DOI : 10.1109/TAC.1981.1102604

B. Jakubczyk, N. , and D. , Automatique théorique. orbites de pseudo-groupes de difféomorphismes et commandabilité des systèmes non linéaires en temps discret, Comptes rendus des séances de l'Académie des sciences. Série 1, pp.11-257, 1984.

B. Jakubczyk, R. , and W. , On linearization of control systems, Bull. Acad. Polonaise Sci. Ser. Sci. Math, vol.28, pp.517-522, 1980.

M. R. James, Controllability and observability of nonlinear systems

H. L. Jones, Failure detection in linear systems, 1973.

H. Kadima, Méthodes et outils d'ingénierie des systèmes mécatroniques fiables, EISTI, pp.6-15, 2010.

A. J. Krener, R. , and W. , Nonlinear Observers with Linearizable Error Dynamics, SIAM Journal on Control and Optimization, vol.23, issue.2, pp.197-216, 1985.
DOI : 10.1137/0323016

D. Kritzinger, Aircraft system safety: Military and civil aeronautical applications, 2006.
DOI : 10.1201/9781439824252

E. Laroche, E. Sedda, and C. Durieu, Methodological Insights for Online Estimation of Induction Motor Parameters, IEEE Transactions on Control Systems Technology, vol.16, issue.5, pp.1021-1028, 2008.
DOI : 10.1109/TCST.2007.916317

E. Laroche, E. Sedda, C. Durieu, L. , and J. , Erreurs de modélisation d'une machine asynchrone

L. Lavigne, F. Cazaurang, L. Fadiga, and P. Goupil, New sequential probability ratio test: Validation on A380 flight data, Control Engineering Practice, vol.22, pp.1-9, 2013.
DOI : 10.1016/j.conengprac.2013.09.008

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

L. Lavigne, A. Zolghadri, P. Goupil, S. , and P. , A model-based technique for early and robust detection of oscillatory failure case in A380 actuators, International Journal of Control, Automation and Systems, vol.59, issue.1, pp.42-49, 2011.
DOI : 10.1007/s12555-011-0106-6

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

J. Lévine, Analysis and control of nonlinear systems: A flatness-based approach, 2009.
DOI : 10.1007/978-3-642-00839-9

J. Lévine, On necessary and sufficient conditions for differential flatness Applicable Algebra in Engineering, Communication and Computing, vol.22, issue.1, pp.47-90, 2011.

J. Lévine and D. Nguyen, Flat output characterization for linear systems using polynomial matrices, Systems & Control Letters, vol.48, issue.1, pp.69-75, 2003.
DOI : 10.1016/S0167-6911(02)00257-8

J. M. Maciejowski, Multivariable feedback design Electronic Systems Engineering Series, 1989.

A. Mahamoud, A. Glumineau, and I. Souleiman, FDI using High Gain Observers for Cascade Systems: application to induction motors, European Control Conference ECC'09, pp.23-26, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00630722

A. Mahamoud, A. Glumineau, and I. Souleiman, Methodology for nonlinear FDI Observer via Nonlinear Transformation : Application to a DC Series Motor, Proceeding IFAC SAFEPROCESS'09, pp.30-35, 2009.
DOI : 10.3182/20090630-4-ES-2003.00005

R. Marino, On the largest feedback linearizable subsystem, Systems & Control Letters, vol.6, issue.5, pp.345-351, 1986.
DOI : 10.1016/0167-6911(86)90130-1

P. Martin, Contribution à l'étude des systèmes différentiellement plats, 1992.

R. Martinez-guerra and J. L. Mata-machuca, Fault detection and diagnosis in nonlinear systems, AMC, vol.10, p.12, 2014.
DOI : 10.1007/978-3-319-03047-0

M. Torres, C. Lavigne, L. Cazaurang, F. , A. Garcia et al., Flatness-based fault tolerant control, pp.188-130, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098605

M. Torres, C. Lavigne, L. Cazaurang, F. , A. Garcia et al., Flatness-based fault tolerant control, pp.188-130, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098605

M. Massoumnia, A geometric approach to the synthesis of failure detection filters. Automatic Control, IEEE Transactions on, vol.31, issue.9, pp.839-846, 1986.

M. B. Milam, R. Franz, J. E. Hauser, M. , and R. M. , Receding horizon control of vectored thrust flight experiment, IEE Proceedings - Control Theory and Applications, vol.152, issue.3, pp.340-348, 2005.
DOI : 10.1049/ip-cta:20059031

B. Multon, Les machines synchrones autopilotées. Préparation à l'agrégation de génie électrique, ENS de Cachan, 2004.

H. Nijmeijer, R. , and W. , Dynamic input-output decoupling of nonlinear control systems, IEEE Transactions on Automatic Control, vol.33, issue.11, pp.1065-1070, 1988.
DOI : 10.1109/9.14420

A. Quadrat, R. , and D. , Computation of bases of free modules over the Weyl algebras, Journal of Symbolic Computation, vol.42, issue.11-12, pp.1113-1141, 2007.
DOI : 10.1016/j.jsc.2007.06.005

URL : https://hal.archives-ouvertes.fr/inria-00070235

W. W. Royce, Managing the development of large software systems, In proceedings of IEEE WESCON, vol.26, 1970.

R. Do-160, Environmental Conditions and Test Procedures for Airborne Equipment, Radio Technical Commission for Aeronautics, 2007.

R. Do-178b-/-ed12, Software considerations in airborne systems and equipment certification, 1992.

S. Arp and /. Ed79, Certification considerations for highly-integrated or complex aircraft systems, SAE, 1996.

S. Arp, Guidelines and methods for conducting the safety assessment process on civil airborne systems ans equipment, 1996.

S. , P. Lavigne, L. Zolghadri, A. Goupil, and P. .. , Détection de pannes oscillatoires dans une chaîne d'asservissement en position d'une gouverne de l'A380, p.p, 2008.

S. N. Singh, Decoupling of invertible nonlinear systems with state feedback and precompensation, IEEE Transactions on Automatic Control, vol.25, issue.6, p.1237, 1980.
DOI : 10.1109/TAC.1980.1102546

S. N. Singh, A modified algorithm for invertibility in nonlinear systems, IEEE Transactions on Automatic Control, vol.26, issue.2, p.595, 1981.
DOI : 10.1109/TAC.1981.1102657

J. Slotine, J. Hedrick, and E. Misawa, Nonlinear state estimation using sliding observers, 1986 25th IEEE Conference on Decision and Control, pp.332-339, 1986.
DOI : 10.1109/CDC.1986.267257

V. I. Utkin, Sliding modes in multidimensional systems with variable structure, 1973 IEEE Conference on Decision and Control including the 12th Symposium on Adaptive Processes, pp.727-727, 1973.
DOI : 10.1109/CDC.1973.269255

M. J. Van-nieuwstadt, M. , and R. M. , Real time trajectory generation for differentially flat systems

V. Venkatasubramanian, R. Rengaswamy, K. Yin, and S. N. Kavuri, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.293-311, 2003.
DOI : 10.1016/S0098-1354(02)00160-6

G. Vinson, P. Ribot, T. Prado, and M. Combacau, A generic diagnosis and prognosis framework: application to permanent magnets synchronous machines, Prognostics and System Health Management Conference, pp.1039-1044
URL : https://hal.archives-ouvertes.fr/hal-00925514

V. Löwis, J. , R. , and J. , Real-time trajectory generation for flat systems with constraints, pp.385-394, 2003.
DOI : 10.1007/3-540-45802-6_31

W. M. Wonham, Linear multivariable control, 1974.

W. M. Wonham, M. , and A. S. , Decoupling and Pole Assignment in Linear Multivariable Systems: A Geometric Approach, SIAM Journal on Control, vol.8, issue.1, pp.1-18, 1970.
DOI : 10.1137/0308001

G. Zwingelstein, Diagnostic des défaillances: Théorie et pratique pour les systèmes industriels. Hermès, 1995.