Asynchronous Discrete Control of Continuous Processes

摘要

This research concerns the analysis and synthesis of asynchronous systems that contain discrete-state feedback compensators for continuous state plants. New tools for characterizing both the interfaces and the signals present in these intrinsically hybrid systems were developed. Generalizations of automata theory to real number alphabets were pursued and the application of semigroup theory to the dynamics of such systems has allowed for novel approaches for characterizing the internal state of asynchronous systems to be derived. A simulator for these 'asynchronous machines' has been written and allows us to bridge the gap between ideal systems, on one hand, and systems with physically constrained processing times, on the other.