Automatic Synthesis of Robust Embedded Control Software

From Murray Wiki
Revision as of 06:16, 15 May 2016 by Murray (talk | contribs) (htdb2wiki: creating page for 2009t_wtm10-aaai.html)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray
AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems, 2010 (To appear)

We propose a methodology for automatic synthesis of embedded control software that accounts for exogenous disturbances. The resulting system is guaranteed, by construction, to satisfy a given specification expressed in linear temporal logic. The embedded control software consists of three components: a goal generator, a trajectory planner, and a continuous controller. We demonstrate the effectiveness of the proposed technique through an example of an autonomous vehicle navigating an urban environment. This example also illustrates that the system is not only robust with respect to exogenous disturbances but also capable of handling violation of the environment assumptions.