The Teja System for Real-Time Dynamic Event Management
暂无分享,去创建一个
[1] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[2] Pravin Varaiya,et al. The use of SHIFT in system design , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[3] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[4] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .
[5] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[6] Pravin Varaiya,et al. SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.
[7] Akash Deshpande,et al. The SHIFT programming language for dynamic networks of hybrid automata , 1998 .