Supervisory Control of a

[1]  S. Balemi.  Communication delays in connections of input/output discrete event processes , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[2]  Howard Wong-Toi,et al.  Symbolic Synthesis of Supervisory Controllers , 1992, 1992 American Control Conference.

[3]  K. Inan.  An algebraic approach to supervisory control , 1992, Math. Control. Signals Syst..

[4]  S. Balemi.  Discrete Event Systems Control of a Rapid Thermal Multiprocessor , 1992 .

[5]  S. A. Norman.  Optimization of transient temperature uniformity in RTP systems , 1992 .

[6]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[7]  Enke Chen,et al.  On nonconflicting languages that arise in supervisory control of discrete event systems , 1991 .

[8]  Krishna C. Saraswat,et al.  Economic impact of single-wafer multiprocessors , 1991, Other Conferences.

[9]  Randal E. Bryant,et al.  Efficient implementation of a BDD package , 1991, DAC '90.

[10]  Charles D. Schaper,et al.  In-Situ Temperature Estimation in Rapid Thermal Processing Systems using Extended Kalman Filtering , 1991 .

[11]  Sonia R. Sachs,et al.  Design Of Platoon Maneuver Protocols For IVHS , 1991 .

[12]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[13]  M. Heymann.  Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.

[14]  Mehrdad M. Moslehi,et al.  Single Wafer Rapid Thermal Multiprocessing , 1989 .

[15]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[16]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[17]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[18]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

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

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

[21]  A. P. Sistla,et al.  Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[22]  Pierre Wolper,et al.  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[23]  David Maier,et al.  Review of "Introduction to automata theory, languages and computation" by John E. Hopcroft and Jeffrey D. Ullman. Addison-Wesley 1979. , 1980, SIGA.