A Question about Hierarchical Systems
暂无分享,去创建一个
[1] Gerald J. Sussman,et al. Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.
[2] Pravin Varaiya,et al. SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.
[3] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[4] Munindar P. Singh. Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.
[5] Akash Deshpande,et al. The SHIFT programming language for dynamic networks of hybrid automata , 1998 .
[6] E. Singh,et al. Design and Verification of Communication Protocols for degraded modes of operation of AHS , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.
[7] Edmund M. Clarke. Automatic Verification of Finite-state Concurrent Systems , 1994, Application and Theory of Petri Nets.
[8] Pravin Varaiya,et al. Protocol Design for an Automated Highway System (Abstract) , 1993, CAV.