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
|
|
|
|
|