Absolute controllability of predicates in discrete event systems

REFERENCES

• BRAVE , Y. , and HEYMANN , M. , 1990 , Optimal attraction of discrete event systems . Proceedings of the 1990 IEEE Control and Decision Conference ( New York IEEE Press ).
   Google Scholar
• Ho , Y. C , 1987 , IEEE Transactions on Automatic Control , 32 , 563 – 572 .
   Web of Science ®Google Scholar
• HOPCROFT , J. E. and ULLMANN , J. D. , 1979 , Introduction to Automata Theory, Languages and Computation ( Reading , Mass Addison-Wesley ).
   Google Scholar
• KNIGHT , J. F. , and PASSINO , K. , 1990 , International Journal of Control , 52 , 1489 – 1506 .
   Web of Science ®Google Scholar
• KROGH , B. , 1987 , Controlled Petri nets and maximally permissive feedback logic . Proceedings of the 22nd Annual Allerton Conference , Urbana , Illinois , USA. , pp. 317 – 326 .
   Google Scholar
• KUMAR , R. , 1991 , Supervisory synthesis techniques in discrete event dynamical systems . Ph.D. thesis , Department of Electrical and Computer Engineering , University of Texas at Austin , U.S.A.
   Google Scholar
• KUMAR , R. , and GARG , V. , 1991 , Optimal control of discrete event systems using network flow techniques . SIAM Journal on Control and Optimization , to be published .
   Google Scholar
• LAFORTUNE , S. , and CHEN , E. , 1990 , IEEE Transitions on Automatic Control , 35 , 398 – 405 .
   Web of Science ®Google Scholar
• Li , Y. , and WONHAM , W. M. , 1988 , Controllability and observability in state feedback control of discrete event systems . Proceedings of the IEEE Conference on Decision and Control , Texas , U.S.A. ( New York IEEE Press ), pp. 203 – 208 .
   Google Scholar
• Li. YONG-HUA , 1993 , Hybrid synthesis of optimal control for discrete event systems . Proceedings of the 1993 IEEE International Symposium on Intelligent Control , U.S.A. ( New York IEEE Press ).
   Google Scholar
• LIN , F. , 1991 , Analysis and synthesis of discrete event systems using temporal logic . Proceedings of the 1991 IEEE International Symposium On Intelligent Control , Washington D.C. , U.S.A. ( New York: IEEE Press ).
   Google Scholar
• LIN , F. , VAZ , A. F. , and WONHAM , W. M. , 1988 , International Journal of Control , 48 , 321 – 332 .
   Web of Science ®Google Scholar
• LIN , F. , and WONHAM , W. M. , 1990 , IEEE Transactions on Automatic Control , 35 , 1330 – 1337 .
   Web of Science ®Google Scholar
• PASSINO , K. , and ANTSAKLIS , P. , 1989 , Optimal control of discrete event systems . Proceedings of the 1989 IEEE Control and Decision Conference , Florida , U.S.A. ( New York IEEE Press ).
   Google Scholar
• RAMADGE , P. J. , and WONHAM , W. M. , 1987a , SIAM Journal of Control and Optimization 25 , 206 – 230 ; 1987b, Ibid. 25, 1202-1218.
   Web of Science ®Google Scholar
• SENGUPTA , A. , and LAFORTUNE , S. , 1991 , An optimal control problem for discrete event systems . Proceedings of the IFAC Symposium On Distributed Intelligent Systems , Arlington , Virginia , U.S.A.
   Google Scholar
• USHIO , T. , 1989a , Controllability and control-invariance in discrete event systems . International Journal of Control , 50 ; 1989b, On controllable predicates and language in discrete event systems. Proceedings of the 28th IEEE Conference on Decision and Control, Florida, U.S.A. (New York IEEE Press), pp. 123-124 .
   Google Scholar