Static state feedback control of asynchronous sequential machines

Static controllers, which consist of logical gates with no memory elements, form the simplest class of controllers for asynchronous sequential machines. This paper presents necessary and sufficient conditions for the existence of static state feedback controllers that control a given asynchronous sequential machine so as to match a specified model. The process of designing static state feedback controllers is described.

[1]  Jung-Min Yang,et al.  State feedback control of asynchronous sequential machines with adversarial inputs , 2008, Int. J. Control.

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

[3]  Tiziano Villa,et al.  Compositionally Progressive Solutions of Synchronous FSM Equations , 2008, Discret. Event Dyn. Syst..

[4]  Niraj K. Jha,et al.  Switching and Finite Automata Theory , 2010 .

[5]  Steve Furber,et al.  Principles of Asynchronous Circuit Design: A Systems Perspective , 2010 .

[6]  Ratnesh Kumar,et al.  A Discrete Event Systems Approach for Protocol Conversion , 1997, Discret. Event Dyn. Syst..

[7]  Jacob Hammer,et al.  On the control of asynchronous sequential machines with infinite cycles , 2006 .

[8]  Richard F. Tinder.  Asynchronous Sequential Machine Design and Analysis: A Comprehensive Development of the Design and Analysis of Clock-Independent State Machines and Systems , 2009, Asynchronous Sequential Machine Design and Analysis.

[9]  Niraj K. Jha,et al.  Switching and Finite Automata Theory: Frontmatter , 2009 .

[10]  Jacob Hammer,et al.  Input/output control of asynchronous sequential machines , 2005, IEEE Transactions on Automatic Control.

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

[12]  Jens Sparsø,et al.  Principles of Asynchronous Circuit Design , 2001 .

[13]  Jun Peng,et al.  Bursts and Output Feedback Control of Non-Deterministic Asynchronous Sequential Machines , 2012, Eur. J. Control.

[14]  Jun Peng,et al.  Input/output control of asynchronous sequential machines with races , 2010, Int. J. Control.

[15]  Jung-Min Yang,et al.  Realizing Fault-Tolerant Asynchronous Sequential Machines Using Corrective Control , 2010, IEEE Transactions on Control Systems Technology.

[16]  Alain J. Martin,et al.  Asynchronous Techniques for System-on-Chip Design , 2006, Proceedings of the IEEE.

[17]  Jung-Min Yang.  Model matching inclusion for input/state asynchronous sequential machines , 2011, Autom..

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

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

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

[21]  Jacob Hammer.  Defensive state feedback control of asynchronous sequential machines , 2015, 2015 23rd Mediterranean Conference on Control and Automation (MED).

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

[23]  Jung-Min Yang,et al.  Asynchronous sequential machines with adversarial intervention: the use of bursts , 2010, Int. J. Control.