|
CONTROLLING RACES IN ASYNCHRONOUS SEQUENTIAL MACHINES
Thomas E. Murphy†
Xiaojun Geng‡, and
Jacob Hammer‡
† Department of Mathematics and Computer Science, Georgia Southern University,
Statesboro, GA 30460-8093, USA.
‡ Department of Electrical and Computer Engineering, University of Florida, Gainesville,
FL 32611-6130, USA.
State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine.
Keywords: asynchronous sequential logic, critical races, finite state machines, control
Session slot T-Mo-M07: Hybrid, Switching and Discrete Systems/Area code 2c : Non-linear Systems
 | 