Dependability Analysis for Fault-Tolerant Computer Systems Using Dynamic Fault Graphs

Dependability analysis is an important step in designing and analyzing safety computer systems and protection systems.Introducing multi-processor and virtual machine increases the system faults' complexity,diversity and dynamic,in particular for software-induced failures,with an impact on the overall dependability.Moreover,it is very different for safety system to operate successfully at any active phase,since there is a huge difference in failure rate between hardware-induced and softwareinduced failures.To handle these difficulties and achieve accurate dependability evaluation,consistently reflecting the construct it measures,a new formalism derived from dynamic fault graphs(DFG) is developed in this paper.DFG exploits the concept of system event as fault state sequences to represent dynamic behaviors,which allows us to execute probabilistic measures at each timestamp when change occurs.The approach automatically combines the reliability analysis with the system dynamics.In this paper,we describe how to use the proposed methodology drives to the overall system dependability analysis through the phases of modeling,structural discovery and probability analysis,which is also discussed using an example of a virtual computing system.

CRBFT:A Byzantine Fault-Tolerant Consensus Protocol Based on Collaborative Filtering Recommendation for Blockchains

Blockchain has been widely used in finance,the Internet of Things(IoT),supply chains,and other scenarios as a revolutionary technology.Consensus protocol plays a vital role in blockchain,which helps all participants to maintain the storage state consistently.However,with the improvement of network environment complexity and system scale,blockchain development is limited by the performance,security,and scalability of the consensus protocol.To address this problem,this paper introduces the collaborative filtering mechanism commonly used in the recommendation system into the Practical Byzantine Fault Tolerance(PBFT)and proposes a Byzantine fault-tolerant(BFT)consensus protocol based on collaborative filtering recommendation(CRBFT).Specifically,an improved collaborative filtering recommendation method is designed to use the similarity between a node’s recommendation opinions and those of the recommender as a basis for determining whether to adopt the recommendation opinions.This can amplify the recommendation voice of good nodes,weaken the impact of cunningmalicious nodes on the trust value calculation,andmake the calculated resultsmore accurate.In addition,the nodes are given voting power according to their trust value,and a weight randomelection algorithm is designed and implemented to reduce the risk of attack.The experimental results show that CRBFT can effectively eliminate various malicious nodes and improve the performance of blockchain systems in complex network environments,and the feasibility of CRBFT is also proven by theoretical analysis.

Review of Fault-tolerant Control for Motor Inverter Failure with Operational Quality Considered

In recent years,motor drive systems have garnered increasing attention due to their high efficiency and superior control performance.This is especially apparent in aerospace,marine propulsion,and electric vehicles,where high performance,efficiency,and reliability are crucial.The ability of the drive system to maintain long-term fault-tolerant control(FTC)operation after a failure is essential.The likelihood of inverter failures surpasses that of other components in the drive system,highlighting its critical importance.Long-term FTC operation ensures the system retains its fundamental functions until safe repairs or replacements can be made.The focus of developing a FTC strategy has shifted from basic FTC operations to enhancing the post-fault quality to accommodate the realities of prolonged operation post-failure.This paper primarily investigates FTC strategies for inverter failures in various motor drive systems over the past decade.These strategies are categorized into three types based on post-fault operational quality:rescue,remedy,and reestablishment.The paper discusses each typical control strategy and its research focus,the strengths and weaknesses of various algorithms,and recent advancements in FTC.Finally,this review summarizes effective FTC techniques for inverter failures in motor drive systems and suggests directions for future research.

Sliding Mode Fault-tolerant Control Based on Fast Convergence Law for Faults of PMSM

It is difficult for the traditional PI controller to meet high-performance control requirements under the demagnetization fault of a permanent magnet synchronous motor(PMSM).To address this problem,this study proposes a novel sliding mode fault-tolerant control method for PMSM demagnetization faults.First,the mathematical model of PMSM under demagnetization fault state is established,and the reasons for poor fault tolerance of the conventional PI controller are analyzed.A new convergence law is used to design the speed loop sliding mode feedback controller,and its stability is demonstrated.Meanwhile,an adaptive forgetting factor recursive least squares(AFRLS)flux linkage observer is designed to keep the controller parameter values in line with the actual motor parameter values,to reduce the impact of demagnetization faults on motor control performance and achieve fault-tolerant control of demagnetization faults.Finally,simulation and experimental comparison with conventional PI control demonstrate that the proposed method is more robust and resistant to interference.

A finite-time fuzzy adaptive output-feedback fault-tolerant control for underactuated wheeled mobile robots systems

This paper investigates the adaptive fuzzy finite-time output-feedback fault-tolerant control (FTC) problemfor a class of nonlinear underactuated wheeled mobile robots (UWMRs) system with intermittent actuatorfaults. The UWMR system includes unknown nonlinear dynamics and immeasurable states. Fuzzy logic systems(FLSs) are utilized to work out immeasurable functions. Furthermore, with the support of the backsteppingcontrol technique and adaptive fuzzy state observer, a fuzzy adaptive finite-time output-feedback FTC scheme isdeveloped under the intermittent actuator faults. It is testifying the scheme can ensure the controlled nonlinearUWMRs is stable and the estimation errors are convergent. Finally, the comparison results and simulationvalidate the effectiveness of the proposed fuzzy adaptive finite-time FTC approach.

Finite-time fault-tolerant control of teleoperating cyber physical system against faults

This paper studies a finite-time adaptive fractionalorder fault-tolerant control(FTC)scheme for the slave position tracking of the teleoperating cyber physical system(TCPS)with external disturbances and actuator faults.Based on the fractional Lyapunov stability theory and the finite-time stability theory,a fractional-order nonsingular fast terminal sliding mode(FONFTSM)control law is proposed to promote the tracking and fault tolerance performance of the considered system.Meanwhile,the adaptive fractional-order update laws are designed to cope with the unknown upper bounds of the unknown actuator faults and external disturbances.Furthermore,the finite-time stability of the closed-loop system is proved.Finally,comparison simulation results are also provided to show the validity and the advantages of the proposed techniques.

Heterogeneous Fault-Tolerant Aggregate Signcryption with Equality Test for Vehicular Sensor Networks

The vehicular sensor network (VSN) is an important part of intelligent transportation, which is used for real-timedetection and operation control of vehicles and real-time transmission of data and information. In the environmentofVSN, massive private data generated by vehicles are transmitted in open channels and used by other vehicle users,so it is crucial to maintain high transmission efficiency and high confidentiality of data. To deal with this problem, inthis paper, we propose a heterogeneous fault-tolerant aggregate signcryption scheme with an equality test (HFTASET).The scheme combines fault-tolerant and aggregate signcryption,whichnot onlymakes up for the deficiency oflow security of aggregate signature, but alsomakes up for the deficiency that aggregate signcryption cannot tolerateinvalid signature. The scheme supports one verification pass when all signcryptions are valid, and it supportsunbounded aggregation when the total number of signcryptions grows dynamically. In addition, this schemesupports heterogeneous equality test, and realizes the access control of private data in different cryptographicenvironments, so as to achieve flexibility in the application of our scheme and realize the function of quick searchof plaintext or ciphertext. Then, the security of HFTAS-ET is demonstrated by strict theoretical analysis. Finally, weconduct strict and standardized experimental operation and performance evaluation, which shows that the schemehas better performance.

Disturbance observer-based fuzzy fault-tolerant control for high-speed trains with multiple disturbances

The fault-tolerant control problem is investigated for high-speed trains with actuator faults and multiple disturbances.Based on the novel train model resulting from the Takagi–Sugeno fuzzy theory, a sliding-mode fault-tolerant control strategy is proposed. The norm bounded disturbances which are composed of interactive forces among adjacent carriages and basis running resistances are rearranged by the fuzzy linearity technique. The modeled disturbances described as an exogenous system are compensated for by a disturbance observer. Moreover, a sliding mode surface is constructed, which can transform the stabilization problem of position and velocity into the stabilization problem of position errors and velocity errors, i.e., the tracking problem of position and velocity. Based on the parallel distributed compensation method and the disturbance observer, the fault-tolerant controller is solved. The Lyapunov theory is used to prove the stability of the closed-loop system. The feasibility and effectiveness of the proposed fault-tolerant control strategy are illustrated by simulation results.

Research on robust fault-tolerant control for networked control system with packet dropout

A kind of networked control system with network-induced delay and packet dropout, modeled on asynchronous dynamical systems was tested, and the integrity design of the networked control system with sensors failures and actuators failures was analyzed using hybrid systems technique based on the robust fault-tolerant control theory. The parametric expression of controller is given based on the feasible solution of linear matrix inequality. The simulation results are provided on the basis of detailed theoretical analysis, which further demonstrate the validity of the proposed schema.

Rule-based Fault Diagnosis of Hall Sensors and Fault-tolerant Control of PMSM

Hall sensor is widely used for estimating rotor phase of permanent magnet synchronous motor(PMSM). And rotor position is an essential parameter of PMSM control algorithm, hence it is very dangerous if Hall senor faults occur. But there is scarcely any research focusing on fault diagnosis and fault-tolerant control of Hall sensor used in PMSM. From this standpoint, the Hall sensor faults which may occur during the PMSM operating are theoretically analyzed. According to the analysis results, the fault diagnosis algorithm of Hall sensor, which is based on three rules, is proposed to classify the fault phenomena accurately. The rotor phase estimation algorithms, based on one or two Hall sensor(s), are initialized to engender the fault-tolerant control algorithm. The fault diagnosis algorithm can detect 60 Hall fault phenomena in total as well as all detections can be fulfilled in 1/138 rotor rotation period. The fault-tolerant control algorithm can achieve a smooth torque production which means the same control effect as normal control mode (with three Hall sensors). Finally, the PMSM bench test verifies the accuracy and rapidity of fault diagnosis and fault-tolerant control strategies. The fault diagnosis algorithm can detect all Hall sensor faults promptly and fault-tolerant control algorithm allows the PMSM to face failure conditions of one or two Hall sensor(s). In addition, the transitions between health-control and fault-tolerant control conditions are smooth without any additional noise and harshness. Proposed algorithms can deal with the Hall sensor faults of PMSM in real applications, and can be provided to realize the fault diagnosis and fault-tolerant control of PMSM.

Fault-Tolerant Control Research for Networked Control System under Communication Constraints

Implementing a control system over a communication network induces inevitable time delays that may degrade performance and even cause instability. One of the most effective ways to reduce the negative effect of delays on the performance of networked control system (NCS) is to reduce network traffic. In this paper, adjustable deadbands are explored as a solution to reduce network traffic in NCS. A method of fault-tolerant control of networked control system is presented, which takes into account system response as well as network traffic. The integrity design for a kind of NCS with sensor failures and actuator failures is analyzed based on robust fault-tolerant control theory and information scheduling. After detailed theoretical analysis, the paper also provides the simulation results, which further validate the proposed scheme.

An LMI Method to Robust Iterative Learning Fault-tolerant Guaranteed Cost Control for Batch Processes

Based on an equivalent two-dimensional Fornasini-Marchsini model for a batch process in industry, a closed-loop robust iterative learning fault-tolerant guaranteed cost control scheme is proposed for batch processes with actuator failures. This paper introduces relevant concepts of the fault-tolerant guaranteed cost control and formulates the robust iterative learning reliable guaranteed cost controller (ILRGCC). A significant advantage is that the proposed ILRGCC design method can be used for on-line optimization against batch-to-batch process uncertainties to realize robust tracking of set-point trajectory in time and batch-to-batch sequences. For the convenience of implementation, only measured output errors of current and previous cycles are used to design a synthetic controller for iterative learning control, consisting of dynamic output feedback plus feed-forward control. The proposed controller can not only guarantee the closed-loop convergency along time and cycle sequences but also satisfy the H∞performance level and a cost function with upper bounds for all admissible uncertainties and any actuator failures. Sufficient conditions for the controller solution are derived in terms of linear matrix inequalities (LMIs), and design procedures, which formulate a convex optimization problem with LMI constraints, are presented. An example of injection molding is given to illustrate the effectiveness and advantages of the ILRGCC design approach.

Time-varying fault-tolerant formation tracking based cooperative control and guidance for multiple cruise missile systems under actuator failures and directed topologies

This paper studies time-varying fault-tolerant formation tracking problems for the multiple cruise missile system under directed topologies subjected to actuator failures. Firstly, the timevarying fault-tolerant formation tracking process for the multiple cruise missile system is divided into the guidance loop and the control loop. Then protocols are constructed to accomplish distributed fault-tolerant formation tracking in the guidance loop with the adaptive updating mechanism, in the condition where neither the knowledge about actuator malfunctions nor any global information of the communication topology remains available. Moreover, sufficient conditions to accomplish formation tracking are presented, and it is shown that the multiple cruise missile system can carry on the predefined time-varying fault-tolerant control (FTC) formation tracking through the active disturbances rejection controller (ADRC) and the proportion integration (PI) controller by the way of the fault-tolerant protocol utilizing the designed strategies, in the event of actuator failures. At last, numerical analysis and simulation are designed to verify the theoretical results.

Adaptive fault-tolerant controller design for airbreathing hypersonic vehicle with input saturation

The problem of fault-tolerant control is discussed for the longitudinal model of an airbreathing hypersonic vehicle （AHV） with actuator faults and external disturbances. Firstly, a fault-tolerant control strategy is presented for the longitudinal model of an AHV, which guarantees that velocity and altitude track their reference trajectories at an exponential convergence rate. However, this method needs to know the minimum value of the actuator efficiency factor and the upper bound of the external disturbances, which makes it not easy to implement. Then an improved adaptive fault-tolerant control scheme is proposed, where two adaptive laws are employed to estimate the upper bound of the external disturbances and the minimum value of the actuator efficiency factor, respectively. Secondly, the problem of designing a control scheme with control constraints is further considered, and a new adaptive fault-tolerant control strategy with input saturation is designed to guarantee that velocity and altitude track their reference trajectories. Finally, simulation results are given to show the effectiveness of the proposed methods.

Backstepping-based active fault-tolerant control for a class of uncertain SISO nonlinear systems

Active fault-tolerant control is investigated for a class of uncertain SISO nonlinear flight control systems based on the adaptive observer, feedback linearization and backstepping theory.Firstly an adaptive observer is constructed to estimate the fault in the faulty system.A new fault updating law is presented to simplify the assumption conditions of the adaptive observer.The asymptotical stability of the observer and the uniform ultimate boundedness of the fault estimation error are guaranteed by Lyapunov theorem.Then a backstepping-based active fault-tolerant controller is designed for the faulty system.The asymptotical stability of the closed-loop system and uniform ultimate boundedness of the tracking error are proved based on Lyapunov theorem.The effectiveness of the proposed scheme is demonstrated through the numerical simulation of a flight control system.

Intelligent fault-tolerant algorithm with two-stage and feedback for integrated navigation federated filtering

In order to take full advantage of federated filter in fault-tolerant design of integrated navigation system, the limitation of fault detection algorithm for gradual changing fault detection and the poor fault tolerance of global optimal fusion algorithm are the key problems to deal with. Based on theoretical analysis of the influencing factors of federated filtering fault tolerance, global fault-tolerant fusion algorithm and information sharing algorithm are proposed based on fuzzy assessment. It achieves intelligent fault-tolerant structure with two-stage and feedback, including real-time fault detection in sub-filters, and fault-tolerant fusion and information sharing in main filter. The simulation results demonstrate that the algorithm can effectively improve fault-tolerant ability and ensure relatively high positioning precision of integrated navigation system when a subsystem having gradual changing fault.

Distributed Adaptive Fault-Tolerant Output Regulation of Heterogeneous Multi-Agent Systems With Coupling Uncertainties and Actuator Faults

In this paper, we consider the distributed adaptive fault-tolerant output regulation problem for heterogeneous multiagent systems with matched system uncertainties and mismatched coupling uncertainties among subsystems under the influence of actuator faults. First, distributed finite-time observers are proposed for all subsystems to observe the state of the exosystem. Then, a novel fault-tolerant controller is designed to compensate for the influence of matched system uncertainties and actuator faults. By using the linear matrix inequality technique, a sufficient condition is provided to guarantee the solvability of the considered problem in the presence of mismatched coupling uncertainties. Moreover, it is shown that the system in closed-loop with the developed controller can achieve output regulation by using the Lyapunov stability theory and cyclic-small-gain theory.Finally, a numerical example is given to illustrate the effectiveness of the obtained result.

Robust H-infinity fault-tolerant control for uncertain descriptor systems by dynamical compensators

The problem of robust H-infinity fault-tolerant control against sensor failures for a class of uncertain descriptor systems via dynamical compensators is considered. Based on H-infinity theory in descriptor systems, a sufficient condition for the existence of dynamical compensators with H-infinity fault-tolerant function is derived and expressions for the gain matrices in the compensators are presented. The dynamical compensator guarantees that the resultant colsed-loop system is admissible; furthermore, it maintains certain H-infinity norm performance in the normal condition as well as in the event of sensor failures and parameter uncertainties. A numerical example shows the effect of the proposed method.

Fault-Tolerant Control of a CPG-Governed Robotic Fish

Fault tolerance is essential for the maneuverability of self-propelled biomimetic robotic fish in real-world aquatic applications.This paper explores the fault-tolerance control problem of a free-swimming robotic fish with multiple moving joints and a stuck tail joint.The created control system is composed of two main components:a feedback controller and a feedforward compensator.Specifically,the bio-inspired central pattern generator-based feedback controller is designed to make the robotic fish robust to external disturbances,while the feedforward compensator speeds up the convergence of the overall control system.Simulations are performed for control system analysis and performance validation of the faulty robotic fish.The experimental results demonstrate that the proposed fault-tolerant control method is able to effectively regulate the faulty robotic fish,allowing it to complete the desired motion in the presence of damage and thereby improving both the stability and the lifetime of the real robotic system.

Output feedback based adaptive robust fault-tolerant control for a class of uncertain nonlinear systems

An adaptive robust approach for actuator fault-tolerant control of a class of uncertain nonlinear systems is proposed.The two chief ways in which the system performance can degrade following an actuator-fault are undesirable transients and unacceptably large steady-state tracking errors.Adaptive control based schemes can achieve good final tracking accuracy in spite of change in system parameters following an actuator fault,and robust control based designs can achieve guaranteed transient response.However,neither adaptive control nor robust control based fault-tolerant designs can address both the issues associated with actuator faults.In the present work,an adaptive robust fault-tolerant control scheme is claimed to solve both the problems,as it seamlessly integrates adaptive and robust control design techniques.Comparative simulation studies are performed using a nonlinear hypersonic aircraft model to show the effectiveness of the proposed scheme over a robust adaptive control based faulttolerant scheme.