Generalized realizations and output feedback control of asynchronous sequential machines with races

The novel notion of a `generalized realization' for asynchronous sequential machines with critical races is presented as a tool for the design of output feedback controllers that eliminate the uncertainty caused by critical races. A generalized realization helps represent the uncertainty induced by critical races and creates a deterministic relationship between input-output data and the generalized state. This makes it possible to use deterministic techniques to design output feedback controllers for non-deterministic asynchronous sequential machines.