Title :
Input/output control of asynchronous sequential machines
Author :
Geng, Xiaojun ; Hammer, Jacob
Author_Institution :
Dept. of Electr. & Comput. Eng., California State Univ., Northridge, CA, USA
Abstract :
The problem of controlling a finite-state asynchronous sequential machine is examined. Main consideration is given to input/output control, where access to the state of the machine is not available. The objective is to use output feedback to control the machine so as to match a prescribed model. It is shown that necessary and sufficient conditions for the existence of appropriate controllers can be stated in terms of a simple comparison of two numerical matrices. Whenever controllers exist, algorithms for their design are outlined.
Keywords :
asynchronous machines; control system synthesis; feedback; machine control; finite-state asynchronous sequential machines; input/output control; output feedback; separation principle; Algorithm design and analysis; Clocks; Closed loop systems; Control systems; Input variables; Jacobian matrices; Observers; Output feedback; State estimation; Sufficient conditions; Asynchronous sequential machines; model matching; observers; output feedback; separation principle;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2005.860293
