Abstract
We consider the problem of controller synthesis under imper-
fect 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 possi-
ble 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 algo-
rithm on two case studies.
fect 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 possi-
ble 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 algo-
rithm on two case studies.
Originalsprog | Engelsk |
---|---|
Titel | Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings |
Antal sider | 15 |
Vol/bind | 7561 |
Forlag | Springer |
Publikationsdato | okt. 2012 |
Sider | 223-237 |
ISBN (Trykt) | 978-3-642-33385-9 |
ISBN (Elektronisk) | 978-3-642-33386-6 |
DOI | |
Status | Udgivet - okt. 2012 |
Begivenhed | 10th International Symposium, ATVA 2012 - Thiruvananthapuram, Indien Varighed: 3 okt. 2012 → 6 okt. 2012 Konferencens nummer: 10th |
Konference
Konference | 10th International Symposium, ATVA 2012 |
---|---|
Nummer | 10th |
Land/Område | Indien |
By | Thiruvananthapuram |
Periode | 03/10/2012 → 06/10/2012 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 7561 |
ISSN | 0302-9743 |