Generating semi-explicit DAEs with Structural Index 1 for fault diagnosis using structural analysis

Structural Analysis is a lucrative option for Fault Detection and Identification in Unmanned Aerial Vehicles (UAVs), because it handles detailed, large-scale mathematical models. It can be employed by an on-board flight computer to generate residual generators and implement automatic fault-detection. Contemporary algorithms applied on dynamic systems may yield residual generators which require the real-time solution of Differential-Algebraic Equation (DAE) systems. Depending on the form and differential index of each DAE system, its solution may not be possible exclusively by computational means. In this paper we explore the relation between Structural Analysis algorithms and the forms of DAE systems they produce, propose conditions under which all generated DAEs are Structural Index-1 and semi-explicit and provide a large-scale fixed-wing UAV model with that property.

[1]  Alex Pothen,et al.  Computing the block triangular form of a sparse matrix , 1990, TOMS.

[2]  M.L. Fravolini,et al.  Structural Analysis Approach for the Generation of Structured Residuals for Aircraft FDI , 2009, IEEE Transactions on Aerospace and Electronic Systems.

[3]  Frank L. Lewis,et al.  Aircraft Control and Simulation , 1992 .

[4]  George J. Vachtsevanos,et al.  Handbook of Unmanned Aerial Vehicles , 2014 .

[5]  Graham Wild,et al.  Exploring Civil Drone Accidents and Incidents to Help Prevent Potential Air Disasters , 2016 .

[6]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

[7]  Argimiro R. Secchi,et al.  Structural analysis for static and dynamic models , 2012, Math. Comput. Model..

[8]  W. Marquardt,et al.  Structural analysis of differential-algebraic equation systems—theory and applications , 1995 .

[9]  David Allerton,et al.  Principles of Flight Simulation , 2009 .

[10]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[11]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[12]  Linda R. Petzold,et al.  Numerical solution of initial-value problems in differential-algebraic equations , 1996, Classics in applied mathematics.

[13]  Julien Marzat,et al.  Model-based fault diagnosis for aerospace systems: a survey , 2012 .

[14]  Mattias Krysander,et al.  An Efficient Algorithm for Finding Over-constrained Sub-systems for Construction of Diagnostic Tests , 2005 .

[15]  Vincent Cocquempot,et al.  Structural Analysis for FDI: a modified, invertibility-based canonical decomposition , 2009 .

[16]  Kostas J. Kyriakopoulos,et al.  On the selection of calculable residual generators for UAV fault diagnosis , 2016, 2016 24th Mediterranean Conference on Control and Automation (MED).

[17]  Thomas O. Seppelin,et al.  The Department of Defense World Geodetic System 1972 , 1974 .

[18]  R. Izadi-Zamanabadi.  Structural analysis approach to fault diagnosis with application to fixed-wing aircraft motion , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[19]  N. S. Mendelsohn,et al.  Coverings of Bipartite Graphs , 1958, Canadian Journal of Mathematics.

[20]  Vincent Cocquempot,et al.  On non-invertibilities for structural analysis , 2010 .

[21]  Paul M. Frank,et al.  Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.