Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines

作者: Jung–Min Yang

DOI: 10.1016/J.JFRANKLIN.2020.01.009

关键词: Scheme (programming language)State (computer science)Control theoryAsynchronous communicationControl theoryTransient (computer programming)Computer scienceControl (management)Reference modelFault tolerance

摘要: Abstract This paper addresses a static corrective control scheme for input/state asynchronous sequential machines (ASMs) with transient faults. While the previous controllers have tight existence conditions and achieve only model matching, such restraints are relaxed in this study. To end, diagnoser identifying mismatches faults is introduced to facilitate design of controller. Also state bursts, or fast outbursts characters generated by controlled machine during transitions, used as feedback. In association diangoser, we present condition algorithm controller that matches stable-state behavior closed-loop system reference while invalidating adverse effect A case study provided demonstrate applicability proposed methodology.

参考文章(30)
Zvi Kohavi, Niraj K. Jha, Switching and Finite Automata Theory ,(2010)
Jacob Hammer, Automatic defensive control of asynchronous sequential machines International Journal of Control. ,vol. 89, pp. 193- 209 ,(2016) , 10.1080/00207179.2015.1064547
Xiangru Xu, Yiguang Hong, Matrix Approach to Model Matching of Asynchronous Sequential Machines IEEE Transactions on Automatic Control. ,vol. 58, pp. 2974- 2979 ,(2013) , 10.1109/TAC.2013.2259957
Jung-Min Yang, Jacob Hammer, Asynchronous sequential machines with adversarial intervention: the use of bursts International Journal of Control. ,vol. 83, pp. 956- 969 ,(2010) , 10.1080/00207170903502831
Jun Peng, Jacob Hammer, Input/output control of asynchronous sequential machines with races International Journal of Control. ,vol. 83, pp. 125- 144 ,(2010) , 10.1080/00207170903104182
Jung-Min Yang, Corrective Control of Input/Output Asynchronous Sequential Machines with Adversarial Inputs IEEE Transactions on Automatic Control. ,vol. 55, pp. 755- 761 ,(2010) , 10.1109/TAC.2010.2040496
Uros Legat, Anton Biasizzo, Franc Novak, SEU Recovery Mechanism for SRAM-Based FPGAs IEEE Transactions on Nuclear Science. ,vol. 59, pp. 2562- 2571 ,(2012) , 10.1109/TNS.2012.2211617
Christoforos N. Hadjicostis, George C. Verghese, Fault-tolerant computation in groups and semigroups: applications to automata, dynamic systems and Petri nets Journal of The Franklin Institute-engineering and Applied Mathematics. ,vol. 339, pp. 387- 430 ,(2002) , 10.1016/S0016-0032(02)00025-X
Jung-Min Yang, Seong Woo Kwak, Output feedback control of asynchronous sequential machines with disturbance inputs Information Sciences. ,vol. 259, pp. 87- 99 ,(2014) , 10.1016/J.INS.2013.09.046
Jung-Min Yang, Tan Xing, Jacob Hammer, Adaptive Control of Asynchronous Sequential Machines with State Feedback European Journal of Control. ,vol. 18, pp. 503- 527 ,(2012) , 10.3166/EJC.18.503-527