2080 SHENGBING JIANG AND RATNESH KUMAR
暂无分享,去创建一个
[1] Dan Ionescu,et al. Verifying a class of nondeterministic discrete event systems in a generalized temporal logic , 1992, IEEE Trans. Syst. Man Cybern..
[2] P. S. Thiagarajan,et al. Open Systems in Reactive Environments: Control and Synthesis , 2000, CONCUR.
[3] E. Allen Emerson,et al. Automata, Tableaux and Temporal Logics (Extended Abstract) , 1985, Logic of Programs.
[4] J. G. Thistle,et al. Control of Infinite Behavior of Finite Automata , 1994 .
[5] Orna Kupferman,et al. Robust Satisfaction , 1999, CONCUR.
[6] E. Allen Emerson,et al. The Complexity of Tree Automata and Logics of Programs , 1999, SIAM J. Comput..
[7] W. M. Wonham,et al. Control problems in a temporal logic framework , 1986 .
[8] Jonathan S. Ostroff,et al. Synthesis of controllers for real-time discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.
[9] Stephan Merz,et al. Model Checking , 2000 .
[10] D. Ionescu,et al. A Reachability Synthesis Procedure for Discrete Event Systems in a Temporal Logic Framework , 1994, IEEE Trans. Syst. Man Cybern. Syst..
[11] Pravin Varaiya,et al. Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .
[12] A. Prasad Sistla,et al. Deciding Full Branching Time Logic , 1985, Inf. Control..
[13] Kiam Tian Seow,et al. A temporal logic approach to discrete event control , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.
[14] Kevin M. Passino,et al. Decidability for a temporal logic used in discrete-event system analysis , 1990 .
[15] Pravin Varaiya,et al. Semantic tableau for control of PLTL formulae , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[16] Kemal Inan. Nondeterministic supervision under partial observations , 1994 .
[17] Shengbing Jiang,et al. Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control , 2005, IEEE Transactions on Automatic Control.
[18] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[19] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[20] Michael Huth,et al. Logic in computer science - modelling and reasoning about systems , 2000 .
[21] W. M. Wonham,et al. A framework for real-time discrete event control , 1990 .
[22] David L. Dill,et al. Synthesizing Processes and Schedulers from Temporal Specifications , 1990, International Conference on Computer Aided Verification.
[23] Berndt Farwer,et al. ω-automata , 2002 .
[24] Marco Antoniotti,et al. Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system , 1996 .
[25] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[26] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[27] Michel Barbeau,et al. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints , 1998, IEEE Trans. Autom. Control..
[28] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[29] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[30] Vijay K. Garg,et al. Modeling and Control of Logical Discrete Event Systems , 1994 .
[31] F. Lin. Analysis and synthesis of discrete event systems using temporal logic , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.
[32] Kiam Tian Seow,et al. A temporal framework for assembly sequence representation and analysis , 1994, IEEE Trans. Robotics Autom..