Simulated validation of an intelligent traffic control system
暂无分享,去创建一个
[1] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[2] E. Mainsah. Autonomic computing: the next era of computing , 2002 .
[3] Rajeev Alur. Can we verify cyber-physical systems? , 2013, Commun. ACM.
[4] Harilaos N. Koutsopoulos,et al. A microscopic traffic simulator for evaluation of dynamic traffic management systems , 1996 .
[5] P. G. Gipps,et al. A behavioural car-following model for computer simulation , 1981 .
[6] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[7] R. Stephenson. A and V , 1962, The British journal of ophthalmology.
[8] Rajeev Alur,et al. Formal verification of hybrid systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[9] Duy Nhat Nguyen,et al. Adaptive Traffic Control System: Design and Simulation , 2015 .
[10] Roy Sterritt,et al. Towards an autonomic computing environment , 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..
[11] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..
[12] Peter Hidas,et al. MODELLING LANE CHANGING AND MERGING IN MICROSCOPIC TRAFFIC SIMULATION , 2002 .
[13] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[14] Thomas A. Henzinger,et al. Theory in practice for system design and verification , 2015, SIGL.
[15] C. Bron,et al. Algorithm 457: finding all cliques of an undirected graph , 1973 .