Back to Results
First PageMeta Content
Differential equation / Science / Systems science / Systems theory / Control theory / Cybernetics / Dynamical system


Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles Matthias Althoff and John M. Dolan Abstract— We compute the set of all possible behaviors of an autonomous vehicle using rea
Add to Reading List

Document Date: 2013-10-23 12:13:38

Open Document

File Size: 1,44 MB

Share Result on Facebook

Company

IEEE Intelligent Transportation Systems / Furukawa / Intel / Intelligent Transportation Systems / Hybrid Systems / /

/

Facility

Carnegie Mellon University / Utrecht University / Robotics Institute / /

IndustryTerm

look-down reference systems / uncertain nonlinear monotone systems / road network / state solutions / coverage algorithm / uncertain linear systems / Online Verification / state solution / linear time-invariant systems / car-like robots / nonlinear systems / online applications / input solution / autonomous car / computing / linear systems / autonomous car stays / dynamical systems / /

Organization

Faculty of Electrical and Computer Engineering / Robotics Institute / National Science Foundation / Carnegie Mellon University / Pittsburgh / U.S. Securities and Exchange Commission / Utrecht University / /

Person

Vehicles Matthias Althoff / John Dolan / Matthias Althoff / /

Position

trajectory planner / human driver / Tracking Controller / planner / controller for trajectory tracking / feedback controller / controller / /

Technology

coverage algorithm / hybridization / GPS / simulation / i7 Processor / /

URL

http /

SocialTag