A Survey on Dynamic Corrective Control of Asynchronous Sequential Machines
Source abstract
Abstract
As a feedback control methodology exclusively targeting asynchronous sequential machines (ASMs), corrective control has been rapidly developing for the past two decades. This paper presents a comprehensive survey on the theory and application of dynamic corrective control in which the controller also has the form of an ASM. First, basic notions and principles of dynamic corrective control, including models of ASMs and configurations of closed-loop systems, are reviewed. Next, assorted dynamic corrective control schemes are presented aiming at solving specific control problems of ASMs, such as model matching and fault-tolerant control. Variations of control aspects are classified according to modeling formalisms of controlled ASMs—input/state, input/output, and composite ASMs—and involved fault characteristics, such as transient, permanent, and intermittent faults and intelligent attacks. Representative results on the application of fault-tolerant corrective control to real-world engineering systems are also provided with an emphasis on space-borne digital systems. Finally, some challenging topics for future studies on corrective control are discussed.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Distributed systems and fault tolerance · Radiation Effects in Electronics · Petri Nets in System Modeling
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 Control and Instrumentation Engineering, Pukyong National University, Busan 48513, Korea
Funding
National Research Foundation of Korea
References (100+)
Show source-provided references
1. The synthesis of sequential switching circuits10.1016/0016-0032(54)90574-8 ↗
2. Pass-transistor asynchronous sequential circuits10.1109/4.16304 ↗
3. Automating the design of asynchronous sequential logic circuits10.1109/4.75015 ↗
4. Asynchronous design methodologies: An overview10.1109/5.362752 ↗
5. Sparsø, J., and Furber, S. (2002). Principles of Asynchronous Circuit Design—A Systems Perspective, Kluwer Academic Publishers.10.1007/978-1-4757-3385-3 ↗
6. Asynchronous techniques for system-on-chip design10.1109/JPROC.2006.875789 ↗
7. Beerel, P.A., Ozdag, R.O., and Ferretti, M. (2010). A Designer’s Guide to Asynchronous VLSI, Cambridge University Press.10.1017/CBO9780511674730 ↗
8. Race-free state assignments for synthesizing large-scale asynchronous sequential logic circuits10.1109/12.241592 ↗
9. Synthesis of hazard-free control circuits from asynchronous finite state machines specifications10.1007/BF02108190 ↗
10. Hazards, critical races, and metastability10.1109/12.391185 ↗
11. Bychko, V., Yershov, R., Gulyi, Y., and Zhydko, M. (2020, January 6–9). Automation of anti-race state encoding of asynchronous FSM for robust systems. Proceedings of the 2020 IEEE International Conference on Problems of Infocommunications, Science and Technology, Kharkiv, Ukraine.10.1109/PICST51311.2020.9467908 ↗
12. On the corrective control of sequential machines10.1080/00207179608921696 ↗
13. On the control of incompletely described sequential machines10.1080/00207179608921881 ↗
14. On the control of sequential machines with disturbances10.1080/002071797224135 ↗
15. Hammer, J. (1997, January 6). Controlling sequential machines with disturbances. Proceedings of the 1997 American Control Conference, Albuquerque, NM, USA.10.1109/ACC.1997.611080 ↗
16. Murphy, T.E. (1996). On the Control of Asynchronous Sequential Machines with Races. [Ph.D. Thesis, University of Florida].
17. Optimization of static output feedback using substitutive LMI formulation10.1109/TAC.2004.829633 ↗
18. Static output feedback stabilization with H∞ performance for linear discrete-time systems10.1109/TAC.2004.841922 ↗
19. A heuristic approach to static output-feedback controller synthesis with restricted frequency-domain specifications10.1109/TAC.2013.2281472 ↗
20. A matrix approach for the static correction problem of asynchronous sequential machines10.1007/s12555-019-0148-8 ↗
21. The control of discrete event systems10.1109/5.21072 ↗
22. Detectability of discrete event systems10.1109/TAC.2007.910713 ↗
23. Cassandras, C.G., and Lafortune, S. (2008). Introduction to Discrete Event Systems, Springer. [2nd ed.].10.1007/978-0-387-68612-7 ↗
24. I-detectability of discrete-event systems10.1109/TASE.2012.2230443 ↗
25. Reconfigurable coordination of distributed discrete event control systems10.1109/TCST.2014.2313352 ↗
26. Wonham, W.M., and Cai, K. (2019). Supervisory Control of Discrete-Event Systems, Springer.10.1007/978-3-319-77452-7 ↗
27. Murphy, T.E., Geng, X., and Hammer, J. (2002, January 21–26). Controlling races in asynchronous sequential machines. Proceedings of the 15th Triennial World Congress, Barcelona, Spain.
28. On the control of asynchronous machines with races10.1109/TAC.2003.812814 ↗
29. Geng, X. (2003). Model Matching for Asynchronous Sequential Machines. [Ph.D. Thesis, University of Florida].
30. Geng, X., and Hammer, J. (2004, January 6–9). Asynchronous sequential machines: Input/output control. Proceedings of the 12th Mediterranean Conference on Control and Automation, Kusadasi, Turkey.
31. Input/output control of asynchronous sequential machines10.1109/TAC.2005.860293 ↗
32. Eilenberg, S. (1974). Automata, Languages, and Machines, Academic Press.
33. Kohavi, Z., and Jha, Z. (2010). Switching and Finite Automata Theory, Cambridge University Press. [3rd ed.].10.1017/CBO9780511816239 ↗
34. Self-synchronized asynchronous sequential machines10.1109/T-C.1974.223852 ↗
35. Asynchronous circuits and systems: A promising design alternative10.1016/S0167-9317(00)80065-9 ↗
36. Cheng, D., Qi, H., and Li, Z. (2011). Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach, Springer Science & Business Media.10.1007/978-0-85729-097-7_2 ↗
37. Stability and stabilization of Boolean networks10.1002/rnc.1581 ↗
38. Semi-tensor product approach to controllability and stabilizability of finite automata10.1109/JSEE.2015.00018 ↗
39. Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems10.1049/iet-cta.2016.1659 ↗
40. A survey on applications of semi-tensor product method in engineering10.1007/s11427-017-9265-8 ↗
41. Semi-tensor product of matrices approach to the problem of fault detection for discrete event systems (DESs)
42. Reachability analysis of networked finite state machine with communication losses: A switched perspective10.1109/JSAC.2020.2980920 ↗
43. Matrix approach and model matching of asynchronous sequential machines10.1109/TAC.2013.2259957 ↗
44. Calculating skeleton matrix of asynchronous sequential machines based on the semi-tensor product of matrices10.1049/iet-cta.2016.1668 ↗
45. Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices10.1016/j.future.2017.03.023 ↗
46. Model matching for finite-state machines
47. Venkatraman, N., and Hammer, J. (2006, January 18–21). Stable realizations of asynchronous sequential machines with infinite cycles. Proceedings of the 2006 Asian Control Conference, Bali, Indonesia.
48. Venkatraman, N., and Hammer, J. (2006, January 24–28). Controllers for asynchronous sequential machines with infinite cycles. Proceedings of the 17th International Symposium on the Mathematical Theory of Networks and Systems, Kyoto, Japan.
49. On the control of asynchronous sequential machines with infinite cycles10.1080/00207170600665022 ↗
50. State feedback control of asynchronous machines with nondeterministic models10.1109/TAC.2008.2010980 ↗
51. Model matching inclusion for input/state asynchronous sequential machines10.1016/j.automatica.2011.01.016 ↗
52. Peng, J., and Hammer, J. (2009, January 23–26). Generalized realizations and output feedback control of asynchronous sequential machines with races. Proceedings of the 2009 European Control Conference (ECC), Budapest, Hungary.10.23919/ECC.2009.7074517 ↗
53. Input/output control of asynchronous sequential machines with races10.1080/00207170903104182 ↗
54. Peng, J., and Hammer, J. (2010, January 1–3). Output feedback and bursts: Overcoming uncertainty in asynchronous sequential machines. Proceedings of the 8th IFAC Symposium on Nonlinear Control Systems, Bologna, Italy.
55. Bursts and output feedback control of non-deterministic asynchronous sequential machines10.3166/ejc.18.286-300 ↗
56. Modeling and control of switched asynchronous sequential machines10.1109/TAC.2015.2503323 ↗
57. Model matching of switched asynchronous sequential machines via matrix approach10.1080/00207179.2018.1441552 ↗
58. Corrective control of composite asynchronous sequential machines under partial observation
59. Matrix approach to model matching of composite asynchronous sequential machines10.1049/iet-cta.2016.1651 ↗
60. Design of fault diagnosis filters and fault-tolerant control for a class of nonlinear systems10.1109/9.964696 ↗
61. A survey of fault diagnosis and fault-tolerant techniques—Part I: Fault diagnosis with model-based and signal-based approaches10.1109/TIE.2015.2417501 ↗
62. Fault diagnosis observer and fault-tolerant control design for unmanned surface vehicles in network environments10.1109/ACCESS.2019.2954352 ↗
63. Transient fault tolerance in digital systems10.1109/40.259897 ↗
64. Krishina, C.M., and Shin, K.G. (1997). Real-Time Systems, McGraw-Hill.
65. Spatial and temporal redundancy for transient fault-tolerant datapath10.1109/TAES.2017.2776038 ↗
66. Fuzzy c-means clustering of signal functional principal components for post-processing dynamic scenarios of a nuclear power plant digital instrumentation and control system10.1109/TR.2011.2134230 ↗
67. Wireless sensor systems for space and extreme environments: A review10.1109/JSEN.2014.2357030 ↗
68. Yang, M., Hua, G., Feng, Y., and Gong, J. (2017). Fault-Tolerance Techniques for Spacecraft Control Computers, John Wiley & Sons.10.1002/9781119107392 ↗
69. Physical mechanisms of proton-induced single-event upset in integrated memory devices10.1109/TNS.2019.2902758 ↗
70. State feedback control of asynchronous sequential machines with adversarial inputs10.1080/00207170801930225 ↗
71. Output feedback control of asynchronous sequential machines with disturbance inputs10.1016/j.ins.2013.09.046 ↗
72. Addressing transient and permanent faults in NoC with efficient fault-tolerant deflection router10.1109/TVLSI.2012.2204909 ↗
73. Energy-efficient permanent fault tolerance in hard real-time systems10.1109/TC.2019.2912164 ↗
74. Fault tolerance in asynchronous sequential machines using output feedback control10.1109/TAC.2011.2176155 ↗
75. A novel intermittent fault detection algorithm and health monitoring for electronic interconnections10.1109/TCPMT.2015.2500023 ↗
76. A dynamic-bayesian-network-based fault diagnosis methodology considering transient and intermittent faults10.1109/TASE.2016.2574875 ↗
77. Fault tolerance in switched ASMs with intermittent faults10.1049/iet-cta.2016.1327 ↗
78. Cyber meets control: A novel federated approach for resilient CPS leveraging real cyber threat intelligence10.1109/MCOM.2017.1600292CM ↗
79. Reachability analysis for safety assurance of cyber-physical systems against cyber attacks10.1109/TAC.2017.2761762 ↗
80. Artificial intelligence for detection, estimation, and compensation of malicious attacks in nonlinear cyber-physical systems and industrial IoT10.1109/TII.2019.2956474 ↗
81. Hammer, J. (2015, January 16–19). Defensive state feedback control of asynchronous sequential machines. Proceedings of the 23rd Mediterranean Conference on Control and Automation (MED), Torremolinos, Spain.10.1109/MED.2015.7158796 ↗
82. Automatic defensive control of asynchronous sequential machines10.1080/00207179.2015.1064547 ↗
83. State feedback corrective control with a self-repair scheme against transient faults10.1016/j.jfranklin.2021.09.003 ↗
84. A comparison of fault-tolerant state machine architectures for space-borne electronics10.1109/24.488925 ↗
85. Single event upset rates in space10.1109/23.211373 ↗
86. Digital system design in the presence of single event upsets10.1109/7.210069 ↗
87. Basic mechanisms and modeling of single-event upset in digital microelectronics10.1109/TNS.2003.813129 ↗
88. Fault tolerant solid state mass memory for space applications10.1109/TAES.2005.1561889 ↗
89. Design and implementation of configuration memory SEU-tolerant viterbi decoders in SRAM-based FPGAs10.1109/TNANO.2019.2925872 ↗
90. Analysis of the robustness of the TMR architecture in SRAM-based FPGAs10.1109/TNS.2005.856543 ↗
91. SEU recovery mechanism for SRAM-based FPGAs10.1109/TNS.2012.2211617 ↗
92. Studying the effects of intermittent faults on a microcontroller10.1016/j.microrel.2012.06.004 ↗
93. Singh, U., and Green, M. (2001, January 6–9). New structures for very high-frequency CMOS clock dividers. Proceedings of the 2001 IEEE International Symposium on Circuits and Systems, Sydney, Australia.
94. A wide locking-range frequency divider for LMDS applications
95. A real time EDAC system for applications onboard earth observation small satellites10.1109/TAES.2012.6129661 ↗
96. Gu, B., Kim, S., Lee, J., Oh, S., and Chae, J. (2016, January 16–18). Development of flight model NEXTSat-1 on board computer (in Korean). Proceedings of the 2016 Korean Society for Aeronautical and Space Sciences (KSAS) Fall Conference, Jeju, Korea.
97. The near solid-state data recorders
98. System fault-tolerance analysis of COTS-based satellite on-board computers10.1016/j.mejo.2014.01.007 ↗
99. A hierarchical scrubbing technique for SEU mitigation on SRAM-based FPGAs10.1109/TVLSI.2020.3010647 ↗
100. A novel fault tolerant and runtime reconfigurable platform for satellite payload processing10.1109/TC.2013.80 ↗