On the corrective control of sequential machines

REFERENCES

• ALBERTS , B. , BRAY , D. , LEWIS , J. , RAFF , M. , ROBERTS , K. , and WATSON , J. D. , 1989 , Molecular Biology of the Cell, , second edition ( New York : Garland ).
   Google Scholar
• ARNOLD , A. , and NIVAT , M. , 1980 , Controlling behaviors of systems some basic concepts and some applications . Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science ( Berlin : Springer-Verlag ).
   Google Scholar
• CHO , H. , and MARCUS , S. I. , 1989 , Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations . Mathematical Systems Theory , 22 , 177 – 211 .
   Google Scholar
• CIESLAK , R. , DESCLAUX , C. , FAWAZ , A. , and VARAIYA , P. , 1988 , Supervisory control of discrete event processes with partial observations . IEEE Transactions on Automatic Control , 33 , 249 – 260 .
   Web of Science ®Google Scholar
• EILENBERG , S. , 1974 , Automata, Languages, and Machines ( New York : Academic Press ).
   Google Scholar
• GINSBURG , S. , 1962 , An Introduction to Mathematical Machine Theory (Reading, Massachusetts , U.S.A. : Addison-Wesley ); 1966, The Mathematical Theory of Context Free Languages (New York McGraw-Hill).
   Google Scholar
• HOARE , C. A. R. , 1976 , Communicating Sequential Processes ( New Jersey , U.S.A. : Prentice Hall ).
   Google Scholar
• HOLLOWAY , L. E. , and KROGH , B. H. , 1990 , Synthesis of feedback control logic for a class of controlled Petri nets . IEEE Transactions on Automatic Control , 35 , 514 – 523 .
   Web of Science ®Google Scholar
• IEEE COMPUTER SYSTEMS SOCIETY (Conference publications) , 1974 , Proceedings of the 1974 Conference on Biologically Motivated Automata Theory , McLean , Virginia , U.S.A.
   Google Scholar
• KAUFFMAN , S. A. , 1969 , Metabolic stability and epigenesis in randomly constructed genetic nets . Journal of Theoretical Biology 22 , 437 – 467 .
   PubMed Web of Science ®Google Scholar
• KUMAR , R. , GARG , V. , and MARCUS , S. I. , 1992 , On supervisory control of sequential behaviors . IEEE Transactions on Automatic Control , 37 , 1978 – 1985 ; 1993, Predicates and predicate transformers for supervisory control of discrete-event systems. IEEE Transactions on Automatic Control, 38, 232–247.
   Google Scholar
• LIN , F. , and WONHAM , W. M. , 1988 , On observability of discrete-event systems . Information Science , 44 , 173 – 198 .
   Web of Science ®Google Scholar
• LINDENMAYER , A. , 1968 , Mathematical models for cellular interactions in development, Parts I and II . Journal of Theoretical Biology , 18 , 280 – 315 .
   PubMed Web of Science ®Google Scholar
• MACLANE , S. , and BIRKHOFF , G. , 1979 , Algebra ( New York : Macmillan ).
   Google Scholar
• MILNER , R. , 1980 , A Calculus of Communicating Systems , Lecture Notes in Computer Science ( Berlin : Springer-Verlag ).
   Google Scholar
• VON NEUMANN , J. , 1966 , The Theory of Self-reproducing Automata , edited and completed by A. W. Burks , ( Urbana , Illinois , U.S.A. : University of Illinois Press ).
   Google Scholar
• OZVEREN , C. M. , and WILLSKY , A. S. , 1990 , Observability of discrete-event dynamic systems . IEEE Transactions on Automatic Control , 35 , 797 – 807 .
   Web of Science ®Google Scholar
• OZVEREN , C. M. , WILLSKY , A. S. , and ANTSAKLIS , P. J. , 1991, Stability and stabilizability of discrete event systems. Journal of the Association for Computing Machinery , 38, 730–752.
   Web of Science ®Google Scholar
• PRUSINKIEWICZ , P. , LINDENMAYER , A. , and HANAN , J. , 1990 The Algorithmic Beauty of Plants ( New York : Springer-Verlag ).
   Google Scholar
• RAMADGE , P. J. , 1989 , Some tractable supervisory control problems for discrete event systems modeled by Buchi automata . IEEE Transactions on Automatic Control , 34 , 10 – 19 .
   Google Scholar
• RAMADGE , P. J. , and WONHAM , W. M. , 1987 , Supervisory control of a class of discrete event processes . SIAM Journal of Control and Optimization , 25 , 206 – 230 .
   Web of Science ®Google Scholar
• RASHEVSKY , N. , 1948 , Mathematical Biophysics ( The University of Chicago Press )
   Google Scholar
• ROZENBERG , G. , and SALOMAA , A. , 1975 , L Systems , Lecture Notes in Computer Science , Vol. 15 ( Berlin : Springer-Verlag ).
   Google Scholar
• SREENIVAS , R. S. , and KROGH , B. H. , 1992 , On Petri net models of infinite state supervisors , IEEE Transactions on Automatic Control , 37 , 274 – 277 .
   Google Scholar
• SUGITA , M. , 1963 , Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automaton . Journal of Theoretical Biology , 4 , 179 – 189 .
   PubMedGoogle Scholar
• THISTLE , J. G. , and WONHAM , W. M. , 1988 , On the synthesis of supervisors subject to co-language specifications . Proceedings of the 22nd Annual Conference on Information Sciences and Systems , Princeton University , Princeton , New Jersey , U.S.A. , pp. 440 – 444 .
   Google Scholar
• TSITSIKLIS , J. N. , 1989 , On the control of discrete-event dynamical systems . Mathematics of Control, Signals and Systems , 2 , 95 – 107 .
   Google Scholar
• VAZ , A. F. , and WONHAM , W. M. , 1986 , On supervisor reduction in discrete-event systems . International Journal of Control , 44 , 475 – 491 .
   Web of Science ®Google Scholar