Automatic defensive control of asynchronous sequential machines

References

• Barrett, G., & Lafortune, S. (1998). Bisimulation, the supervisory control problem, and strong model matching for finite state machines. Discrete Event Systems: Theory and Applications, 8(4), 377–429.
   Web of Science ®Google Scholar
• Di Benedetto, M.D., Sangiovanni-Vincentelli, A., & Villa, T. (2001). Model matching for finite-state machines. IEEE Transactions on Automatic Control, 46(11), 1726–1743.
   Web of Science ®Google Scholar
• Geng, X., & Hammer, J. (2005). Input/output control of asynchronous sequential machines. IEEE Transactions on Automatic Control, 50(12), 1956–1970.
   Web of Science ®Google Scholar
• Hammer, J. (1994, December). On some control problems in molecular biology. Proceedings of the IEEE conference on decision and control, Lake Buena Vista, FL (pp. 4098–4103).
   Google Scholar
• Hammer, J. (1996). On corrective control of sequential machines. International Journal of Control, 65(2), 249–276.
   Web of Science ®Google Scholar
• Kohavi, Z. (1978). Switching and finite automata theory (2nd ed.). New York, NY: McGraw-Hill.
   Google Scholar
• Kumar, R., Nelvagal, S., & Marcus, S.I. (1997). A discrete event systems approach for protocol conversion. Discrete Event Systems: Theory and Applications, 7(3), 295–315.
   Web of Science ®Google Scholar
• Martin, A.J., & Nyström, M. (2006). Asynchronous techniques for system-on-chip design. Proceedings of IEEE, 94(6), 1089–1120.
   Web of Science ®Google Scholar
• Murphy, T.E., Geng, X., & Hammer, J. (2002, July). Controlling races in asynchronous sequential machines. Proceeding of the IFAC World congress, Barcelona.
   Google Scholar
• Murphy, T.E., Geng, X., & Hammer, J. (2003). On the control of asynchronous machines with races. IEEE Transactions on Automatic Control, 48(6), 1073–1081.
   Web of Science ®Google Scholar
• Peng, J., & Hammer, J. (2010). Input/output control of asynchronous sequential machines with races. International Journal of Control, 83(1), 125–144.
   Web of Science ®Google Scholar
• Peng, J., & Hammer, J. (2012). Bursts and output feedback control of non-deterministic asynchronous sequential machines. European Journal of Control, 18(3), 286–300.
   Web of Science ®Google Scholar
• Sparsø, J., & Furber, S. (2001). Principles of asynchronous circuit design – a systems perspective. Dordrecht: Kluwer Academic.
   Google Scholar
• Szor, P. (2005). The art of computer virus research and defense. New Jersy, NJ: Addison-Wesley.
   Google Scholar
• Thistle, J.G., & Wonham, W.M. (1994). Control of infinite behavior of finite automata. SIAM Journal on Control and Optimization, 32(4), 1075–1097.
   Web of Science ®Google Scholar
• Tinder, R.F. (2009). Asynchronous sequential machine design and analysis. San Francisco, CA: Morgan & Claypool.
   Google Scholar
• Venkatraman, N., & Hammer, J. (2006a). On the control of asynchronous sequential machines with infinite cycles. International Journal of Control, 79(7), 764–785.
   Web of Science ®Google Scholar
• Venkatraman, N., & Hammer, J. (2006b). Stable realizations of asynchronous sequential machines with infinite cycles. Proceedings of 2006 Asian control conference, Bali, Indonesia (pp. 45–51).
   Google Scholar
• Yang, J.–M. (2011). Model matching inclusion for input/state asynchronous sequential machines. Automatica, 47(3), 597–602.
   Web of Science ®Google Scholar
• Yang, J.-M., & Hammer, J. (2008). State feedback control of asynchronous sequential machines with adversarial inputs. International Journal of Control, 81(12), 1910–1929.
   Web of Science ®Google Scholar
• Yang, J.-M., & Hammer, J. (2010). Asynchronous sequential machines with adversarial intervention: The use of bursts. International Journal of Control, 83(5), 956–969.
   Web of Science ®Google Scholar
• Yang, J.-M., & Kwak, S.W. (2010). Realizing fault-tolerant asynchronous sequential machines using corrective control. IEEE Transactions on Control Systems Technology, 18(6), 1457–1463.
   Web of Science ®Google Scholar
• Yevtushenko, N., Villa, T., Brayton, R.K., Petrenko, A., & Sangiovanni-Vincentelli, A.L. (2008). Compositionally progressive solutions of synchronous FSM equations. Discrete Event Systems: Theory and Applications, 18(4), 51–89.
   Web of Science ®Google Scholar