IEEE - Institute of Electrical and Electronics Engineers, Inc. - Variable elimination for scalable receding horizon temporal logic planning

2015 American Control Conference (ACC)

Author(s): Mattias Falt ; Vasumathi Raman ; Richard M. Murray
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2015
Conference Location: Chicago, IL, USA
Conference Date: 1 July 2015
Page(s): 1,917 - 1,922
ISBN (CD): 978-1-4799-8685-9
ISBN (Electronic): 978-1-4799-8684-2
DOI: 10.1109/ACC.2015.7171013
Regular:

Correct-by-construction synthesis of high-level reactive control relies on the use of formal methods to generate controllers with provable guarantees on their behavior. While this approach... View More

Advertisement