Corrective Control of Asynchronous Sequential Machines with Input Disturbance I : Modeling

입력 외란이 존재하는 비동기 순차 머신의 교정 제어 I : 모델링

  • Published : 2007.09.01

Abstract

This paper presents the problem of controlling asynchronous sequential machines in the presence of input disturbances, which may be also regarded as an adversary in a game theoretic setting. The main objective is to develope a new methodology for including unpredictable behavior of input disturbance into models of asynchronous machines. The input disturbance, representing uncontrollable noise input, is embedded into a new model of asynchronous machines in form of input/state finite state machines. It is shown that the proposed modeling preserves the fundamental model and well-pose of asynchronous machines. The reachability matrix, an important performance index of asynchronous machines, is also adapted according to input disturbance and will be used for constructing corrective controllers in the companion paper.

References

  1. G. Birtwistle and A. Davis (eds.), Asynchronous Digital Circuit Design, London: Springer-Verlag, 1995
  2. M. Singh and S. M. Nowick, 'Synthesis-for¬initializability of asynchronous sequential machines,' in Proceedings of International Test Conference, pp. 232-241, 1996
  3. S. W. Moore, G. S. Taylor, P. A. Cunningham, R. D. Mullins and P. Robinson, 'Self calibrating clocks for globally asynchronous locally synchronous systems,' in Proceedings of IEEE International Conference on Computer Design, pp. 73-78, 2000
  4. J. Hammer, 'On corrective control of sequential machines,' International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996 https://doi.org/10.1080/00207179608921696
  5. 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
  6. N. Venkatraman and J. Hammer, 'On the control of asynchronous sequential machines with infinite cycles,' International Journal of Control, vol. 79, no. 7, pp. 764-785, 2006 https://doi.org/10.1080/00207170600665022
  7. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Boston, MA: Kluwer, 1999
  8. 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭 제어 II: 제어기 설계,' 전기학회논문지, 제57D권, 2007
  9. S. M. Nowick and D. L. Dill, 'Synthesis of asynchronous state machines using a local clock:' in Proceedings of IEEE International Conference on Computer Design, pp. 192-197, 1991
  10. Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
  11. X. Geng and J. Hammer, 'Input/output control of asynchronous sequential machines,' IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1956-1970, 2005 https://doi.org/10.1109/TAC.2005.860293