Controllers with Minimal Observation Power (Application to Timed Systems)
Abstract
We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates equipped with a cost function. The problem that we address is the computation of a subset of predicates sufficient for control and whose cost is minimal. Our solution avoids a full exploration of all possible subsets of predicates and reuses some information between different iterations. We apply our approach to timed systems. We have developed a tool prototype and analyze the performance of our optimization algorithm on two case studies.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2012
- DOI:
- 10.48550/arXiv.1207.1276
- arXiv:
- arXiv:1207.1276
- Bibcode:
- 2012arXiv1207.1276B
- Keywords:
-
- Computer Science - Systems and Control;
- Computer Science - Computer Science and Game Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- This is the full version of the ATVA'12 paper