The control of discrete event systems
暂无分享,去创建一个
[1] W. M. Wonham. A control theory for discrete-event systems , 1988 .
[2] C. Golaszewski,et al. Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.
[3] Didier Dubois,et al. A linear-system-theoretic view of discrete-event processes , 1983 .
[4] Rein Smedinga. Using trace theory to model discrete events , 1988 .
[5] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[6] Alan J. Laub,et al. Advanced Computing Concepts and Techniques in Control Engineering , 1988, NATO ASI Series.
[7] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[8] Jean Walrand,et al. Extensions of the multiarmed bandit problem: The discounted case , 1985 .
[9] Yu-Chi Ho. Perturbation analysis explained , 1987 .
[10] Peter J. Ramadge. Supervisory control of discrete event systems: A survey and some new results , 1988 .
[11] C. Desclaux,et al. Supervisory control of discrete-event processes with partial observations , 1988 .
[12] Walter Murray Wonham,et al. On observability of discrete-event systems , 1988, Inf. Sci..
[13] P. Ramadge,et al. Supervision of discrete event processes , 1982, 1982 21st IEEE Conference on Decision and Control.
[14] Stéphane Lafortune. Modeling and analysis of transaction execution in database systems , 1988 .
[15] Jonathan S. Ostroff,et al. Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems , 1987, IEEE Real-Time Systems Symposium.
[16] Z. Manna,et al. Verification of concurrent programs: a temporal proof system , 1983 .
[17] Yang Li,et al. On Supervisory Control of Real-Time Discrete-Event Systems , 1987, 1987 American Control Conference.
[18] W. M. Wonham,et al. Decentralized control and coordination of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.
[19] Walter Murray Wonham,et al. Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..
[20] P. Ramadge,et al. Modular Supervisory Control of Discrete Event Systems , 1988 .
[21] Y. Brave,et al. Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.