DOI QR코드

DOI QR Code

Fault-Tolerant Control of Asynchronous Sequential Machines with Input Faults

고장 입력이 존재하는 비동기 순차 머신을 위한 내고장성 제어

  • Yang, Jung-Min (School of Electronics Engineering, Kyungpook National University)
  • Received : 2016.02.02
  • Accepted : 2016.06.28
  • Published : 2016.07.25

Abstract

Corrective control for asynchronous sequential machines is a novel automatic control theory that compensates illegal behavior or adverse effects of faults in the operation of existent asynchronous machines. In this paper, we propose a scheme of diagnosing and tolerating faults occurring to input channels of corrective control systems. The corrective controller can detect faults occurring in the input channel to the controlled machine, whereas those faults happening in the external input channel cannot be detected. The proposed scheme involves an outer operator which, upon receiving the state feedback, diagnoses a fault and sends an appropriate command signal to the controller for tolerating faults in the external input channel.

비동기 순차 머신을 위한 교정 제어는 이미 설계된 비동기 순차 머신의 오동작이나 머신에서 발생하는 고장의 영향을 없애는 새로운 제어 기법이다. 본 논문에서는 비동기 순차 머신 교정 제어 시스템의 입력단에서 일어나는 고장을 탐지하고 극복하는 방법을 제안한다. 교정 제어기는 제어 대상 머신의 입력단에서 일어나는 고장을 탐지할 수 있으나 외부 입력단에서 발생하는 고장은 알지 못한다. 이번 연구에서는 비동기 순차 머신을 사용하는 외부 운용자(operator)가 상태 피드백을 받아서 고장을 발견한 후 제어기에게 고장 극복 동작을 명령하는 방식으로 외부 입력단의 고장을 위한 내고장성 제어 기법을 완성한다.

Keywords

References

  1. T. E. Murphy, X. Geng, and J. Hammer, "On the control of asynchronous machines with races," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073-1081, 2003. https://doi.org/10.1109/TAC.2003.812814
  2. J.-M. Yang and J. Hammer, "State feedback control of asynchronous sequential machines with adversarial inputs," International Journal of Control, vol. 81, no. 12, pp. 1910-1929, 2008. https://doi.org/10.1080/00207170801930225
  3. J. Peng and J. Hammer, "Bursts and output feedback control of non-deterministic asynchronous sequential machines," European Journal of Control, vol. 18, no. 3, pp. 286-300, 2012. https://doi.org/10.3166/ejc.18.286-300
  4. J.-M. Yang, "Model matching for composite asynchronous sequential machines in cascade connection," Journal of The Institute of Electronics Engineers of Korea, vol. 50, no. SC-5, pp. 253-261, 2013.
  5. Y. K. Park and J.-M. Yang, "Model matching for input/output asynchronous machines using output equivalent machines," Journal of The Institute of Electronics Engineers of Korea, vol. 51, no. SC-9, pp. 2059-2067, 2014.
  6. J.-M. Yang and J. Hammer, "Asynchronous sequential machines with adversarial intervention: the use of bursts," International Journal of Control, vol. 83, no. 5, pp. 956-969, 2010. https://doi.org/10.1080/00207170903502831
  7. H. B. Yi, Y. H. Kim, S. J. Park, and C. W. Park, "Interconnect delay fault test in boards and SoCs with multiple system clock," Journal of The Institute of Electronics Engineers of Korea, vol. 43, no. SD-1, pp. 37-45, 2006.
  8. Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press: Cambridge, UK, 2010.
  9. J.-M. Yang and S. W. Kwak, "Corrective control of asynchronous machines with uncontrollable inputs: application to single-event-upset error counters," IET Control Theory and Applications, vol. 4, no. 11, pp. 2454-2462, 2010. https://doi.org/10.1049/iet-cta.2009.0397