Autonomous driving in urban environments: approaches, lessons and challenges
作者： Mark Campbell , Magnus Egerstedt , Jonathan P. How , Richard M. Murray
关键词: Engineering management 、 Vehicle safety 、 Robotics 、 Emerging technologies 、 Poison control 、 Intelligent transportation system 、 Injury control 、 Computer science 、 Accident prevention 、 Artificial intelligence
摘要: … well as map relative information (eg the vehicle location within … to use for trust, and how to incorporate trust into both the … to adapt the models/trust of other drivers, bikers, and pedestrians …
royalsocietypublishing.org
harvard.edu
core.ac.uk
paperity.org
jstor.org 参考文章(49)
Joel W. Burdick, Noel du Toit, Andrew Howard, Christian Looman, Jeremy Ma, Richard M. Murray, Tichakorn Wongpiromsarn, Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge Defense Technical Information Center. ,(2007) , 10.21236/ADA475519
Zohar Manna, Amir Pnueli, Temporal Verification of Reactive Systems Springer New York. ,(1995) , 10.1007/978-1-4612-4222-2
Susan Dickey, Development of Hardware in the Loop Simulation and Paramics/VS-PLUS Integration PATH research report. ,(2008)
S. Owre, J. M. Rushby, N. Shankar, D. W. J. Stringer-Calvert, PVS: An Experience Report formal methods. pp. 338- 345 ,(1998) , 10.1007/3-540-48257-1_24
K.S. Chang, W. Li, P. Devlin, A. Shaikhbahai, P. Varaiya, J.K. Hedrick, D. McMahon, V. Narendran, D. Swaroop, J. Olds, Experimentation with a vehicle platoon control system vehicle navigation and information systems conference. ,vol. 2, pp. 1117- 1124 ,(1991) , 10.4271/912868
Gerard J. Holzmann, The SPIN Model Checker ,(2003)
Zohar Manna, Amir Pnueli, Temporal Verification of Reactive Systems: Safety ,(1995)
Alonzo Kelly, Anthony Stentz, Rough Terrain Autonomous Mobility—Part 1: A Theoretical Analysisof Requirements Autonomous Robots. ,vol. 5, pp. 129- 161 ,(1998) , 10.1023/A:1008801421636
Edwin Olson, Albert Huang, David Moore, Lightweight Communications and Marshalling for Low-Latency Interprocess Communication ,(2009)
Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew Lamperski, Periodically Controlled Hybrid Systems international conference on hybrid systems computation and control. pp. 396- 410 ,(2009) , 10.1007/978-3-642-00602-9_28