A Review of Research on Diagnosability of Control Systems Based on Structural Analysis

: Structural analysis, a model-based fault diagnosis approach, has been extensively high-lighted since it does not depend on an exact analytical system model. The structural analysis approach focuses on obtaining the required information for fault detection and fault-tolerant control from the structural model of the control system. Diagnosability is a design attribute that indicates the fault diagnosis capabilities. Diagnosability design not only guarantees that the structure of the control system gives adequate fault information but also that the control system achieves the fault diagnosis with the least cost and the most excellent efficiency. In this paper, in combination with the research progress of structural analysis, the study first designs the structural diagnosability model of the control system based on structural analysis; secondly, the essential techniques of diag-nosability evaluation and diagnosability design based on structural analysis are analyzed and summarized, and the diagnosability index system based on structural analysis is designed based on the structural detectability and structural isolation; this lays the foundation for the development of the diagnosability; lastly, the study summarizes the problems of diagnosability research based on structural analysis and the future development direction.


Introduction
With the continuing growth of industrial technology, the structural and functional complexity of control systems continuously grows [1].The old tactics of enhancing the dependability of essential components and optimizing fault diagnosis algorithms are increasingly insufficient to fulfill the rising demand for fault diagnosis.On the one hand, increasing the reliability of the critical components not only increases the cost of the system design, production, and installation, it also cannot avoid the occurrence of faults [2].On the other hand, the design of the fault diagnosis methods is limited by the fault information provided by the control system itself, which will inevitably affect the fault diagnosis performance if the fault information is insufficient or missing [3].Therefore, enhancing the fault diagnosis performance from the source of the fault diagnosis is required to promote safety and reliability.
Diagnosability is a design quality that describes the fault diagnosis performance, which may not only decide whether the fault can be detected but may also quantitatively describe the difficulty of the fault diagnosis [4].Diagnosability is an important design feature to improve fault diagnosis performance.On the one hand, diagnosability ensures that the system's structure provides sufficient fault information.On the other hand, it also guarantees that the system can perform fault diagnosis work as cheaply and effectively as possible and that the control system maintains the fault diagnosis performance for its whole life cycle.[5].
Diagnosability, as an essential design feature of equipment, plays a vital role in the fields of electrical [6], railway [7], building [8], and manufacturing engineering [9], among others.By optimizing the design of the diagnosability structure and function of the system, the overall fault diagnosis performance and the fault tolerance of the system are improved.
Structural analysis is a model-based fault diagnosis method [10].It differs from the prior model-based fault diagnosis approaches that depended on the correct analytical model's design, analysis, and derivation.The structural analysis technique focuses on the structural model to acquire helpful information for fault detection and fault-tolerant control.The analytical model is converted into a structural model by analyzing the connection or structure between the unknown variables, known variables, and faults in the constraint equations (algebraic equations, differential equations, and difference equations), which are represented as bipartite diagrams or incidence matrices.Structural detectability and structural isolability are examined through structural decomposition [11].
Therefore, structural analysis is applied in the early design stage of the control system for fault diagnosability design [12].First, the system is not yet finished.There is still ample design space; so, analyzing the system structure clarifies the structural detectability and isolability.Based on the diagnosability demand, a determination is made as to whether the system needs further modeling.Second, the diagnosability design based on structural analysis does not need to establish an accurate analytical model, which has the diagnosability design of some large and complex control systems.Third, structural analysis eliminates complex numerical operations, and the associated tools based on graph theory have superior efficiency compared to the analytical techniques.Fourth, owing to the disregard of the analytical formulation of the system constraint equations, the structural analysis provides significant benefits for the diagnosability research on nonlinear and differential algebraic system models.
Establishing a structural model is a foundation for studying structural detectability and structural isolation and for designing residuals, sensor optimization, diagnosability optimization, and reconfigurability design [13].Structural analysis is a novel model-based fault diagnosis method that identifies the subsystem containing the analysis redundancy relation (ARR) based on structural decomposition [14].
Diagnosability, a critical design attribute representing the fault diagnosis capacity, plays an unignorable function in the design stage.Structural analysis is an essential device in fault diagnosis and plays a significant part in the design of diagnosability.Currently, there is less research on the diagnosability design based on structural analysis.First, this paper establishes the diagnosability structure based on structural analysis to further clarify the profound principle of fault diagnosis and diagnosability design.Secondly, the current situation of diagnosability research based on structural analysis is summarized and analyzed.The diagnosability index system based on structural analysis is designed.Finally, the problems of the current study and the future development direction are pointed out.

Diagnosability Architecture for Control Systems Based on Structural Analysis
Building accurate mathematical models is expensive due to the steady developments in the complexity of control system structures and functions [15].Yet, it is necessary to present their fault models in the model-based fault diagnosis procedure [16].The development that broke this deadlock of structural analysis is the graphical representation of a system model that evaluates only the interactions between the variables and equations [17].Structural analysis collects the required information for fault detection and fault-tolerant control by leveraging the structural model of the system.It offers superior computational efficiency compared to other diagnostic approaches, particularly those for largescale complicated control systems.Due to its unique properties, structural analysis is indispensable for diagnosability [18].

A Structural Model for Diagnosability Based on Structural Analysis
The key to fault diagnosis in the control area is to create system residuals and to leverage the sensitive link between the residuals and the faults for fault detection and isolation [19].In artificial intelligence, consistency-based fault diagnosis approaches are typically employed, and the core concepts are online residual design and fault isolation [20].In this research, we integrate the essential theories in control, artificial intelligence, and statistical hypothesis testing to build a diagnosability structural model based on the structural model.

Control System Model Division
The control system is divided into different modules for analysis and design pur-

Behavioral Model of the System Modules
Different types of faults are often considered to be different behavioral modes.The behavioral modes of sensors include no-fault, the stuck-at (complete) fault, the fixed (constant) bias fault, the drift bias (time-varying) fault, the gain fault, and the unknown fault [21].The actuator behavior modes include no-fault, locked, floating, runaway, loss of effectiveness, and the unknown fault [22].Let NF stand for no fault, UF for unknown fault, C for stuck, and B for deviation.The structural model is a bipartite graph consisting of variables and constraint equations.It is an abstract statement of the analytical model.It describes the constraint connections between the variables and the equations but disregards the precise analytical formulation.The structural model comprises the system's essential traits and properties, regardless of the parameters [23].

 
12 ,, E e e = be the set of constraint equations and be the set of internal variables and parameters.Then, the system M can be represented by a tuple ( ) , EV .The types of equations in E are algebraic equations, differential equations, and difference equations.The variables in V are qualitative and quantitative.V can be further categorized into known variables Z and unknown variables X , i.e., V Z X = .

Definition 1. (Structural Model)
The structural model can be represented by a bipartite graph ( )

,, G E V A , where
A is the set of system edges: The above equation denotes that j v is in i e .

Definition 2. (Incidence Matrix) The structural model can be described by the incidence matrix
A of ( ) The incidence matrix rows represent the constraint equations, and the columns represent variables." The structural model of ( )

M=
is mainly the bipartite graph or its incidence matrix.They are equivalent and are used according to the specific application context.Variables and parameter vertices connected to the vertices of the same equation must satisfy the constraint equations represented by the vertices of that equation.
In summary, the structural model of diagnosability can be described by a tuple: = , , , , , ,assump B E X Z .

Fault Diagnosis Based on Structural Analysis
As a model-based fault detection approach, the fundamental aim of structural analysis is to investigate the structural model to identify the subsystems that comprise ARRs (consistency relations, parity relations, and residuals) and to identify the ARRs included in them.The two generally used techniques for structural analysis are the matching of bipartite graphs and structural decomposition.Matching-based structural analysis is mainly used to obtain the ARR.It establishes the matching relationship of the unknown variables, utilizes the matched constraints, solves the unknown variables' analytical expressions, and then brings them into the non-matched constraints to obtain the ARR [24].
Structural decomposition is primarily used to break down the structural model into structurally underdetermined, structurally just-determined, and structurally overdetermined sections by Dulmage-Mendelsohn (DM) decomposition [25].And the ARR is incorporated into the structurally overdetermined element.The structural detectability and isolation are qualitatively analyzed by analyzing the sensitive relationship between the ARR and the faults and by building a fault characterization matrix [26].
z is a given observation, x is an unknown variable, and ( ) This problem is generally not easy to solve.Moreover, the time for obtaining observations and consistency checking must be as short as possible to ensure efficiency.Therefore, the consistency test's computational complexity must be reduced in order to ensure efficiency.( ) is the structural redundancy.The consistency relation is also known as the ARR, and the ARR exists in the structurally overdetermined sections.Therefore, the fault diagnosis is primarily diagnosed by finding the faults in the structurally overdetermined sections.In contrast, the faults in the other system sections cannot be diagnosed because of the absence of the ARR [27].
The consistency-based diagnostic approach uses the consistency relationship to make the diagnosis.There is a fault if the observed model is inconsistent with the planned model based on the known variables.Based on the consistency relations, the fault diagnosis problem is further turned into the issue of splitting the diagnostic model based on the consistency relations.Identifying whether the fault is in the overdetermined section can simplify the consistency test's complexity.

Principles of Fault Diagnosis Based on Structural Analysis
Consistency relations are represented as redundancy relations.The redundancy relations are derived by removing the unknown variables and creating the constraints between the known variables by algebraic elimination between the equations [28].The concept of the redundancy relationship is that the number of equations is more significant than the number of unknown variables.In structural analysis, the redundancy connection is reflected as structural redundancy, which commonly appears in the overdetermined section.In this scenario, the solution of the redundancy relation is no longer determined by algebraic elimination.However, it is further characterized by the matching connection between the equations and the unknown variables.It can solve for the unknown variables by matched constraints and introduce the analytical expressions of the unknown variables into the non-matched constraints to produce the ARR.
Therefore, the consistency-based fault diagnosis problem can be transformed into a structural overdetermination problem.The sensitive relationship between structural overdetermination and the faults is utilized to qualitatively determine structural detectability and isolability.( ) : The Definition 11. (Perfect Matching) A matching is a perfect matching when and only when EV ==.
According to the incidence matrix, the complete matching at E = is row complete matching, and the complete matching at V = is column complete matching.The known variables do not need to be defined by particular constraint equations.The matching is more significant for the solution of the unknown variables.Consequently, the matching connection of the structural subgraphs of the unknown variables is principally addressed.Definition 12. (ARR) Given a system model ( ) , there exists an equation eE  , where e is said to be the ARR if x can be determined by an equa- tion in \ Ee , i.e., ( ) Definition 13. (Redundant Equation) Given a bipartite graph ( ) By definition, it is recognized that the redundant equations exist only in the structurally overdetermined section.Each redundant equation may generate an ARR for producing system residuals for fault diagnostics.The ARR is a constraint relationship of the known variables.It equals zero when no fault occurs and non-zero when a fault occurs.The signal that describes the ARR is also termed the residual.Therefore, solving for the ARR starts with determining the redundancy equation, also known as the non-matched equation.If EX  , then there is redundancy.If there is column matching, the unknown variables can be solved according to the matching equations.The remaining non-matched equations, which are the redundant equations, are used to construct the ARR.Definition 14. (Structural Redundancy) Given a system model ( ) , , , , is the structural redundancy.
The basic principles of matching-based diagnostic system design: First, construct the structural model ( ) ,, XX G E X A ; Second, determine the column complete matching; Third, solve for the unknown variables based on the matching constraints; Fourth, build the ARRs based on the non-matched constraints; Fifth, based on the sensitivity relationship between the residuals and the faults, construct the residual characteristic matrix and analyze fault detectability.
In performing the theoretical analysis, it is not necessary to actually compute the residuals but only to discover the equations required to generate them.Find the matching constraints corresponding to the matching variables for each non-matching constraint.Thus, a non-matching constraint plus its matching constraints determines the set of equations (MSOs) required to create the residuals.

Structural decomposition:
Based on graph theory, a given structural model can be decomposed into three structural subgraphs: structurally overdetermined, structurally just-determined, and structurally underdetermined subsystems.

Definition 15. (Structurally overdetermined, structurally just-determined, and structurally underdetermined diagrams) ( )
,, G E V A is said to be: For any given system model ( ) , its structural model may not contain the three properties defined above.Therefore, M can be decomposed into three subsystems: ( ) ( ) The set of equations is decomposed as , and the set of variables is decomposed as M + is also said to be a structurally overdetermined subsystem and EV ++  .
M − is structurally just- determined and 00 EV = .
According to Definition 13, M − satisfies ( ) principle, the structurally overdetermined section implies the ARR, which can be used for diagnosability analysis.
The critical tool for structural analysis is DM decomposition, as shown in Figure 1.DM decomposition transforms the incidence matrix into an upper triangular matrix by appropriately ordering the constraint equations and variables.The blank part of the diagram is "0", the shaded part is "1 or 0", and a light-colored dotted line indicates matching.
By DM decomposition, the incidence matrix is decomposed into three parts: the , structurally just-determined part ( ) , and structurally overdetermined part ( ) . Where the structurally just-determined part can be further divided into 12 ,, n G G G .It can be seen that the DM decomposition of the system is not unique, but From Figure 1, it can be seen that there exists a column complete matching for ( ) , a perfect matching for ( ) , G E V , and a row complete matching for ( ) . By removing any of the constraints, the structurally overdetermined part still has a column complete matching.
The design of a diagnostic system is mainly through structural decomposition, based on the structurally overdetermined part to design the residuals.The specific steps are as follows: Firstly, establish the system structural model and determine the MSOs; Secondly, this redundant equation and the matched constraints associated with it are synthesized to form a collection of MSOs for generating residuals; Thirdly, a fault detection matrix is built based on the sensitive relationship between MSOs and the faults to analyze the fault detectability and isolability.

Fault Diagnosis Process Based on Structural Analysis
As shown in Figure 2, the steps of fault diagnosis based on structural analysis are as follows: Step 1: Establish the system behavior model.Based on the structure and function of the system, and based on FMECA, establish the behavior model.
Step 2: Establish the structure model.Based on the behavioral model, analyze the constraint relationship between the constraint equations and variables.Then, describe the structure model as a bipartite graph or incidence matrix.
Step 3: Analyze the structural characteristics.Based on the structural model, use the matching of the bipartite graph or DM decomposition to obtain the structurally overdetermined subsystem.Based on the matching, the matching ties of the unknown variables are found, and the unmatched constraints are identified to construct the ARR.
Step 4: Find the set of MSOs.Through DM decomposition, find the structurally overdetermined subsystem and design the MSO optimization algorithm to solve the MSO set.
Step 5: Analyze the fault diagnosability.Analyze the structural properties of MSOs containing the ARR.Establish a sensitive relationship between the faults and MSOs.Then, qualitatively analyze structural detectability and isolability.
Step 6: MSO Optimization.Based on the sensitive relationship between MSOs and the faults, the appropriate set of MSOs is optimized, and the residuals are constructed.
Step 7: Diagnosis strategy design.The faults are detected and isolated based on the sensitive relationship between the residuals and the faults.

DM decomposition
Constructing a fault characterization matrix

Diagnosability Architecture Based on Structural Analysis
The diagnosability structural and functional design presupposes that the diagnosability needs of the equipment are met.The primary analysis method is the qualitative evaluation of diagnosability.Its primary technical means is the optimized configuration of the system structure and function.Its primary purpose is to improve system fault information content and to ensure that the faults are easily detected and isolated.
Reconfigurability is the critical link of diagnosability design.Its object is to take the target state's structural controllability and observability.Its basis is to take the reconfigurability evaluation.Its constraint is to take the diagnosability demand.Its primary means is to take the structural and functional design based on reconfigurability.Its primary purpose is to take the improvement of the fault-tolerance control ability and the minimization of the fault reconfiguration cost.
Comprehensive diagnosis is the critical technology of diagnosability.This topic is based on the principle of diagnosability integration design through a comprehensive analysis of the essential factors to design the complete diagnostic architecture.These factors include the selection of diagnostic resources, the fault diagnosis, performance, and the fault-tolerance performance of the comprehensive diagnostic architecture.
Based on this, the control system diagnosability structure model is established, and its specific flow block diagram is shown in Figure 3.

Does it fulfill the reconfigurability requirements
Structural reconfigurability analysis   ( )

Diagnosability Evaluation Based on Structural Analysis
Diagnostic studies are categorized into diagnosability evaluation and diagnosability design.Diagnosability evaluation is the characterization of the fault diagnosis ability.For different evaluation purposes, diagnosability evaluation is divided into qualitative and quantitative evaluation.Diagnosability qualitative evaluation determines whether the fault can be detected or isolated.Diagnosability quantitative evaluation quantifies the difficulty of the fault diagnosis [29].

Qualitative Evaluation
The detectability and isolability of the faults are essential bases for reflecting the fault diagnosis performance.Therefore, it is necessary to analyze the diagnosability before designing a diagnostic system in order to determine whether the faults can be diagnosed and the difficulty of the diagnosis.As a basis for the design of fault diagnosis systems, structural analysis is an essential theoretical analysis tool for diagnosability analysis due to its methodological characteristics [30].It does not require numerical operations or the establishment of an exact analytical model; this allows the system to have a significant degree of design freedom [31].

Qualitative Evaluation Based on Structural Overdetermination
Based on the equivalence of structural overdetermination and analytic redundancy, the sensitivity relation between the residuals and the faults is transformed into a sensitivity relation between structural overdetermination and the faults.Thus, the problem of the diagnosability qualitative evaluation is transformed into the issue of the sensitivity relationship between structural overdetermination and the faults.The faults in the structurally overdetermined part can be detected by designing the residuals.If the faults belong to different structurally overdetermined parts, then the faults belong to other residuals.So, the faults in the different structurally overdetermined parts can be isolated.
is diagnosable if and only if: Krysander proposed a structural analysis-based fault diagnosability analysis method, which defined fault diagnosability and optimized the location of sensors to improve the detectability [32].

Qualitative Evaluation Based on Causality
Causal relationships between the system dynamic variables, which may limit the design of the residual observer, can impact diagnosability.
Frisk published three papers to address in detail the impact of causality on the qualitative evaluation of diagnosability [33].Specifically, Frisk analyzed the implications of integral causality, derivative causality, and mixed causality on the qualitative evaluation of diagnosability, respectively.Frisk obtained the following conclusions: 1.In structural analysis, causality does not affect the results of the qualitative evaluation of diagnosability if the dynamic variables and the corresponding derivatives are considered the same variables [34]; 2. In qualitative evaluation, the preconditions for the equivalence of integral causality and derivative causality are [35]: The system is free from factors such as noise interference; The initial values of the dynamic variables are known;

•
The dynamic variables are derivable, and the number of differentiations is not limited.
3. In the fault diagnosis process, differential causality should be minimized.
Based on the structural model, Frisk gave sufficient conditions for diagnosability under integral, differential, and mixed causality conditions.He analyzed the requirements for determining fault isolability under different conditions.In addition, the definition of the differential causality index was given, which related it to the difficulty of residual construction.According to the difficulty of integral causality calculation, a qualitative analysis method of diagnosability based on integral causality was given based on the principle of a low differential index.He obtained the result that the isolability under integral causality conditions was equal to the fault isolability of MSOs with a low differential index.
In addition, two residual generation principles based on the structurally overdetermined system were introduced: the sequence residual generation principle and the observer residual generation principle.Based on the principle of selecting differential indicators for low MSOs, the MSOs would be divided.The residuals could be obtained only through integral operations, avoiding the appearance of differentials in the computation process.

Qualitative Evaluation Analysis
Qualitative evaluation of diagnosability can only determine whether a fault can be detected and isolated.It is a clear guidance for the optimal design of system structure and function based on diagnosability.In contrast, the quantitative evaluation of diagnosability is a more precise guide for designing diagnostic strategies and methods.

Quantitative Evaluation
The quantitative evaluation of diagnosability focuses on quantifying the ease of diagnosing faults.The current method of quantitative diagnosability evaluation based on structural analysis is a measure of the similarity of the residuals associated with the fault.

Residual Similarity Metrics
The residual r in control theory is used to construct the test quantity ( ) Tz .There- fore, r of the MSO-based design system acts as ( ) Tz , which tests the original hypothe- sis ( ) . Thus, it determines the system's current behavioral pattern.In the diagnosability design, not only should the sensitivity of the residuals generated based on MSO to the fault be judged but the magnitude of the sensitivity of the residuals to the fault should also be fully considered.
The residual r should be zero if the system is free from disturbances and noise and no performance degradation or failure occurs.However, noise, interference, and other influencing factors inevitably appear in the system.Assuming that the noise is Gaussian white noise, the residual ( ) 0 0, fe rN obeys a standard normal distribution with mean 0 and variance e  when there is no fault.The distribution of the fault-free residuals 0 f r and fault residuals i f r in the two-dimensional residual space is shown in Figure 4.The problem of the similarity of the residuals is translated into an issue of evaluating the similarity of multivariate distributions in mathematical statistics.Furthermore, the difficulty of detecting i f can be measured by measuring the difference in probability distri- bution between i f r when i f occurs and 0 f r when there is no fault.The problem of iso- lating i f and j f can be measured by measuring the difference in probability distribu- tion between i f r and j f r .As can be seen from Figure 4, the difficulty of detecting fault The current metrics for measuring the similarity of multivariate probability distributions include Hausdroff distance, Kullback-Leibler (K-L) scatter, Jensen Shannon (JS) scatter, Bhattacharyya distance, modified distance, Fisher information distance, energy distance, Mahalanobis distance, Bayesian error rate, and so on.Table 1 discusses the current state of research on the quantitative evaluation of diagnosability at the present stage.The table analyzes and summarizes the residual probability distribution measurement strategy, method application scenarios, method characteristics, and related literature.Table 1.Methods for quantifying diagnosability and characterization.

References Application Scenario Specificities
K-L scatter [36] Low-dimensional discrete control system There is no diagnosability for some failure modes; quantitative evaluation of diagnosability is impossible when the system output dimension is one-dimensional; diagnosability metrics are asymmetric.
JS scatter [37] Low-dimensional ear control system It can compensate for the shortcomings of K-L scattering, but the computational effort and complexity grow exponentially with the increased control system dimensions.
Hausdroff distance [38] Low-dimensional discrete control systems Vulnerability to the selection of equivalent space vectors and system modeling uncertainty.
Bhattacharyya distance [39] Stochastic system The effect of random noise is fully considered and does not depend on any particular fault diagnosis algorithm; however, the results of the diagnosability evaluation of open-loop and closedloop control systems are inconsistent.
Modified distance [40] Continuous system Real-time fault diagnosis is possible; uncertainty faults can be handled effectively; the influence of noise on the results of diagnosability evaluation can be effectively overcome.
Fisher information distance [4] Modeling accurate discrete systems The designed diagnosability metrics have a precise geometric meaning, do not suffer from metric asymmetry, and are adapted to multi-failure scenarios.
Energy distance [41] Low-dimensional discrete control system Ability to overcome the effects of model uncertainty and process noise on diagnosability evaluation.
Mahalanobis distance [42] The dynamic system without distribution knowledge It does not require knowledge of the probability distribution of the noise.
Bayesian error rate [43] Modeling accurate discrete linear control systems More sensitive to external disturbances and noise.

Statistical cumulative sum [44] Structured dynamic systems
Evaluation metrics are asymmetric and susceptible to system noise disturbances.
Based on H  -parame- ter [45] Model accurate dynamic systems Only the ease of fault detection can be judged, and the evaluation metrics are susceptible to uncertain noise and disturbances.

Quantitative Evaluation Analysis
The advantages of the quantitative evaluation method of diagnosability based on the system model are that the residuals are more flexible, and the physical meaning is more precise.The disadvantage is that the residuals are susceptible to model uncertainty, noise, interference, and other factors.The residual construction based on the parity space method is vulnerable to the selection of the left-zero space matrix and the length of the time window, which are hyperparameters that can easily affect the final diagnosability evaluation results.

Diagnosability Evaluation Analysis
Both qualitative and quantitative evaluations of diagnosability have their scope of application.From the point of view of the amount of diagnosability information, quantitative evaluation provides more information with which to determine whether a fault can be diagnosed and to quantitatively characterize the difficulty of fault diagnosis.In contrast, qualitative evaluation can only determine whether a fault has been detected or isolated.From the designer's point of view, quantitative evaluation is more valuable.However, qualitative evaluation is more efficient from the testing point of view.In terms of evaluation difficulty, qualitative evaluation favors a structural and functional approach to the system.Therefore, qualitative evaluation requires a higher level of a priori knowledge, such as the structure and function of the system.In contrast, quantitative evaluation favors a data-processing perspective and requires more data analysis and processing ability.
The diagnosability evaluation is a characterization of the ability to diagnose faults.Suppose the diagnosability index of a fault is more significant than its threshold and that the difference between the two is enormous.In that case, the difficulty of fault diagnosis is minor, and more straightforward methods can be used.Suppose the diagnosability index of the fault is more significant than its threshold value, but the difference between the two is insignificant.In that case, the difficulty of fault diagnosis is enormous, and it is necessary to design precise and complex methods.Suppose the fault diagnosability index value takes less than its threshold value and is close to zero.In that case, it indicates that the system provides less fault information.The structure and function of the system need to be optimized and designed to increase the fault information [46].It can be seen that the diagnosability evaluation is the basis of diagnosability design, and diagnosability design is the basis of diagnosability evaluation.Diagnosability evaluation and design promote each other and work together to improve fault diagnosis performance.

Diagnosability Design Based on Structural Analysis
Diagnosability design mainly includes inherent diagnosability design and actual diagnosability design.Inherent diagnosability primarily refers to the fault diagnosis performance reflected by the hardware design characteristics.Inherent diagnosability is in the system design stage.The designer goes through the system hierarchy, functional structure, physical architecture, electrical, and other divisions to give the system specific diagnosability capabilities.Inherent diagnosability is the meeting of the diagnosability requirements as a prerequisite to configure the diagnosis resources to maximize the diagnosis capability rationally.Actual diagnosability is the fault diagnosis, fault detection, and fault isolation capability determined by the inherent diagnosability.It mainly includes fault diagnosis methods, fault diagnosis strategies, fault diagnosis metrics, etc.

Inherent Diagnosability Design
As shown in Figure 2, the control system structure and function design are based on the diagnosability model.Its criterion is the qualitative demand for diagnosability.Its means of assessment is the qualitative evaluation index of diagnosability to analyze the detection and isolation of the faults qualitatively.Furthermore, the diagnosability performance is optimized by utilizing the optimal layout of the sensors, the optimal design of the system structure and function, and the further modeling of the faults.The diagnosable structure and function design is a dynamic process of "analysis-design-optimization-redesign" to meet or exceed the qualitative demand for diagnosability.

Optimized Design of MSO Search Algorithm
The key to structural decomposition is to extract the structurally overdetermined part.Only the structurally overdetermined part implies the ARR.Based on the structurally overdetermined part, the set of MSOs is obtained through further division to establish the sensitive relationship between the MSOs and the faults.
Schmid took the reconfigurable battery system as the research object, established the structural model based on structural analysis, gave the sufficiency conditions of fault structure detectability and isolability, and transformed the fault diagnosis problem into the MSO search problem.In addition, based on the greedy algorithm, the traditional MSO search algorithm was optimized to simplify the computational complexity of MSO.And the superiority of the proposed MSO algorithm was simulated and verified [47].Krysander aimed at the cumbersome process of obtaining the MSO set and a large amount of computation in the traditional structural analysis.Krysander designed the MSO optimization algorithm based on the structural equivalence classes, significantly reducing the number of iterations and ensuring the algorithm's timeliness [48].Zhang addressed the problem that the number of MSOs showed exponential growth with increased system complexity.He designed a diagnosability index to measure the degree of diagnosability of the residual candidate set to reduce the number of residual candidate sets and maximize fault detectability and isolation [49].Armengol analyzed and introduced the MSO algorithms, the CBMSOs algorithm, the SARR algorithm, and the PCC algorithm.He compared the merits and drawbacks of the four algorithms in finding the MSOs, analyzed the computational complexity of each algorithm, and used the dual-capacity water tank system; thus, he simulated and verified the performance of each algorithm's performance and complexity [50].Pere-Zuniga converted the fault diagnosis problem into an MSO problem based on the linear programming algorithm of binary integers that solves the MSO set and analyzes the fault detection and isolation [51].
The search problem of MSO is the optimization problem.The current algorithms for solving the optimization problem are the particle swarm algorithm, the genetic algorithm, the ant colony algorithm, the neural network, and other intelligent optimization algorithms [52].Adopting suitable optimization algorithms has a certain degree of influence on the speed and accuracy of the MSO search [53].

Sensor Configuration
Faults in the structural overdetermination are detectable.But whether or not they can be isolated depends on whether or not the fault is in a different structurally overdetermined part.Therefore, for non-isolatable faults, the sensitive relationship between the fault and the structural overdetermination of the system can be optimized by sensor configuration, increasing the fault's isolability.
Rosich proposed a sensor configuration algorithm based on structural analysis.First, a causal structural model was established to analyze the fault's structural detectability and isolation.Second, based on the causal relationship between variables, the sensor configuration algorithm was designed to minimize the sensor configuration cost while ensuring the fault diagnosis capability.The causal relationship was fully considered in order to find the set of MSOs used to generate the residuals [54].Commault investigated the sensor configuration problem of linear systems to analyze the impact of the location and number of sensors on the fault diagnosis performance.First, from the perspective of structural analysis, the influence of the positional distribution of sensors on the fault diagnosis performance was analyzed.Through structural analysis, redundant sensors that did not contribute to fault diagnosis were removed.Second, a simplified sensor configuration system model was established to transfer the sensor configuration problem of the original system to the simplified system, which dramatically simplified the difficulty of sensor configuration.Finally, considering the number and cost of sensor configurations, an optimization algorithm was designed to obtain the optimal solution.The optimal solution not only ensured the fault diagnosis performance but also ensured that the number of sensors and the cost were minimized [55].Chen addressed the sensor configuration problem of the antilock braking system to ensure that the fault diagnosis needs were met; the ARR was increased through the sensor configuration, which increased the fault diagnosis performance [56].Chen transformed the problem of diagnosing a system's faults into solving the system's minimum structural overdetermination and generating the system's residuals using the set of the minimum structural overdetermination [57].Rahman analyzed the impact of the number and type of sensors on the fault ability of the pneumatic system.He classified the diagnosability of pneumatic system faults and proposed a structural analysis-based fault diagnosis method.First, a structural analysis model was established to analyze the structural detectability and isolability based on DM decomposition.A sensor configuration algorithm was designed to optimize the sensor configuration scheme [58].

Diagnosable Structural and Functional Optimization Design Based on Structural Analysis
To improve the diagnosability and meet the qualitative and quantitative diagnosability needs of the system, it is necessary to optimize the structure and function, increase the redundancy relationship, improve the information content of the faults, and then increase the structural detectability and structural isolability.
Dustergor proposed two methods to ensure fault isolability: the first one is to add sensors, and the second is to merge the fault modes.The effectiveness of the proposed methods was also analyzed based on the structural model of the DAMADICS valve [59].Ng built a fault characterization and isolation matrix based on the engine system's structural model to analyze the fault diagnosis performance.The fault diagnosis performance of the gasoline engine system was enhanced by designing additional residuals without adding physical sensors [60].

Actual Diagnostic Design
The actual diagnosability design is based on the structural and functional design of diagnosability; it comprehensively analyzes the natural influencing factors in the fault diagnosis process to further optimize the diagnosability of the faults.

Design of a Diagnostic System Based on Structural Analysis
Natural control systems have many uncertain influencing factors; so, designing a fault diagnosis system based on structural analysis faces many difficulties.Table 2 discusses the central fault diagnosis strategies based on structural analysis at the current stage.The method can diagnose any fault; the residual selection criterion is designed to select the optimal diagnostic test with the most desirable diagnostic performance from candidate solutions.
Jiyu Zhang [66] Drive-by-wire systems Mechanical stiction fault and pedal sensor fault Zhang generated system residuals based on the MSO ensemble and further detected and isolated the faults through sensor design.
This method is not practical in dealing with unknown faults and slow-changing faults.
Thyge Knüppel [67] Electrical distribution systems Defects in instrumentation, power generation, transformation, and transmission Knüppel proposed a method for fault diagnosis of power distribution systems.
The method is susceptible to noise as well as external interference.
Changxiong Chen [68] Four-tank monitored system All faults Chen proposed a diagnosability analysis method for augmenting and generalizing structural models.
The method significantly reduces the structural analysisbased diagnosis time and the computational complexity.
Xueming Li [69] Traction system Sensor and IGBT faults Li proposed a real-time fault diagnosis method for pulse rectifiers of traction systems based on structural analysis.
The method requires a detailed analytical model.It enables real-time diagnosis of various types of faults based only on the ARR between sensor signals.

MSO-Based Residual Observer Design
The principle of fault diagnosis based on structural analysis is to use the ARR to build a test set as a residual generator and to determine whether the system is faulty based on the residual signal generated.The structural analysis-based fault diagnosis system generates residuals based on MSO and designs fault diagnosis strategies and methods based on the sensitive relationship between the residuals and the faults.As the structural model ignores the constraint relationship between the variables, the design of residuals in practice will encounter various difficulties, such as the causal relationship of dynamic variables, noise, unknown inputs, interference, modeling uncertainty, and other effects.
(1) Impact of causality Causality reflects the constraints between dynamic variables and can be categorized into integral causality, derivative causality, and mixed causality.
Svard proposed a causality-based residual generation method to determine the computational sequence by designing three unknown variable computational tools: the AE, differential equation-solving, and differential tools.He considered the complexity of the variable solving and the numerical constraints to design a sequential residual generation algorithm for solving the problem of the optimal residual observer [70].Roscih proposed a residual generation algorithm with full consideration of causality.He built a causal structural model to analyze the detectability and isolation of the causal structure of faults.He designed an algorithm to solve the causality-based MSO set for generating a computable residual set.The designed algorithm was applied to the fault diagnosis of linear or nonlinear systems based on the model [71].Aslund addressed the causality-based residual generation process, where the differentiation of a known signal is difficult to estimate in a noisy signal.The computation of higher-order derivatives in linear models was avoided by adding a stable residual generator of any order to the consistent relation, and the appearance of higher-order derivatives in nonlinear models was avoided by introducing residual generation dynamics and a nonlinear transformation [72].
(2) Other influences The design of the residual observer is also affected by other influences, such as the system's complexity, controllable and observable properties, external disturbances, and the cost of residual generation.
Svard was oriented towards control systems of varying complexity and designed two such algorithms to minimize the number of residual observers while ensuring the fault isolability metric.First, an algorithm was proposed for micro-small systems to satisfy the isolability requirement and the minimum residual candidate set.Second, the requirement of a residual candidate set was relaxed for large and complex systems.An approximate solution of the residual candidate set was obtained based on a greedy heuristic search algorithm for large and complex systems that cannot be solved by the first algorithm [73].The residual observers designed by Commault can circumvent the effects of disturbances on the residual observers.First, the design analyzed the detectability of faults under single multiple-observer architectures.Second, a structured matrix was constructed; its structural analysis was performed, and a residual vector was designed based on the single observer architecture.The disturbance residual transfer matrix was made to be zero.The fault residual transfer matrix was made to be a diagonal element to avoid the influence of external disturbances on the residual signals and to ensure the stability of the closed-loop system [74].Papaliakos proposed a residual generation method.Based on the system structural model, the effect of the causal relationship between the variables on residual generation was analyzed.Secondly, a weighted directed graph model based on structural redundancy relationships was established as the basis for the cost model of the residual generation.The cost and time of the residual generation were reduced based on the combination of a priori and a posteriori knowledge [75].Falkenberg analyzed the effects of noise and interference factors on residuals based on the principle of hypothesis testing.He utilized the residual characteristics of detected faults for fault isolation analysis.At the same time, he used dynamic detection algorithms to estimate the size of the fault and thus assess the severity of the fault [76].

Fault-Tolerant Control Based on Structural Analysis
It is claimed that system failures are reconfigurable; currently, this is the case only if the target state has at least one reconfigurable path in addition to the failure path.The current aspect of fault-tolerant control based on structural analysis is still at the stage of theoretical analysis.
Gehin designed a graph-theory-based system reconfigurability method to define a causal diagram of the system based on causal matching and to analyze the structural analysis, controllability, and other properties.He expressed the reconfigurability as multiple controllable paths in the causal diagram of the system [77].Zhang addressed the critical issues of the diagnosability and reconfigurability of an electric vehicle drive system driven by a permanent-magnet synchronous motor.Firstly, a structural analysis model was established.The definitions of fault structural detectability and isolability were given based on DM decomposition.Secondly, the structural reconfigurability determination conditions were presented based on the structural controllability and observability.Finally, based on the tram-driven model, the reconfigurability was analyzed for sensor failure [78].Izadi-Zamanabadi proposed a fault-tolerant control architecture based on structural analysis and gave the conditions for structural observability.The possibility of sensor fusion was explored from the perspective of structural observability based on the reconstruction of the bipartite-directed graph.The necessary conditions for structural observability were established [79].

Diagnosability Design Analysis Based on Structural Analysis
In summary, structural analysis can deeply analyze diagnosability characteristics and guide system diagnosability design.As the control system's structure and function become more complex, the safety requirements become higher and higher.In addition, the related computer technology, network technology, computational methods, sensors, and other technologies have undergone significant development, which makes it necessary to carry out a more in-depth study on the design of diagnosability based on structural analysis.

Diagnosability Index System Based on Structural Analysis
Assuming that the control system has f N kinds of failure modes i f , 0,1, , ( ) ( )  represents the threshold of isolability metrics for i f and j f under k  .
i w is the analytical weight of i f .Here, the diagnosability quantification adopts the diag- nosability quantification method based on K-L dispersion, as referred to in [36]. (

1) (Structural) Detectability rate
The detectability rate a is used to describe the coverage of fault diagnosis, i.e., the ratio of fault modes to the total number of fault modes as determined by the structure and function: represents the diagnostic coverage.The larger a represents the higher structural detectability.i a describes the diagnostic coefficient of i f , and the larger i a represents the more significant contribution of i f to the detectability.
The analysis weight of i f is measured by the failure rate i f  .The higher the i f  , the higher the weight i w of i f .i w can be determined according to the diagnosability requirements.i v is used to determine whether i f is detected or not.
(2) (Structural) isolatability ratio The isolatable rate indicates the isolation of faults as determined by the system structure and function.It is described by the ratio of isolatable fault modes to total fault modes: where , ( ) ( ) The larger ( ) j c  is, the higher the fault detection rate under j  .In the above equa- tion, ( ) ij c  denotes the detection accuracy of i f under j  .
( ) r  indicates the con- ditional probability that no false alarm will occur under j  when no fault occurs, which is another sense of the "correct" diagnosis probability.
( ) r  denotes the conditional probability that i f is correctly detected under j  when i f occurs.( ) ( ) ,, |, The larger ( )  ( ) ( ) ( ) ( ) ( ) ( ) The detectability and isolability rates are diagnosable characteristics determined by the structure and function of the system.Therefore, the detectability and isolability rates are mainly utilized in the diagnosability structure and function design stage to evaluate the diagnosability.If the detectability and isolation rates fail to meet the diagnosability requirements in the structural and functional design phase, structural and functional optimization design is required.Otherwise, the detection and isolation of undetected or isolated faults cannot be guaranteed through the design of diagnostic strategies and methods.Detection and isolation accuracy are evaluated from the perspective of actual operation by considering various influencing factors and assessing the diagnostic stratagem.To a certain extent, it reflects the difficulty of fault diagnosis.The real-time detection rate and the real-time isolation rate reflect the real-time index of fault diagnosis, while the resource consumption rate reflects the level of the diagnosis of resource consumption.
Combining the above seven diagnosability assessment indicators, the comprehensive diagnosability evaluation indicators are obtained: ( ) In the above equation And  also affects the range of values for the composite indicator .Composite indicators can comprehensively consider the various influencing factors of diagnosability and their combinations.They can evaluate the analyzing weights of each side.Therefore, comprehensive indicators have particular applicability to the design of the diagnosability.From the system design perspective, comprehensive indicators can give designers a sound theoretical basis and freedom.The traditional control system is designed to meet the diagnosability demand through the continuous adjustment and optimization of diagnostic methods after the completion of the structure and function design.The integrated design based on diagnosability, on the other hand, begins from the viewpoint of the integrated design of the structure and function as well as the diagnostic strategies and methods.It satisfies the demand for diagnosability through the continuous optimization of the diagnosability to improve the fault diagnosis performance.Therefore, diagnosability design improves the fault diagnosis ability from the system design level, which is the advantage of diagnosability design.As a vital means of diagnosability assessment, the diagnosability index plays an irreplaceable role in the diagnosability design.

Research Outlook
The diagnosability design based on structural analysis mainly suffers from the following shortcomings.Firstly, the computational cost of the MSO algorithm is significant, and the computational efficiency is low.Secondly, the influence of system noise interference and other uncertainties on the residuals generated based on the MSO set is not comprehensively considered.Furthermore, the design of the diagnosability in the underdetermined part has not been taken into account.Lastly, the theory of reconfigurability in the analysis stage and the design of the system's reconfigurability to ensure the system's fault tolerance are not addressed.Therefore, the future research focuses are as follows: (1) Comprehensive diagnostic architecture design The basic idea of comprehensive diagnostic optimization design is to satisfy the diagnosability and reconfigurability needs as the basis.Comprehensive diagnostic design finds the optimal set of diagnostic resources in the system resource space.It aims to reduce the diagnostic time and diagnostic cost.The allocation of diagnostic test resources is the key to measuring the level of diagnosability, which is related to the overall fault diagnosis performance.It occupies an essential position in the design of diagnosability.
(2) Research on structural characterization based on structural underdetermination system With the existing fault diagnosis methods based on structural analysis, most of the objects studied are overdetermined or just-determined systems.When the system under study is overdetermined, a large amount of the existing literature provides a variety of fault detection or fault isolation methods to analyze and study.It guides us in selecting the residuals, in generating them to detect faults, etc.When the system under study is justdetermined, the methods for adding sensors to make it an overdetermined system that satisfies the fault isolation requirements are given.Subsequently, the existing methods for overdetermined systems are utilized to study it.However, for underdetermined systems, there is less literature related to them that is based on structural analysis.As industrial systems become increasingly large and complex, different devices of the same design may also be distributed in other areas, leading to a localized system becoming an underdetermined system.Therefore, it is necessary to conduct an in-depth study of the structural characteristics of underdetermined systems.
(3) Optimized configuration of sensors for underdetermined systems In the existing structural analysis method, most of the research objects related to the optimal configuration of sensors are for overdetermined or just-determined systems.In contrast, the research on the optimal configuration of sensors for the underdetermined system is less.Typically, the sensor configuration problem involves understanding how to add sensors to increase the system's redundancy, how to identify which variables can be measured by additional sensors, how to use fewer sensors, how to optimize the placement of sensors for better diagnostic results, and so on.Most of the existing research on these issues is on overdetermined or just-determined systems.For the sensor configuration of underdetermined systems, it is also necessary to consider the effect of adding sensors on the correlation (dependency) between the system's internal components; this is worthy of in-depth exploration.
(4) Multi-fault detection and isolation With the existing structural analysis methods, faults are usually set as single faults, i.e., only one fault occurs at a specific moment when the system fails.In the existing literature, there are more studies on fault diagnosis methods with single-fault assumptions, and the theories are more mature.However, there are fewer studies on multi-fault systems.In dynamical systems, the multi-fault problem is a bit more complicated.In a dynamical system, for the same residual, its transient response for one fault may overlap with the quick response of the residual for another subsequent fault.Even the former fault response may mask the latter, making some faults challenging to observe and making fault detection more difficult.Therefore, the coupling of faults and the mutual influence of fault phenomena in the diagnosis of multi-fault systems need to be further investigated.A faster and more effective diagnostic method needs to be employed to identify the faults and to clarify the diagnosable characteristics of the system under multi-fault conditions.
(5) Residual observer design based on structural analysis and advanced control theory Combine the existing estimation techniques (e.g., sliding mode observer) with structural analysis to design a more robust residual generator to achieve the best fault sensitivity while suppressing disturbances.(6) Reconfigurability design based on structural analysis It is more important for the system's reliability to reconfigure the system faults and to detect and isolate them.(7) Hybrid intelligent fault diagnosis method based on structural analysis Sensitive relationships with the system faults are constructed through structural analysis, which is used to build the training set of intelligent diagnosis algorithms and to improve the richness of the dataset of intelligent fault methods.
As the structural and functional complexity of control systems gradually increases, future diagnosability studies based on structural analysis may face the following challenges: First, the difficulty of searching the system MSO set will increase, and in the future, it may be necessary to work with intelligent optimization algorithms to improve the speed and accuracy of MSO search algorithms.Second, there will be a rise in the number of mathematical parameters and the degree of interaction between them.The outcomes of the diagnostic analysis of the system based on the structural analysis will not be impacted by the complexity of the system's data or structure.However, this will make it much more challenging to apply the results of the diagnostic theory to the control system's diagnostic structure and function design reasonably and efficiently.Finally, system faults will increase, especially those in the underdetermined part of the system structure.The degree of coupling between the faults will become complex, which poses a severe challenge to the evaluation and design of diagnosability based on structural analysis.

Summary
In the field of model-based fault diagnosis, structural analysis is a simple and efficient method.Structural analysis takes the structural model of the fault diagnosis system as the research object and searches for the analytic redundancy part by analyzing the topology of the system's model equation set.Structural analysis identifies the diagnosable characteristics of faults, designs the system residuals, and deals with the optimal configuration of the sensors to provide guiding opinions for the diagnosis of faults, the design of the diagnosable system, and the control of the fault tolerance of faults.
Based on the structural analysis, this paper first designs a structural model of the control system's diagnosability and a flow chart of the diagnosability design.Secondly, it analyzes and summarizes the current development status of diagnosability based on the structural analysis in recent years related to diagnosability evaluation and design.It also designs a diagnosability index system according to the results of the quantitative and qualitative evaluation of diagnosability based on structural analysis, laying the foundation for diagnosability development.Lastly, based on current structural analysis and the future development focus, it discusses in detail the problems of diagnosability development.

5 .
of i c .The validity of each equation depends to some extent on the current behavioral practice of the module.Thus, an ascontrol system analytical model.The variables of E can be catego- rized into the known variables Z and the unknown variables X , and the domains of  x behavioral patterns.The system's behavioral patterns can be classified into single-fault and multi-fault behavioral patterns depending on each module's behavioral pattern.mapping from the equations to the behavioral patterns.The behavioral pattern determined by e can be defined as( ) Structural Modeling and Structural Modeling of Diagnosability

Definition 3 .
(Structural Redundancy) Given a system model M

Figure 2 .
Figure 2. Fault diagnosis process based on structural analysis.

Figure 3 .
Figure 3. Diagnosability structural model based on structural analysis.

2 ff r and 2 fr 1 f r and 2 fr
can be quantified by obtaining the probability distributions of 0 in the re- sidual space, then utilizing the relevant tools to evaluate the difference in probability distributions between 0 f r and 2 f r .Similarly, the isolation difficulty of faults 1 f and 2 f can be quantified by obtaining the probability distributions of and measur- ing the difference in probability distribution between them.

Figure 4 .
Figure 4.The fault residual distribution in the case of no interference.
coverage.The larger b rep- resents the higher structural isolability.i b describes the isolability coefficient of i f , and the larger i b indicates that i f contributes more to the isolability.(3) Detection Accuracy Detection accuracy ( ) c  measures the accuracy of system fault diagnosis under the influence mode j  : weights of the indicators, which can be adjusted according to the needs of the fault diagnosis, and 1 ta ii ww += .(4) Isolation Accuracy The isolation accuracy rate ( ) k d  measures the accuracy of the system fault isolation under k  :

w
are the weights of the indicators, which may be altered to meet the requirements of the fault diagnostics, and 1 fb tb ii ww += .(5) Real-Time Detection Rate The real-time detection rate ( ) j e  characterizes the speed of fault detection under j  :


represents the analytical weight of the indicator for i f under j  . is the analytical weight of the resource consumption rate indicator.
2.2.1.Principles of Consistency-Based Fault DiagnosisConsistency-based fault diagnosis is based on a diagnosable model and the value of

Table 2 .
Current status of research on fault diagnosis strategies based on structural analysis.
the higher the isolation rate under the influence of k  .In the