On the corrective control of sequential machines

The paper deals with the design of controllers that correct faulty behaviour of sequential machines caused by corrupted inputs. Alternatively, the results can be interpreted as the design of controllers that steer a sequential machine from an unknown initial condition to a prescribed steady-state course. In these terms, the paper characterizes the uncertainties about the initial condition under which the prescribed steady-state course can be achieved. The paper is written within the input/output framework of nonlinear control, and is motivated in part by potential applications to molecular biology.

[1]  A. F. Vaz,et al.  On supervisor reduction in discrete-event systems , 1986 .

[2]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[3]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[4]  B. Krogh,et al.  On Petri net models of infinite state supervisors , 1992 .

[5]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[6]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[7]  A. Lindenmayer.  Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs. , 1968, Journal of theoretical biology.

[8]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[9]  M Sugita,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automation. , 1963, Journal of theoretical biology.

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

[11]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[12]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[13]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[14]  Maurice Nivat,et al.  Controlling Behaviours of Systems: Some Basic Concepts and some Applications , 1980, MFCS.

[15]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[16]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[17]  Grzegorz Rozenberg,et al.  L Systems , 1974, Handbook of Formal Languages.

[18]  Przemyslaw Prusinkiewicz,et al.  The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.

[19]  Vijay K. Garg,et al.  On supervisory control of sequential behaviors , 1992 .

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

[21]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .