[BibTeX] [RIS]
Receding horizon control for temporal logic specifications
Type of publication: Inproceedings
Citation: wongpiromsarn:2010:rhc
Booktitle: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Series: HSCC '10
Year: 2010
Pages: 101--110
Publisher: ACM
Location: Stockholm, Sweden
Address: New York, NY, USA
ISBN: 978-1-60558-955-8
Userfields: acmid={1755968}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, numpages={10}, project={fremdliteratur}, xxxdoi={10.1145/1755952.1755968}, xxxurl={http://doi.acm.org/10.1145/1755952.1755968},
Keywords: embedded control software, linear temporal logic, receding horizon control
Authors Wongpiromsarn, Tichakorn
Topcu, Ufuk
Murray, Richard M.