Analysis and synthesis procedures of discrete event systems in a temporal logic framework
暂无分享,去创建一个
[1] D. Ionescu,et al. A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems , 1990, 29th IEEE Conference on Decision and Control.
[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[3] Pravin Varaiya,et al. Finitely recursive process models for discrete event systems , 1988 .
[4] Dan Ionescu,et al. A Temporal Logic Approach to the Control of Discrete Event Systems , 1991, 1991 American Control Conference.
[5] M. J. Denham. A Petri-net approach to the control of discrete-event systems , 1988 .
[6] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[7] W. M. Wonham. A control theory for discrete-event systems , 1988 .
[8] W. M. Wonham,et al. Control problems in a temporal logic framework , 1986 .
[9] Kazuko Takahashi,et al. A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.
[10] Pierre Wolper,et al. Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.
[11] Dan Ionescu,et al. Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems , 1991 .