Abstract
This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that time-varying rewards are associated with states of the system and they can be observed in realtime, the control objective is to maximize the collected reward while satisfying the high level task specification. In order to properly react to the changing rewards, a controller synthesis framework inspired by model predictive control is proposed, where the rewards are locally optimized at each time-step over a finite horizon, and the immediate optimal control is applied. By enforcing appropriate constraints, the infinite trajectory produced by the controller is guaranteed to satisfy the desired temporal logic formula. Simulation results demonstrate the effectiveness of the approach.
| Original language | English |
|---|---|
| Title of host publication | 2012 American Control Conference (ACC) |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 715-720 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-1-4577-1096-4 |
| ISBN (Print) | 978-1-4577-1095-7 |
| DOIs | |
| Publication status | Published - 2 Oct 2012 |
| Event | 2012 American Control Conference, ACC 2012 - Fairmont Queen Elizabeth, Montreal, Canada Duration: 27 Jun 2012 → 29 Jun 2012 http://acc2012.a2c2.org/ http://acc2012.a2c2.org/index.php |
Conference
| Conference | 2012 American Control Conference, ACC 2012 |
|---|---|
| Abbreviated title | ACC 2012 |
| Country/Territory | Canada |
| City | Montreal |
| Period | 27/06/12 → 29/06/12 |
| Internet address |