Design, Simulation, and Implementation of Hybrid Systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. What Good Are Digital Clocks? , 1992, ICALP.
[2] Thomas A. Henzinger,et al. Hybrid systems III : verification and control , 1996 .
[3] Pravin Varaiya,et al. Verification of Hybrid Systems Using Abstractions , 1996, Hybrid Systems.
[4] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[5] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[6] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[7] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[8] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[9] Akash Deshpande,et al. The SHIFT programming language for dynamic networks of hybrid automata , 1998 .
[10] Pravin Varaiya,et al. Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.
[11] Panos J. Antsaklis,et al. Hybrid Systems II , 1994, Lecture Notes in Computer Science.
[12] Pravin Varaiya,et al. Epsilon-Approximation of Differential Inclusions , 1996, Hybrid Systems.
[13] P. Varaiya,et al. Discretization of timed automata , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[14] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .