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 | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|