Title :
On the control of asynchronous machines with races
Author :
Murphy, Thomas E. ; Geng, Xiaojun ; Hammer, Jacob
Author_Institution :
Sch. of Comput., Armstrong Atlantic State Univ., Savannah, GA, USA
fDate :
6/1/2003 12:00:00 AM
Abstract :
The problem of eliminating the effects of critical races on asynchronous machines is considered in a control theoretic context. State feedback controllers that eliminate the effects of critical races are developed. The results include necessary and sufficient conditions for the existence of such controllers and algorithms for their design. When the controllers exist, they eliminate the race effects and control the machine to match a given race-free model.
Keywords :
finite state machines; hazards and race conditions; sequential machines; asynchronous machines; asynchronous sequential machine; closed loop system; control theoretic context; critical races; finite state machines; Adaptive control; Algorithm design and analysis; Automata; Closed loop systems; Control systems; Economic forecasting; Hazards; Jacobian matrices; State feedback; Sufficient conditions;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2003.812814
