back to main page

Coordinating Agile Vehicles through the Model-based Execution of Temporal Plans

Thomas Léauté, Brian C. Williams

Published in Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005

keywords: Model-based Programming, State Plan, Robotics, Linear Programming, Temporal Reasoning, UAV, Receding Horizon Control


Abstract

Agile autonomous systems are emerging, such as unmanned aerial vehicles (UAVs), that must robustly perform tightly coordinated time-critical missions; for example, military surveillance or search-and-rescue scenarios. In the space domain, execution of temporally flexible plans has provided an enabler for achieving the desired coordination and robustness. We address the challenge of extending plan execution to under-actuated systems that are controlled indirectly through the setting of continuous state variables. Our solution is a novel model-based executive that takes as input a temporally flexible state plan, specifying intended state evolutions, and dynamically generates a near-optimal control sequence. To achieve optimality and safety, the executive plans into the future, framing planning as a disjunctive programming problem. To achieve robustness to disturbances and tractability, planning is folded within a receding horizon, continuous planning framework. Key to performance is a problem reduction method based on constraint pruning. We benchmark performance through a suite of UAV scenarios using a hardware-in-the-loop testbed. 

full text in PDF     PDF presentation

@inproceedings{Leaute05,
    Address = {Pittsburgh, Pennsylvania, U.S.A},
    Author = {L{\'e}aut{\'e}, Thomas and Williams, Brian},
    Booktitle = {Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI'05)},
    Editor = {Manuela M. Veloso and Subbarao Kambhampati},
    Month = {July~9--13},
    Pages = {114--120},
    Publisher = {AAAI Press / The MIT Press},
    Title = {Coordinating Agile Systems Through The Model-based Execution of Temporal Plans},
    Url = {http://thomas.leaute.name/main/model-based_execution_temporal_plans_aaai05.html},
    Year = {2005}
}