Back to Results
First PageMeta Content
Applied mathematics / Constructible universe / FO / Differential equation / Matrix exponential / Science / Control theory / Mathematics / State space


Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models Matthias Althoff and John M. Dolan Abstract— We present an approach to verify the planned maneuvers of an autom
Add to Reading List

Document Date: 2013-10-23 12:14:24

Open Document

File Size: 1,09 MB

Share Result on Facebook

City

Carlo / Santa Ana / /

Company

BMW / Linear Dynamic Systems / C OMPUTATIONAL TIMES / MSC Software / Intel / Intelligent Transportation Systems / Hybrid Systems / /

Currency

pence / /

/

Event

Reorganization / /

Facility

Carnegie Mellon University / Robotics Institute / /

IndustryTerm

classical grid search / uncertain time-varying linear systems / automated car / presented reachability algorithm / proposed verification algorithm / verification algorithm / partial input solution / online verification / state solution / linear time-invariant systems / reachable set algorithms / nonlinear systems / input solution / input solutions / linear systems / dynamical systems / control law / search methods / /

Organization

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

Person

Vehicle Models Matthias Althoff / Fzf / Matthias Althoff / John Dolan / /

Position

trajectory planner / trajectory planner and the verification planner / planner / Controller / /

Product

BMW 320i / /

ProgrammingLanguage

MATLAB / /

ProvinceOrState

California / /

Technology

reachable set algorithms / hybridization / GPS / verification algorithm / planning algorithm / classical RRT algorithm / simulation / proposed verification algorithm / RRT algorithm / i7 Processor / presented reachability algorithm / /

URL

http /

SocialTag