Bursts and Output Feedback Control of Non-Deterministic Asynchronous Sequential Machines

The use of bursts—fast outbursts produced by an asynchronous sequential machine during transition—can enhance the capabilities of output feedback controllers to overcome uncertainties when controlling nondeterministic asynchronous sequential machines. The utilization of bursts involves the development of a new class of generalized realizations. The latter form the basis for the derivation of output feedback controllers that achieve deterministic model matching for nondeterministic machines. Necessary and sufficient conditions for the existence of such controllers are presented in terms of a numerical matrix derived from available data. Design outlines are also included.