State-Burst Feedback Control for Fault Recovery of Input/State Asynchronous Sequential Machines
Source abstract
Abstract
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.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Petri Nets in System Modeling · Fault Detection and Control Systems · Radiation Effects in Electronics
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
School of Electronics Engineering, Kyungpook National University, Daegu 41566, Korea
Department of Electrical and Computer Engineering, Ajou University, Suwon 16499, Korea
Department of Control and Instrumentation Engineering, Pukyong National University, Busan 48513, Korea
Funding
National Research Foundation of Korea
References (39)
Show source-provided references
1. Input/output control of asynchronous sequential machines10.1109/TAC.2005.860293 ↗
2. On the control of asynchronous sequential machines with infinite cycles10.1080/00207170600665022 ↗
3. Matrix approach and model matching of asynchronous sequential machines10.1109/TAC.2013.2259957 ↗
4. Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices10.1016/j.future.2017.03.023 ↗
5. Model matching of switched asynchronous sequential machines via matrix approach10.1080/00207179.2018.1441552 ↗
6. Realizing fault-tolerant asynchronous sequential machines using corrective control
7. Output feedback control of asynchronous sequential machines with disturbance inputs10.1016/j.ins.2013.09.046 ↗
8. Fault tolerance in switched ASMs with intermittent faults10.1049/iet-cta.2016.1327 ↗
9. On the control of asynchronous machines with races10.1109/TAC.2003.812814 ↗
10. Input/output control of asynchronous sequential machines with races10.1080/00207170903104182 ↗
11. A simple fault tolerant control for input/output asynchronous sequential machines10.1016/j.automatica.2014.10.107 ↗
12. Static state feedback control of asynchronous sequential machines10.1080/03081079.2016.1158513 ↗
13. A matrix approach for the static correction problem of asynchronous sequential machines10.1007/s12555-019-0148-8 ↗
14. Physical mechanisms of proton-induced single-event upset in integrated memory devices10.1109/TNS.2019.2902758 ↗
15. A hierarchical scrubbing technique for SEU mitigation on SRAM-based FPGAs10.1109/TVLSI.2020.3010647 ↗
16. Diagnosability of discrete-event systems10.1109/9.412626 ↗
17. Fault diagnosis in discrete-event systems: Framework and model reduction10.1109/TAC.2003.814099 ↗
18. Overview of fault diagnosis methods for discrete event systems10.1016/j.arcontrol.2013.09.009 ↗
19. Computation of minimal diagnosis bases of discrete-event systems using verifiers10.1016/j.automatica.2016.11.026 ↗
20. Fault identification of discrete event systems modeled by Petri nets with unobservable transitions10.1109/TSMC.2017.2762823 ↗
21. Siewiorek, D.P., and Swarz, R.S. (1992). Reliable Computer Systems, Digital Press. [2nd ed.].
22. Detection and mitigation of classes of attacks in supervisory control systems10.1016/j.automatica.2018.07.017 ↗
23. Cyber-physical systems security—A survey10.1109/JIOT.2017.2703172 ↗
24. Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations10.1016/j.automatica.2018.04.006 ↗
25. Adaptive fuzzy decentralized control for a class of large-scale nonlinear systems with actuator faults and unknown dead zones10.1109/TSMC.2016.2521824 ↗
26. Auxiliary fault tolerant control with actuator amplitude saturation and limited rate10.1109/TSMC.2017.2752961 ↗
27. Delta operator-based model predictive control with fault compensation for steer-by-wire systems10.1109/TSMC.2018.2812849 ↗
28. Adaptive fault diagnosis for T–S fuzzy systems with sensor faults and system performance analysis10.1109/TFUZZ.2013.2252355 ↗
29. Active fault-tolerant control against actuator fault and performance analysis of the effect of time delay due to fault diagnosis10.1007/s12555-015-0307-5 ↗
30. Adaptive fault tolerant control against actuator faults10.1002/acs.2689 ↗
31. Asynchronous sequential machines with adversarial intervention: The use of bursts10.1080/00207170903502831 ↗
32. Kohavi, Z., and Jha, Z. (2010). Switching and Finite Automata Theory, Cambridge University Press. [3rd ed.].10.1017/CBO9780511816239 ↗
33. Xie, G., Yang, J., and Yang, Y. (2021). An improved sparse autoencoder and multilevel denoising strategy for diagnosing early multiple intermittent faults. IEEE Trans. Syst. Man Cybern. Syst.10.1109/TSMC.2020.3005433 ↗
34. Survivability modeling and resource planning for self-repairing reconfigurable device fabrics10.1109/TCYB.2017.2655878 ↗
35. Fault diagnosis and fault-tolerant control of input/output asynchronous sequential machines10.1049/iet-cta.2011.0339 ↗
36. Stability and stabilizability of discrete event dynamic systems10.1145/116825.116855 ↗
37. Matrix approach to model matching of composite asynchronous sequential machines10.1049/iet-cta.2016.1651 ↗
38. Calculating skeleton matrix of asynchronous sequential machines based on the semi-tensor product of matrices10.1049/iet-cta.2016.1668 ↗
39. Design and implementation of configuration memory SEU-tolerant viterbi decoders in SRAM-based FPGAs10.1109/TNANO.2019.2925872 ↗