Input/output control of asynchronous sequential machines

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.

[1]  Jacob Hammer,et al.  On the control of incompletely described sequential machines , 1996 .

[2]  Tiziano Villa,et al.  Model matching for finite-state machines , 2001, IEEE Trans. Autom. Control..

[3]  Jacob Hammer,et al.  On the control of asynchronous machines with races , 2003, IEEE Trans. Autom. Control..

[4]  J. G. Thistle,et al.  Control of Infinite Behavior of Finite Automata , 1994 .

[5]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[6]  Jacob Hammer,et al.  On some control problems in molecular biology , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  Stéphane Lafortune,et al.  Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines , 1998, Discret. Event Dyn. Syst..

[8]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[9]  Thomas E. Murphy,et al.  CONTROLLING RACES IN ASYNCHRONOUS SEQUENTIAL MACHINES , 2002 .

[10]  Jacob Hammer,et al.  On the modeling and control of biological signaling chains , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[11]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[12]  Jacob Hammer,et al.  On the corrective control of sequential machines , 1996 .