Research Article  Open Access
Design of a Fault Detection and Isolation System for Intelligent Vehicle Navigation System
Abstract
This paper deals with the design of a fault detection and isolation (FDI) system for an intelligent vehicle, a vehicle equipped with advanced driver assistance system (ADAS). The ADASs are outfitted with sensors for acquiring various information about the vehicle and its surroundings. Since these sensors are sensitive to faults, an efficient FDI system should be developed. The designed FDI system is comprised of three parts: a detection part, a decision part, and a fault management part. The detection part applies a generalized observer scheme (GOS). In the GOS, there is bank of extended Kalman filters (EKFs), each excited by all except one sensor measurement. The residual generated from the measurement update of each EKF is therefore sensitive to all sensor faults but one. This way, the fault sensitivity pattern of the residual makes it possible to detect a fault and locate the faulty sensor. The designed FDI system has been implemented and tested offline with actual experiment data. Good results have been obtained with diagnosing individual sensor faults and outputting faultfree vehicle states.
1. Introduction
Nowadays, the development of ADASs, which aids the driver by controlling the vehicle, is emphasized in the road transportation research. These automotive mechatronic systems are outfitted with sensors, such as radar, odometers, and accelerometers, for acquiring various information about the vehicle and its surroundings. Since these sensors are sensitive to faults, an efficient FDI system should be developed, such that based on the sensor measurements, sensor faults can be detected and isolated online, therefore ensuring the correct functionality of ADASs.
A sensor is called faulty if it displays a measurement that deviates significantly from the characteristic properties. This deviation could appear in several forms, namely, bias, drift, complete failure, and precision degradation. The FDI system contains a fault detection system, which is followed by a fault isolation system. The definition of the fault detection is to make a decision: whether some fault happens or not. The definition of the fault isolation is to determine exactly the location of the fault, for example, which sensor has become faulty. Because a reliable vehicle model can be constructed, the discussion of modelbased FDI strategies will be emphasized. Additionally, regarding the sensor fault that might occur, the following assumptions can be made.(1)Only one fault can be present at the same time.(2)All sensors can have partial and complete faults.(3)Complete faults can be considered as an additive fault with fault size equal to the negative value of the real sensor signal.(4)Usually faults are additive and transient (i.e., they disappear after a while).
Modelbased FDI is the method to determine faults of a system from the comparison of available system measurements with a priori information represented by the system’s mathematical model. The structure of modelbased FDI can be seen in Figure 1, where the residual is a fault indicating signal and the decision making is to examine the residual for the likelihood of the faults [1].
Since the early 1970s, many approaches for modelbased FDI have been developed and the available literature is very broad. Survey papers that give a comprehensive overview of the available methods for FDI are [2–7]. During the 1990s the number of applications of modelbased FDI especially increased rapidly. Applications to automotive control systems can be found in [8–17]. Research into FDI for ADASs has principally been carried out by California PATH. Various publications treat the application of different FDI approaches and discuss experimental results.
In the following, the outline of the widely used modelbased FDI strategies is provided. The state observers [3, 18] mainly include dedicated observers (deterministic system) and innovation based approach (stochastic system) for multioutput processes.(1)Observer, excited by one output: from this output the other outputs can be reconstructed and compared with the corresponding measurements (single sensor fault detection).(2)Single Kalman filter (KF) driven by all outputs: the change in the stochastic innovation indicating changes on the internal states of the process.(3)Bank of observers, excited by all outputs: this is suitable if the faults inflict changes on the internal states of the process.(4)Bank of observers, each excited by a different output (dedicated observer scheme, DOS): it can be used to diagnose a single sensor fault or multiple sensor faults.(5)Bank of observers, each excited by all outputs except one (generalized observer scheme, GOS): this method improves the robustness of the FDI system but can only diagnose a single sensor fault.
The modelbased FDI schemes have been successfully applied to the complex vehicle dynamics model and achieved the robustness to the model uncertainties. In [19], the dedicated observer is designed. The yaw rate and the lateral acceleration can be reconstructed and compared with the corresponding measurement from the gyroscope and the accelerometer. The method detects and isolates a single fault in one of these sensors accurately. Authors in [20] use a single KF driven by the full output vector and make use of the fact that the residual is white noise with zero mean when no fault occurs. The occurrence of a fault is monitored by statistical innovation tests of whiteness, mean, and covariance. The application of GOS can be found in [3], where a bank of observers or KFs is applied to construct a GOS. Each observer is driven by all inputs and all but one output to diagnose a sensor fault.
Additionally, in the very recent work from [21–23], the EKF is used to calculate the measurement probability distribution of the intelligent vehicle position for nonlinear models driven by Gaussian noise. Using the probability distribution of innovation obtained from EKF, it is possible to test if the measured data are fit with the models. When the sensor faults happen, the models will not be valid and the innovation will not be Gaussian and white.
The main contributions of this work are that, unlike previous studies this work will emphasize on the following: in order to ensure the proper functioning of ADASs on an intelligent vehicle, a modelbased FDI system is designed to diagnose a single sensor fault with the consideration of the system’s disturbance and noise. The details of the contributions are to(1)improve residual generation using observerbased method,(2)increase the robustness of modelbased FDI to disturbances and noises,(3)construct analytical redundancy to provide a reliable estimate for the faulty sensor signal, such that the ADAS performance can still be guaranteed.The overview of the designed FDI system is shown in Figure 2.
This paper is organised as follows. Section 2 describes the sensor measurements. In Section 3, vehicle state estimation strategy is provided. Section 4 deals with the fault detection and isolation system design. In Section 5, experimental results are shown. The conclusion and future work are discussed in Section 6.
2. Sensors Measurements Specification
The test vehicle is a Smart vehicle that is a small 2door vehicle with an automatic gearbox. The Smart is rear wheel driven and the engine is placed in the middle of the vehicle. In this work, the Smart is equipped with necessary sensors, GPS and INS: accelerometer, odometer, and gyroscope. Interfacing of the sensors of the Smart is done using combination of a controller area network (CAN) and a laptop. Table 1 describes the variance, bias, and the drift of each sensor measurement, obtained from the product datasheet or calculated from the raw data.

For global position estimation a Trimble Lassen Differential Global Positioning System (DGPS) receiver has been used. In our experiment, the following GPS signals are applied: quality, horizontal dilution precision (HDOP), number of satellites, time, longitudinal/lateral position, heading, and velocity. Based on the product datasheet, we know the DGPS update rate is 1 Hz and the accuracy is ±5 m.
Two accelerometers have been used to record the lateral and longitudinal acceleration of the vehicle. The accelerometer signals have an update rate of 50 Hz and are biased. This bias is a low frequency signal in the accelerometer that is always present. The yaw rate measured from the gyroscope has the range of 100 degree/s and its bias is less than 2 degrees/hour. In our experiment, odometers are used to measure the wheel speeds of the vehicle.
3. Vehicle State Estimation
For nonlinear systems the general stochastic difference equation for discrete systems is defined by where is the nonlinear function. In this work, Euler’s numerical integration method with a fixed time step is used for deriving the difference equation. In practice, the values of the noises and are not known and is also set to zero because in the proposed system there is no control input; therefore the state and measurement vectors have to be approximated by where is the estimate of the state based on the measurement (a posteriori).
The variables and are assumed to be Gaussian with zero mean and are represented by their covariance matrices and . represents a normal distribution: Two kinds of estimation errors can be defined, the priori estimation error and the a posteriori estimation error . They are described by where is the a priori state estimate based on knowledge of the process prior to step and is the posteriori state based on the measurement . The covariances of the estimation errors are defined by where is the priori estimate error covariance and is the posteriori estimate error covariance.
The EKF algorithm consists of two stages, time update and measurement update [24]. The different steps in the time update stage are where is the Jacobian of the system model equations .
The different steps in the measurement update stage are where is the Kalman gain that minimizes the posteriori estimate error covariance and is the Jacobian of the measurement function .
Although, the variables and in (1) are assumed to be Gaussian with zero mean, the assumption Gaussian is not often practically satisfied. Hence, the matrices and cannot be seen as covariance matrices, but as high level tuning parameters, leading to suboptimal solutions. Additionally, the linearization in EKF can lead to poor performance and divergence of the filter for highly nonlinear problems. An improvement to the EKF is some local nonlinear estimators, divided difference filter, unscented Kalman filter (UKF), and so forth. The UKF approximates the probability density resulting from the nonlinear transformation of a random variable instead of approximating the nonlinear functions with a Taylor series expansion. The UKF has a slightly optimal performance compared to the EKF when used in a vehicle navigation state estimation system. However, since the low dynamics of a vehicle make the potential linearization errors of the EKF negligible and the computational time of the UKF is much greater than that of the EKF, the EKF is still chosen in this work to do the vehicle state estimation [25].
3.1. Sensor Fusion Strategy
Based on the sensor measurements, as listed in Table 1, and a vehicle kinematic model, an EKF can be designed to estimate some important states of the Smart. An overview of the sensor configuration for the Smart is shown in Figure 3. In this configuration, INS measurements are also used to update the vehicle estimated position and heading when DGPS update is not available.
3.2. Extended Kalman Filters Design for the Smart Car
The motion of a vehicle will be referred to as a navigation frame which is described by a right handed orthogonal axis system () on the Earth. A second reference frame (base frame) fixed in the vehicle is described by axes () fixed along the central principal axes of the vehicle. The relation between navigation and base frame can be seen in Figure 4.
The sensor measurements will be assigned into different frames. DGPS longitudinal, lateral positions, and heading are in the navigation frame. The acceleration and wheel speed measured from INS are in the base frame. To obtain a trajectory in the navigation frame it is necessary to convert the inertial signals from the base frame to the navigation frame, where we assume that the road is flat and then neglect the and axes. This can be done by the following matrix (a simplified form of the direct cosine matrix):
3.2.1. Vehicle FourWheel Model
In this section, the EKF based on a kinematic fourwheel vehicle model is designed, which is shown in Figure 5. The assumption is that the test track, on which the Smart is driven, is flat.
In order to reproduce the trajectory followed by the vehicle, kinematic rules for the model have been used to describe the motion of a vehicle. The kinematic vehicle model can be developed as where and are longitudinal and lateral positions in the navigation frame and indicate the longitudinal and lateral velocities in the base frame. Additionally, for each wheel speed we have
where are wheel speeds measured from the front left, front right, rear left, and rear right wheels, is the yaw rate, are lengths from front and rear axles to the Smart COG, and are the length of front and rear track. Equations (12) and (13) are derived from the condition that rear wheels are not steering wheels and their wheel angles are equal to zero.
All model states are described in Table 2, where the bias sates are modelled as random walks. By using the random walk model, growth of uncertainty of the true value of the bias and the rate at which it varies can be reflected [26]. Additionally, the measurements of the EKF are identified in Table 3.


By using Euler’s method with time step , the discrete time state equations can be written as Additionally, the measurement equations can be specified as follows:
3.2.2. System Observability
A dynamic system is said to be observable if it is possible to uniquely reconstruct the state information based on the model of a system given the inputs and outputs of the system. The nonlinear model for the Smart car is where = col(): .
Although this model is nonlinear, it is linearized each time for the EKF. The observability matrix, , is calculated for each linearization in the run of the EKF. If has full rank at each run, then the linearized model is locally observable. In this project, the observability matrix is accumulated over the entire time step from the initial to the final as a global check [27]. Since, a state space discrete time model is used in this work, the transient event is not studied and then is neglected from the observability check.
The model is locally observable when the vehicle is driving; when the vehicle is standing still and yaw rate measurement is equal to zero, the estimated longitudinal/lateral COG velocities / and bias states for front/rear odometers , , and become unobservable. This is because when the vehicle is standing still no speed information is received from wheel encoders, so nothing can be said about the error in the speed calculation.
4. Fault Detection and Isolation System Design
The generalized observer scheme (GOS) provides that an estimator dedicated to a certain sensor is driven by all outputs except that of the respective sensor. This scheme allows one to detect and isolate only a single fault in any of the sensors, however, with increased robustness with respect to unknown inputs.
A GOS is suitable for detecting a single fault at a time in one of the sensors of the system. The observer () is driven by all but the measured variable (i.e., ). Consequently, each residual from the observer will be sensitive to all but the sensor fault. is not used in the observer because is assumed to be corrupted by the fault and therefore does not carry usable information about the system [3].
The nonlinear system equations included sensor faults and unknown disturbances are where = col(): . is the dimensional state vector. is the dimensional vector of measurements. Moreover, the model is subject to the fault signal as well as to the unknown disturbance signal . The fault magnitude of is an arbitrary scalar function of time that is zero when there is no fault.
A GOS can be designed for the sensor FDI, where there are EKFs, each using all but the sensor measurement. For each EKF, its residual can be generated from the measurement update stage as Because each EKF is excited by all but one sensor output, when a sensor fault occurs in the sensor, the residual will satisfy the following isolation logic: where () are isolation thresholds [28]. Such a GOS scheme is shown in Figure 6.
A GOS bank of EKFs is robust to system modeling error and unknown disturbances in a realistic environment. This is because in a GOS only if all residuals in (28) have to misfire, a bad fault decision can be made.
Here, an example is given to illustrate how a GOS can accurately diagnose a single sensor fault in the system, as shown in Figure 6. In Table 4, each row represents a fault, where a number of 1 in position row and column implies that fault affects residual . As stated before, each residual generated from GOS is sensitive to all but one sensor fault and, therefore, for the occurrence of each fault, there exists a unique combination of the residual response, which is so called generalized residual set, as can be noticed in each row in Table 4. By such a residual table, any single sensor fault , if it happens, can be uniquely detected and isolated.
4.1. General Outline of the FDI System
The basic scheme of the FDI system is specified in Figure 7, where fault detection system is to identify a fault that occurred and fault isolation system can determine the location of the fault. The extra fault management system is used to recognize and handle the fault, which contains a state selection system.
4.2. EKFs in the GOS
There are eight sensors installed in Smart car, which are DGPS, longitudinal/lateral accelerometers, gyroscope, and a wheel speed sensor on each vehicle wheel. In order to detect a single fault in these sensors, a GOS bank of EKFs is developed, where there are eight EKFs. In case a sensor fault happens, the output from residual evaluation block (the diagnosis information) will indicate which fault happens and subsequently select the state estimated from the EKF, using all but the faulty sensor measurement, as the faultfree output, which is shown in Figure 8. It can be seen in the figure that residuals and states generated from each EKF are inputted to the residual evaluation and fault management system, respectively. Hereafter, each EKF (in GOS) for vehicle state estimation will be evaluated, where EKF 0 uses all sensor measurements (nominal EKF).
EKF 1: Driven by All Measurements but DGPS. This one uses all but DGPS data. In case DGPS fault happens, the estimated states from this EKF will be applied.
EKF 2: Driven by All Measurements but Longitudinal Accelerometer. All but longitudinal acceleration measurement are used by EKF 2. When longitudinal accelerometer is faulty, EKF 2 will be applied to state estimation. It can be seen in Figure 9 that the estimated longitudinal acceleration is reliable as an analytical redundancy to replace the faulty accelerometer measurement.
EKF 3: Driven by All Measurements but Lateral Accelerometer. EKF 3 is driven by all but lateral acceleration signal. At the moment a lateral accelerometer fault occurs, states estimated from EKF 3 will be applied.
EKF 4: Driven by All Measurements but Gyroscope. This EKF uses all but gyroscope measurement. In case gyroscope is faulty, EKF 4 will be used for vehicle state estimation.
EKF 5/6/7/8: Driven by All Measurements but Each Wheel Speed Sensor. EKF 5 is driven by all but front left wheel speed signal. When this sensor fault happens, the estimated states from EKF 5 are still faultfree. EKFs 6 to 8 use all but other three wheel speed signals, respectively, and can achieve almost the same estimates results as EKF 5. Therefore, the detailed descriptions of these three EKFs are omitted. In case any one of these wheel speed sensors is faulty, the corresponding EKF will be applied to the state estimation.
4.3. Sensor Fault Detection and Detectability
In the GOS, ideally there is a residual generated from each EKF, which is sensitive to all but one sensor fault. To this end, we need to check in each EKF if those sensor faults are detectable with respect to the generated residual. It requires that transfer functions from these sensor faults to the residual are nonzero.
4.3.1. Sensor Faults Description
The FDI system for the Smart is designed to diagnose eight sensor faults, which are listed in Table 5. The modeling of sensor fault can be seen in (26), where corresponds to each sensor measurement.

4.3.2. Residual Generation
This section discusses several possibilities for residual generation from each EKF. After comparison, the most promising one is selected. At the beginning, a residual notation is made and will be applied throughout this work. Residual , is the residual generated from EKF in the GOS. Because there are eight EKFs in the GOS, we have . Meanwhile, as seven measurement equations are applied in the EKF 0, seven residuals might be generated from the GOS. To make a clear notation, the order of these seven residuals is fixed as residual generated from the measurement update: DGPS, acceleration, acceleration, yaw rate, front left wheel speed, front right wheel speed, and mean rear wheel speed}.
DGPS signals can be blocked by buildings, trees, bridges, and so forth. In this work, the DGPS outage is simply detected by the following logic.(1)The number of satellites dropped below 4.(2)The value of HDOP is larger than 10, when the positional measurements should be used only to indicate a very rough estimate of the current location.
For INS FDI system design, residual generation in EKF 1 is taken as an example. As using only no DGPS measurements, this EKF can generate residuals from all INS measurement updates. The generated residuals, to , are listed in Table 6, where is yaw rate, are the estimated COG velocity, is the length of the Smart track, and is the length from the Smart COG to the front axle. It should be advised that although EKF 1 is driven by all seven INS measurements, only six residuals can be generated. The reason is that the mean rear wheel speed, instead of two separate speeds, is used in the measurement update of the EKF 1, which can be seen in (23).

Therefore, in each EKF of the GOS, there is a generated residual vector , which contains all those six residuals but one. In order to construct a GOS, a vector residual or a scalar residual, which is affected by all sensor faults but one, needs to be generated from each EKF.
Scalar residuals are considered in this work. With respect to INS FDI, a scalar residual should be selected among to , which is affected by as many sensor faults as possible. Noticed in Table 6, there are more states involved for the generation of residuals and . Thus, either or may be applied to the sensors FDI system design. In the following, the detectability of each INS fault with respect to the residual will be checked.
4.3.3. Theory for Checking the Fault Detectability
When faults occur in the monitored process, the response of the residual vector is where is defined as a fault transfer matrix which represents the relation between the residual and faults, is the column of , and is the component of . If , the is detectable in the residual . This is defined as the fault detectability condition of the residual to [28].
The vehicle model applied in this project is nonlinear and linearized at each time step for EKF. Euler’s numerical integration method with a fixed time step is used for deriving the linearized equation. Therefore, we propose to check the sensor fault local detectability at each time step for a linearized discrete time model. The model is shown as follows: With this system, a discrete time Kalman filter measurement update equation can be written as where is Kalman gain and is a shift operator in discrete time model. From (31) the transfer function from the state vector to the measurement vector can be represented as Consequently, under normal conditions, where the subscript means the normal condition and the subscript in the following denotes a fault condition. Now, if a measurement is disturbed by a fault vector , Then, from (34), the state estimation becomes The normal filter residual can be defined as and the residual under fault conditions is Clearly, a sensor fault is detectable with respect to residual sequence when the term is nonzero [28, 29].
4.3.4. Check the Fault Detectability in GOS
Since the used model is nonlinear, but it is linearized each time for the EKF, the detectability matrix is calculated for each linearization in some runs of the EKF. If is nonzero at each run, then the fault is locally detectable.
In the following test, a linear vehicle model is derived at an operating point, where the vehicle is driven straight with the heading of 0.02 radian. The linearization is done at 10 meters per second. The detectability of all INS faults with respect to each generated residual needs to be considered. Here, the evaluation of the INS faults detectability to EKF 1’s residuals is taken as example. The fault detectability in this operating point is checked numerically and will be proved by a practice way under other operating conditions. Similarly, such a checking method can be applied to other EKFs. After linearization, the state space matrix in EKF 1 is calculated as
The transfer matrix from faults to residuals can be represented as , where and / can be referred to as in Tables 5 and 6. Following with the descriptions of both residuals and faults, we know that is a transfer matrix with seven rows and seven columns. Seven transfer functions in a certain row represent the relation between each sensor fault and a certain residual. In the following, the fault detectability from each sensor fault to the residual will be checked by calculating the corresponding transfer functions.
Fault Detectability with respect to Residual . Each transfer function in the fifth row of the matrix can be calculated. Functions to are used to represent all transfer functions on the row of matrix , which are described in Table 7. In the following, the Bode diagram of each function is plotted, which can be applied to analyze the detectability of each sensor fault to the residual (to show the frequency response of the residual to each sensor fault).

The Bode diagram of , the transfer function from longitudinal accelerometer fault to , is shown in Figure 10(a), where only the high frequency band is taken into account. Because sensor faults are assumed transient, they are always high frequency signals. At this frequency, the gain margin is around −20 db and thus ten percent of the fault magnitude can be transmitted to . This fault is detectable in case of applying a small threshold. The Bode diagram of can be seen in Figure 10(b). At high frequency, the gain margin is around −70 db and therefore this fault is almost undetectable in . The Bode diagram of , the transfer function from gyroscope fault to , is plotted in Figure 10(c). At high frequency, the gain margin is larger than 0 db and therefore onehundred percent of fault magnitude can be transmitted to the residual. Thus, this fault is detectable in . The transfer function should be equal to one. Additionally, looking at the Bode diagrams of and , the front right and rear wheel speed sensor faults are all detectable with respect to .
(a)
(b)
(c)
Sensor Fault Detectability under Other Operating Situations. Since the used model is linearized each time for the EKF 1, the detectability matrix is calculated for each linearization in some runs of the EKF 1 for the local check. Furthermore, we show the performance of this residual in response to the occurrence of each sensor fault, that is, a constant additive fault. Therefore, six separate offline tests are performed with a different sensor fault injected at each time. The description of these faults can be seen in Table 8, where the fault sizes are chosen empirically followed by the real sensor fault size. The tests for other GOS EKFs can be conducted similarly.

It can be seen in Figures 11, 12, and 13 that upon the occurrence of all sensor faults, at any operating point the residual has the obvious and constant change. Moreover, the magnitude of under the nominal condition is around 0.1 m, which can be seen in the bottom of Figure 11. In case a single sensor fault with a reasonable size as specified in Table 8 happens, the change of is far larger than the nominal residual magnitude. Thus, by selecting a fixed threshold, this change can be detected.
(a)
(b)
4.3.5. GOS Residuals Generation
For all INS, it is considered at the first step to generate a residual to detect all but lateral accelerometer sensor fault. The detection of lateral accelerometer fault can de achieved by a simple strategy, that is, checking the difference between the raw and estimated acceleration only generated from the EKF 3, which is driven by all but lateral accelerometer measurement. Hereby, all residuals generated for the FDI system design are classified and listed in Table 9. The formula representations of these residual generations can be seen in Table 6.

From EKF 3, lateral acceleration can be estimated. We compare this estimated state with raw lateral accelerometer measurement, the difference of which is generated as a residual, . During the test, if there is a big change in this residual but all other INS residuals are nominal, then a lateral accelerometer fault can be detected.
4.4. Sensor Fault Isolation
Residuals generated from each EKF are evaluated in this section and the diagnosis information which indicates the location of the faulty sensor can be made. Residual evaluation can in its simplest form be a thresholding test on the residual, such as a test if residual is larger than a threshold. Due to model uncertainties and measurement noise, residual will not be 0 in the faultfree case. Therefore a nonzero threshold has to be selected. Residual evaluation in its complex form can be distinguished as various tests of mean, variance, or the test [30].
As stated in Section 4.3.4, when single sensor faults with reasonable sizes happen, there are considerable changes of residual , which largely exceed the nominal residual magnitude, ±0.1 m. Therefore, it is reasonable to select the nonzero threshold in this work for residual evaluation. For the change detection, a binary number is used to indicate the change of a residual. After evaluating, if the residual is larger than a fixed threshold, the value of its change detection is set to 1; otherwise it is 0.
Based on the functioning of the designed GOS, while a single sensor fault happens, all selected EKF residuals but one will fire. Such pattern of the residual response constructs a generalized residual set, which can identify the location of a sensor fault. Therefore, a lookup table for INS faults isolation is designed and provided as in Table 10, where stand for longitudinal accelerometer, gyroscope, and four wheel speed sensors faults. Moreover, because both residuals and , generated from EKF 1 and 3, are sensitive to all faults of , they are omitted from decision logic during the offline test, and a simplified isolation table is presented as in Table 11. Decision logic for lateral accelerometer fault detection is implemented in the second row of Table 11.


4.5. Sensor Fault Management System
An extra fault management system is integrated into the designed FDI system for recognizing and handling the diagnosed fault.
The basic scheme of this fault management system is shown in Figure 14, where the state selection is explained. In the designed FDI system, there are nine EKFs, which can be seen in Figure 8. Nominal EKF (EKF 0) uses all sensor measurements for the vehicle state estimation. Others, from EKF 1 to EKF 8, are driven by all but one different sensor signal, from which estimated states as well as residuals are generated. From these nine EKFs, nine estimated state vectors are obtained, , . Clearly, there are eight states estimated from each EKF, that is, vehicle position, velocity, acceleration, heading, and yaw rate. is the first state, position, estimated from the EKF 0.
Corresponding to these eight states, there are eight state selection blocks in the fault management system, each using state, , estimated from each EKF. The diagnosis information , generated from fault isolation block, is a variable, ranging from 0 to 8. A number of 0 means all sensors are faultfree and an integer among 1 to 8 indicates a corresponding sensor fault to , listed in Table 5, occurred. Each state selection block, after reading such diagnosis information, will let the state estimated from the specified EKF (0 to 8) pass through as the most reliable state to the following ADASs application.
5. FDI System Testing and Experiment Result
The offline tests are designed to evaluate the FDI system for the Smart with actual experiment data. The road test is conducted on the test track as shown in Figure 15. During the experiment, the Smart starts at the starting point and runs in the counterclockwise direction. With the CAN interface and data acquisition system installed on the Smart, the actual measurement data can be obtained from all sensors in vehicles. Afterwards, they are inputted to the FDI system built in a Simulink environment on a Windows XP Laptop (Intel Core2 6300 1.86 Hz, 2 Gb of RAM) for the state estimation. Meanwhile, the realtime FDI system validation test will be conducting on a prototype ECU, which has a 208 MHz ARM9 CPU, 32 MB RAM, and 16 GB flash.
5.1. Fault Generation and Injection
For evaluating the designed FDI system, some additive faults with appropriate size are generated and injected to the nominal sensor data during the offline test. The strategy for the sensor fault injection is shown in Figure 16, where a fault is added to each single sensor. The fault magnitude of is a scalar function of time and is chosen depending on the real sensor fault size, which is zero when there is no fault. stands for the sensor fault direction, which for each single fault is equal to one. A zero block in Figure 16 is used to represent a complete sensor fault (power off). In the offline test, such a fault injection block is added to each sensor measurement.
5.2. FDI System Evaluation with OffLine Tests
In this section, the designed FDI system is tested with the occurrence of each sensor fault, either a real or a injected fault. The offline test is conducted with the real experiment data, during the time interval = 0–120 s. In this period, The Smart was accelerated and decelerated in both longitudinal and lateral direction, which make the driving scenarios comprehensive enough for the FDI system test. In the following, residual generation, evaluation, and the nominal states selection are provided. Depending on these test results, the function of the FDI system is analyzed.
5.2.1. DGPS Fault Detection
Based on the simple logic descried in Section 4.3.2, the GPS outage is detected during s in the test, since the GPS signal was blocked by the lab building while the Smart was on the test track. This outage can be treated as additive sensor faults and easily detected as shown in Table 12. The faulty / position signals are plotted as the gray curve in Figure 17. The diagnosis information , which is generated from fault isolation block to indicate the location of the sensor fault, is plotted in Figure 18. In this figure, a number of 1 indicates the occurrence of DGPS fault.

As discussed in Section 4.5, at the time , the state selection in fault management system selects the estimated states from the EKF 1, driven by all but DGPS data, as the nominal vehicle states. As shown in Figure 17, at time points, = 32.5 and 38.6 s, diagnosis information is equal to one and, consequently, vehicle position estimated from the EKF 1 (black curve), instead of EKF 0 (dashed black curve), is selected as the faultfree output. Hence, the estimated vehicle position is still accurate even if DGPS faults occur, which can be seen in Figure 19.
5.2.2. INS Fault Diagnosis
In the real experiment, there was a fault that happened in the rear left wheel speed sensor and all other sensors are faultfree.
Longitudinal Accelerometer FDI. Additive sensor faults are generated and injected to the raw acceleration measurement. The fault size is chosen around 3.5 m/s^{2}, which is an appropriate size of the real accelerometer fault. The fault descriptions can be read in Table 13 and the comparison of raw and faulty acceleration signals is plotted in Figure 20.

From Figure 21, we notice that all but residual change in response to the sensor fault. Depending on the nominal magnitude of each residual, a threshold can be chosen, which is shown in Figure 21. Such a threshold value for each residual is fixed and will be applied to all INS fault detection in the following sections.
In response to longitudinal accelerometer faults, the diagnosis information is generated from isolation block and plotted in Figure 22, where a number of 2 indicates the fault happens. There exists a time delay, around 0.1 s, for the diagnosis of longitudinal accelerometer sensor fault. The estimated faultfree longitudinal acceleration, outputted from the fault management system, is provided as the black curve in Figure 23.
It can be seen at = 15.8 and 95.8 s that when is equal to 2, the state selection switches the longitudinal acceleration estimated from EKF 2 (the black curve) instead of from EKF 0 (the gray curve) as the output. Therefore, even if a sensor fault occurs, the estimated acceleration outputted from the fault management system is still faultfree. However, due to a 0.1 s time delay during fault diagnosis, a big spike appears at the beginning of the state switch, which can be easily removed by a low pass filter.
Gyroscope FDI. For this sensor measurement, both complete and additive faults are generated and injected. The fault size is chosen around 0.5 rad/s. The injected faults are described in Table 14 and the comparison of raw and faulty yaw rate signals is plotted in Figure 24. From Figure 25, we notice that all residuals but change in response to the occurrence of this sensor fault. Based on the threshold values, the minimum fault size that can be detected is around 0.4 rad/s, which is an appropriate fault size in the real gyroscope.

For indicating the gyroscope fault, the diagnosis information is generated from isolation block and shown in Figure 26, where a number of 4 indicates this fault happens. The estimated faultfree yaw rate, outputted from the fault management system, is plotted as the black curve in Figure 27. At time = 16.05, 91.6 s, and 105.6 s, upon , the state selection makes the yaw rate estimated from EKF 4 (the black curve) instead of from EKF 0 (the gray curve) as the output.
Front Left Wheel Speed Sensor FDI. For front left wheel speed sensor, faults are generated either with magnitudes around 2 m/s or as complete faults. The fault descriptions are given in Table 15 and the comparison of raw and faulty wheel speed signals is plotted in Figure 28.

The estimated faultfree longitudinal COG velocity, outputted from the fault management system, is plotted as the black curve in Figure 29. Additionally, the front right, rear left, and rear right wheel speed sensors FDI can be handled in the same way.
6. Conclusions and Future Work
This work deals with the design of sensors fault detection and isolation (FDI) system for a Smart car. In the FDI system, a generalized observer scheme (GOS) is developed. The GOS is constructed by a bank of EKFs, each excited by all but one sensor measurement. Therefore, there is a unique pattern of the residuals change with respect to the occurrence of each fault, which subsequently can be isolated by decision logic. The robustness of the FDI system to disturbances and model uncertainty is improved by the application of the GOS.
For evaluating the function of the designed FDI system, some offline tests are conducted, where vehicle data measured from a road test are applied. The sensor faults, which either actually happened during the road test or are injected during offline test, are considered. The size of the generated fault is chosen based on the real sensor fault size. It is shown that the FDI system can accurately diagnose each single sensor fault and subsequently output faultfree estimated states from its fault management system.
Future work would consider several problems which have not been handled by the designed system in this paper.(1)The designed FDI system can detect and isolate only a single sensor fault at each time. But it is possible to extend the FDI system with extra sensors and residuals to detect and isolate multiple faults [30].(2)For residual evaluation, in order to reduce false alarms in some sensor faults diagnosis, statistical tests of mean, variance, or the test shall be applied, instead of the fixed threshold.
Nomenclature
GYRO:  Gyroscope 
LAT and LONG:  Lateral and longitudinal 
Meas:  Measurement 
ACC:  Accelerometer 
FDI:  Fault detection and isolation 
INS:  Inertial navigation sensors 
ODO:  Odometer 
SPD:  Speed. 
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
 R. Patton, P. Frank, and R. Clark, Issues of Fault Diagnosis for Dynamic Systems, Springer, London, UK, 2000. View at: Publisher Site
 D. H. Zhou and P. M. Frank, “Fault diagnostics and fault tolerant control,” IEEE Transactions on Aerospace and Electronic Systems, vol. 34, no. 2, pp. 420–427, 1998. View at: Publisher Site  Google Scholar
 P. M. Frank, “Fault diagnosis in dynamic systems using analytical and knowledgebased redundancy. A survey and some new results,” Automatica, vol. 26, no. 3, pp. 459–474, 1990. View at: Publisher Site  Google Scholar
 E. A. García and P. M. Frank, “Deterministic nonlinear observerbased approaches to fault diagnosis: a survey,” Control Engineering Practice, vol. 5, no. 5, pp. 663–670, 1997. View at: Publisher Site  Google Scholar
 R. J. Patton and J. Chen, “Observerbased fault detection and isolation: robustness and applications,” Control Engineering Practice, vol. 5, no. 5, pp. 671–682, 1997. View at: Publisher Site  Google Scholar
 S. Jayaram, “A new fast converging Kalman filter for sensor fault detection and isolation,” Sensor Review, vol. 30, no. 3, pp. 219–224, 2010. View at: Publisher Site  Google Scholar
 I. Hwang, S. Kim, Y. Kim, and C. E. Seah, “A survey of fault detection, isolation, and reconfiguration methods,” IEEE Transactions on Control Systems Technology, vol. 18, no. 3, pp. 636–653, 2010. View at: Publisher Site  Google Scholar
 A. Agogino, S. Chao, K. Goebel, S. Alag, B. Cammon, and J. Wang, “Intelligent diagnosis based on validated and fused data for reliability and safety enhancement of automated vehicles in an IVHS,” PATH Research Report UCBITSP RR9817, University of California, Berkeley, Calif, USA, 1998. View at: Google Scholar
 R. Chen, H. Ng, J. Speyer, and D. Mingori, “Testing and evaluation of robust fault detection and identification for fault tolerant automated highway system,” Final Report UCBITSPRR2004046, 2004. View at: Google Scholar
 V. Garg, Fault detection in nonlinear systems: an application to automated highway systems [Ph.D. thesis], University of California, Berkeley, Calif, USA, 1995.
 A. Howell, Nonlinear observer design and fault diagnostics for automated longitudinal vehicle control [Ph.D. thesis], Mechanical Engineering, University of California, Berkeley, Berkeley, Calif, USA, 2002.
 R. Isermann, “Diagnosis methods for electronic controlled vehicles,” Vehicle System Dynamics, vol. 36, no. 23, pp. 77–117, 2001. View at: Publisher Site  Google Scholar
 J. Yi, A. Howell, R. Horowitz, K. Hedrick, and L. Alvarez, “Fault detection and handling for longitudinal control,” California PATH Research Report UCBITSP RR200121, University of California, Berkeley, Calif, USA, 2001. View at: Google Scholar
 R. Rajamani, A. S. Howell, C. Chen, J. Karl Hedrick, and M. Tomizuka, “A complete fault diagnostic system for automated vehicles operating in a platoon,” IEEE Transactions on Control Systems Technology, vol. 9, no. 4, pp. 553–564, 2001. View at: Publisher Site  Google Scholar
 J. A. Rodger, “Toward reducing failure risk in an integrated vehicle health maintenance system: a fuzzy multisensor data fusion Kalman filter approach for IVHMS,” Expert Systems with Applications, vol. 39, no. 10, pp. 9821–9836, 2012. View at: Publisher Site  Google Scholar
 S. A. Arogeti, D. Wang, C. B. Low, and M. Yu, “Fault detection isolation and estimation in a vehicle steering system,” IEEE Transactions on Industrial Electronics, vol. 59, no. 12, pp. 4810–4820, 2012. View at: Publisher Site  Google Scholar
 A. Okatan, C. Hajiyev, and U. Hajiyeva, “Fault detection in sensor information fusion kalman filter,” AEUInternational Journal of Electronics and Communications, vol. 63, no. 9, pp. 762–768, 2009. View at: Google Scholar
 R. Isermann, “Modelbased fault detection and diagnosis—status and applications,” in Proceedings of the 16th Symposium on Automatic Control in Aerospace, 2004. View at: Google Scholar
 A. Shrivastava and R. Rajamani, “Fault diagnostics for GPSbased lateral vehicle control,” in Proceedings of the American Control Conference, pp. 31–36, June 2001. View at: Google Scholar
 R. K. Mehra and J. Peschon, “An innovations approach to fault detection and diagnosis in dynamic systems,” Automatica, vol. 7, no. 5, pp. 637–640, 1971. View at: Publisher Site  Google Scholar
 M. A. Jaradat, M. F. AbdelHafez, K. Saadeddin, and M. A. Jarrah, “Intelligent fault detection and fusion for INS/GPS navigation system,” in Proceedings of the IEEE 9th International Symposium on Mechatronics and Its Applications (ISMA '13), 2013. View at: Publisher Site  Google Scholar
 B. Kaci, L. Benjamin, and S. Walter, “A fault tolerant architecture for data fusion target ing hardware and software faults,” in Proceedings of the IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC '14), pp. 1–10, Singapore, November 2014. View at: Publisher Site  Google Scholar
 P. S. Pratama, Y. D. Setiawan, D. H. Kim et al., “Fault detection algorithm for automatic guided vehicle based on multiple positioning modules,” in Proceedings of the IEEE International Conference on Computing, Communications and Informatics (ICACCI '14), pp. 751–757, 2014. View at: Publisher Site  Google Scholar
 M. Grewal and A. Andrews, Kalman Filtering Theory and Practice Using Matlab, John Wiley & Sons, 2nd edition, 2000.
 M. StPierre and D. Gingras, “Comparison between the unscented kalman filter and the extended kalman filter for the position estimation module of an integrated navigation information system,” in Proceedings of the IEEE Intelligent Vehicles Symposium, pp. 831–835, June 2004. View at: Publisher Site  Google Scholar
 M. Wada, K. Yoon, and H. Hashimoto, “High accuracy multisensor road vehicle state estimation,” in Proceedings of the 26th Annual Conference of the IEEE International Conference on Industrial Electronics, Control and Instrumentation (IECON '00), vol. 4, pp. 2547–2552, Nagoya, Japan, October 2000. View at: Publisher Site  Google Scholar
 R. Hermann and A. J. Krener, “Nonlinear controllability and observability,” IEEE Transactions on Automatic Control, vol. 22, no. 5, pp. 728–740, 1977. View at: Google Scholar  MathSciNet
 J. Chen and R. Patton, Fault Detection, Isolation and Estimation, Springer, New York, NY, USA, 2000.
 S. Scheding, High integrity navigation [Ph.D. thesis], Department of Mechanical and Methatronic Engineering, The University of Sydney, 1997.
 L. Nielsen, M. Nyberg, and E. Frisk, “Issues in diagnosis, supervision and safety,” Tech. Rep. LiTHIDAR9637, Department of Computer and Information Science, Linköping University, Linköping, Sweden, 1996. View at: Google Scholar
Copyright
Copyright © 2015 Wei Huang and Xiaoxin Su. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.