State-Burst Feedback Control for Fault Recovery of Input/State Asynchronous Sequential Machines

Static corrective controllers are more efficient than dynamic ones since they consist of only logic elements, whereas their existence conditions are more restrictive. In this paper, we present a static corrective control scheme for fault diagnosis and fault tolerant control of input/state asynchronous sequential machines (ASMs) vulnerable to transient faults. The design flexibility of static controllers is enlarged by virtue of using a diagnoser and state bursts. Necessary and sufficient conditions for the existence of a diagnoser and static fault tolerant controller are presented, and the process of controller synthesis is addressed based on the derived condition. Illustrative examples on practical ASMs are provided to show the applicability of the proposed scheme.

[1]  Zengqiang Chen,et al.  Calculating skeleton matrix of asynchronous sequential machines based on the semi-tensor product of matrices , 2017 .

[2]  Jung-Min Yang,et al.  Fault tolerance in switched ASMs with intermittent faults , 2017 .

[3]  Fazel Naghdy,et al.  Delta Operator-Based Model Predictive Control With Fault Compensation for Steer-by-Wire Systems , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  R. Ecoffet,et al.  Physical Mechanisms of Proton-Induced Single-Event Upset in Integrated Memory Devices , 2019, IEEE Transactions on Nuclear Science.

[5]  Qing Zhang,et al.  Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices , 2017, Future Gener. Comput. Syst..

[6]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[7]  Pedro Reviriego,et al.  Design and Implementation of Configuration Memory SEU-Tolerant Viterbi Decoders in SRAM-Based FPGAs , 2019, IEEE Transactions on Nanotechnology.

[8]  Biao Wang,et al.  Model matching of switched asynchronous sequential machines via matrix approach , 2019, Int. J. Control.

[9]  Jing Yang,et al.  An Improved Sparse Autoencoder and Multilevel Denoising Strategy for Diagnosing Early Multiple Intermittent Faults , 2022, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Jung-Min Yang,et al.  Realizing Fault-Tolerant Asynchronous Sequential Machines Using Corrective Control , 2010, IEEE Transactions on Control Systems Technology.

[11]  Jacob Hammer,et al.  Input/output control of asynchronous sequential machines , 2005, IEEE Transactions on Automatic Control.

[12]  Jun Peng,et al.  Input/output control of asynchronous sequential machines with races , 2010, Int. J. Control.

[13]  Jacob Hammer,et al.  On the control of asynchronous machines with races , 2003, IEEE Trans. Autom. Control..

[14]  Ronald F. DeMara,et al.  Survivability Modeling and Resource Planning for Self-Repairing Reconfigurable Device Fabrics , 2018, IEEE Transactions on Cybernetics.

[15]  Jung-Min Yang,et al.  Output feedback control of asynchronous sequential machines with disturbance inputs , 2014, Inf. Sci..

[16]  Jung-Min Yang,et al.  Fault diagnosis and fault-tolerant control of input/output asynchronous sequential machines , 2012 .

[17]  Biao Wang,et al.  A Matrix Approach for the Static Correction Problem of Asynchronous Sequential Machines , 2019, International Journal of Control, Automation and Systems.

[18]  Stéphane Lafortune,et al.  Detection and Mitigation of Classes of Attacks in Supervisory Control Systems , 2018, Autom..

[19]  Bin Jiang,et al.  Adaptive fault tolerant control against actuator faults , 2017 .

[20]  João Carlos Basilio,et al.  Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers , 2017, Autom..

[21]  Rong Su,et al.  Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations , 2016, Autom..

[22]  Guang-Hong Yang,et al.  Adaptive fuzzy decentralized control fora class of large-scale nonlinear systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[23]  Bin Jiang,et al.  Active fault-tolerant control against actuator fault and performance analysis of the effect of time delay due to fault diagnosis , 2017 .

[24]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[25]  Jung-Min Yang,et al.  Static state feedback control of asynchronous sequential machines , 2016, Int. J. Gen. Syst..

[26]  Jung-Min Yang,et al.  Asynchronous sequential machines with adversarial intervention: the use of bursts , 2010, Int. J. Control.

[27]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[28]  Peng Shi,et al.  Adaptive Fault Diagnosis for T–S Fuzzy Systems With Sensor Faults and System Performance Analysis , 2014, IEEE Transactions on Fuzzy Systems.

[29]  Guanghui He,et al.  A Hierarchical Scrubbing Technique for SEU Mitigation on SRAM-Based FPGAs , 2020, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[30]  Yiguang Hong,et al.  Matrix Approach to Model Matching of Asynchronous Sequential Machines , 2013, IEEE Transactions on Automatic Control.

[31]  Jung-Min Yang.  A simple fault tolerant control for input/output asynchronous sequential machines , 2015, Autom..

[32]  Zhiwu Li,et al.  Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[33]  Stéphane Lafortune,et al.  Overview of fault diagnosis methods for Discrete Event Systems , 2013, Annu. Rev. Control..

[34]  Jacob Hammer,et al.  On the control of asynchronous sequential machines with infinite cycles , 2006 .

[35]  Wei Xing Zheng,et al.  Auxiliary Fault Tolerant Control With Actuator Amplitude Saturation and Limited Rate , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[36]  Fengjun Li,et al.  Cyber-Physical Systems Security—A Survey , 2017, IEEE Internet of Things Journal.

[37]  Biao Wang,et al.  Matrix approach to model matching of composite asynchronous sequential machines , 2017 .