@inproceedings{6c9ad678b40a449d9a6ac427ce63f2f7,
title = "Algebraic verification for parameterized motion planning libraries",
abstract = "Recent progress in algorithms for estimating regions of attraction and invariant sets of nonlinear systems has led to the application of these techniques to motion planning in complex environments. In most instances, the verification occurs offline as the algorithms are still too computationally demanding for realtime implementation; as a result any online planner is restricted to applying the finite set of motion plans that were verified offline. In this paper we attempt to present a partial remedy by algebraically verifying families of parameterized feedback controllers. We provide a specific example using LQR controllers parameterized by their goal or nominal motion. We formulate this verification using robust region of attraction techniques in sums-of-squares optimization, and show that perturbations of a Lyapunov or Riccati equation can be used to provide algebraically parameterized Lyapunov candidates. The resulting verified funnels then provide a parameterized motion library that can be used efficiently in online planning. We present a number of numerical examples to demonstrate the effectiveness of our approach.",
author = "Anirudha Majumdar and Mark Tobenkin and Russ Tedrake",
year = "2012",
doi = "10.1109/acc.2012.6315544",
language = "English (US)",
isbn = "9781457710957",
series = "Proceedings of the American Control Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "250--257",
booktitle = "2012 American Control Conference, ACC 2012",
address = "United States",
note = "2012 American Control Conference, ACC 2012 ; Conference date: 27-06-2012 Through 29-06-2012",
}