Model checking for autonomous vehicles

作者: Dmitri A. Dolgov , David I. Ferguson , Christopher Urmson

DOI:

关键词:

摘要: In an example method, a vehicle configured to operate in autonomous mode could predict output of the based on input provided control and state vehicle. The method include receiving indication from at least one input-indication sensor output-indication sensor. A predicted value be calculated compared with output. If comparison is not within threshold range, alert indicator created. Upon creating indicator, action activated.

参考文章(28)
Michiya c o Pacific Industrial Co. Ltd. Katou, Tire wear detection device ,(2011)
Brian Mintah, Bryan J. Everett, James Decker Humphrey, Gary Edward Hull, Kenneth Lee Stratton, Slippage condition response system ,(2008)
David Thiede, Richard A. Gunderson, Jon P. Beatty, John R. Mckinley, Intelligent braking system and method ,(2002)
Jon Feist, Linda J. Watson, A. Christopher Moorman, Katherine McAndrew, Flight technical control management for an unmanned aerial vehicle ,(2009)