Realization of asynchronous finite-state machines

Asynchronous finite-state machines accurately represent the action of computer control systems on continuous and discrete processes. Despite their importance, the lack of a general analytic representation for asynchronous machines has prevented the development of adequate techniques for analysis and design of finite-state asynchronous control systems, while ad hoc real-time control software has proliferated. In this paper, a general realization method is presented.