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 / /