Back to Results
First PageMeta Content
Operations research / Mathematical optimization / Dynamical systems / Control theory / Cybernetics / Linear programming / Interior point method / Convex optimization / Vector space / Mathematics / Algebra / Mathematical analysis


Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f
Add to Reading List

Document Date: 2012-02-11 02:59:02


Open Document

File Size: 463,47 KB

Share Result on Facebook

City

Manchester / R. Tedrake / /

Company

MIT Press / Differentially-Constrained Systems / Artificial Intelligence Laboratory / /

/

Facility

Massachusetts Institute of Technology / California Institute of Technology / /

IndustryTerm

control algorithms / continuous and hybrid systems / motion planning algorithms / robotic applications / polynomial dynamical systems / affine systems / long-term planning algorithms / nonlinear control systems / control systems / post-processing sum-of-squares programs / formal tools / linear systems / basic algorithm / rigorous tools / /

Organization

California Institute of Technology / World Congress / National Science Foundation / Massachusetts Institute of Technology / /

Person

Andrew J. Barry / C. Belta / V / Anirudha Majumdar / /

Position

simple controller / level planner / output-feedback controller / vision-based reactive controller / simple / reactive controller / Reactive Controller / simple aircraft model and the reactive controller / controller / /

Product

Barrier / /

PublishedMedium

American Journal of Mathematics / /

Technology

control action Algorithm / LQR-Tree algorithm / control algorithms / Control algorithm / long-term planning algorithms / motion planning algorithms / basic algorithm / /

SocialTag