Control of discrete event systems

[1]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[3]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

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

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

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

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

[8]  W. M. Wonham,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987 .

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

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

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

[12]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[13]  Pravin Varaiya,et al.  Algebras of discrete event models , 1989 .

[14]  Robert P. Kurshan,et al.  Task-Driven Supervisory Control of Discrete Event Systems , 1990, CAV.

[15]  Walter Murray Wonham,et al.  Supervisory control of communicating processes , 1990, PSTV.

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

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

[18]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

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

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

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

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

[23]  S. Balemi,et al.  Design of a Discrete Event Controller for a Model Railway , 1991 .

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

[25]  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.

[26]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[27]  S. Balemi,et al.  Supervision of Discrete Event Systems with Communication Delays , 1992, 1992 American Control Conference.

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

[29]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

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

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

[32]  P. Kozák.  CONTROL OF ELEMENTARY DISCRETE EVENT SYSTEMS: SYNTHESIS OF CONTROLLER WITH NON-ZERO DECISION TIME , 1992 .

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

[34]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..