IEEE - Institute of Electrical and Electronics Engineers, Inc. - Receding horizon temporal logic planning for dynamical systems

2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)

Author(s): Wongpiromsarn, T. ; Topcu, U. ; Murray, R.M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Shanghai, China, China
Conference Date: 15 December 2009
Page(s): 5,997 - 6,004
ISBN (CD): 978-1-4244-3872-3
ISBN (Paper): 978-1-4244-3871-6
ISSN (CD): 0191-2216
ISSN (Paper): 0191-2216
DOI: 10.1109/CDC.2009.5399536
Regular:

This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by construction, to satisfy... View More

Advertisement