Asynchronous sequential machines with adversarial intervention: the use of bursts

Abstract

Feedback controllers can automatically counteract the effects of adversarial interventions on the operation of asynchronous sequential machines. The use of bursts–fast outbursts of characters generated by a controlled machine during transition–helps broaden the conditions under which such controllers exist. Necessary and sufficient conditions for the existence of state feedback controllers that employ bursts to counteract the effects of adversarial interventions are presented. Design techniques for such controllers are also described.

Keywords:

• asynchronous sequential machines
• feedback control
• adversarial intervention
• disturbance rejection

Acknowledgments

The research of Jung-Min Yang was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology under grant number KRF-2008-521-D00264.