Information structures, causality, and nonsequential stochastic control I: design-independent properties
暂无分享,去创建一个
[1] Pravin Varaiya,et al. Finitely recursive process models for discrete event systems , 1988 .
[2] Stéphane Lafortune,et al. Dealing with blocking in supervisory control of discrete-event systems , 1991 .
[3] Zohar Manna,et al. The anchored version of the temporal framework , 1988, REX Workshop.
[4] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[5] Demosthenis Teneketzis,et al. Solvable systems are usually measurable , 1991 .
[6] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[7] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[8] H. Witsenhausen. On Information Structures, Feedback and Causality , 1971 .
[9] Bruce H. Krogh,et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..
[10] W. M. Wonham,et al. Control problems in a temporal logic framework , 1986 .
[11] Wai Lai,et al. Protocol Traps in Computer Networks - A Catalog , 1982, IEEE Transactions on Communications.
[12] Mark S. Andersland,et al. Decoupling Non-Sequential Stochastic Control Problems , 1991, 1991 American Control Conference.
[13] H. W. Kuhn,et al. 11. Extensive Games and the Problem of Information , 1953 .
[14] E. Rowland. Theory of Games and Economic Behavior , 1946, Nature.
[15] P. Le Guernic,et al. Hybrid dynamical systems theory and the Signal language , 1990 .
[16] Joseph Y. Halpern,et al. Modelling knowledge and action in distributed systems , 1988, Distributed Computing.
[17] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[18] Hans S. Witsenhausen,et al. The Intrinsic Model for Discrete Stochastic Control: Some Open Problems , 1975 .
[19] Eike Best,et al. Nonsequential Processes: A Petri Net View , 1988 .