Abstract
As the complexity of the specifications that must be met by a system increases, hierarchical control protocols that merge control and planning decisions at multiple levels of abstraction become necessary. For such hierarchical reasoning, a suitable finite-state abstraction for dynamical systems evolving over continuous state spaces may be needed. The implementation of existing controllers derived using a finite-state abstraction often require that the current continuous state be known exactly, in order to guarantee that the required transitions in the finite-state abstraction occur. When the measurements are partial or noisy, the true state is unknown, and these controllers cannot be implemented. We propose an abstraction that can be used to overcome the uncertainty in the state resulting from imperfect measurement, at the cost of providing only probabilistic guarantees. The abstraction is based on the filter used to maintain an estimate of the true state. We show how the abstraction can be used to create a time-varying policy which maximizes the minimum probability that a target discrete state is reached in finite time from any initial state.
Original language | English |
---|---|
Title of host publication | 2016 IEEE 55th Conference on Decision and Control, CDC 2016 |
Pages | 3319-3324 |
Number of pages | 6 |
ISBN (Electronic) | 9781509018376 |
DOIs | |
State | Published - Dec 27 2016 |
Event | 55th IEEE Conference on Decision and Control, CDC 2016 - Las Vegas, United States Duration: Dec 12 2016 → Dec 14 2016 |
Publication series
Name | 2016 IEEE 55th Conference on Decision and Control, CDC 2016 |
---|
Conference
Conference | 55th IEEE Conference on Decision and Control, CDC 2016 |
---|---|
Country/Territory | United States |
City | Las Vegas |
Period | 12/12/16 → 12/14/16 |
Bibliographical note
Publisher Copyright:© 2016 IEEE.
ASJC Scopus subject areas
- Artificial Intelligence
- Decision Sciences (miscellaneous)
- Control and Optimization