Controllers with Minimal Observation Power (Application to Timed Systems)

Petr Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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.
OriginalsprogEngelsk
TitelAutomated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Antal sider15
Vol/bind7561
ForlagSpringer
Publikationsdatookt. 2012
Sider223-237
ISBN (Trykt)978-3-642-33385-9
ISBN (Elektronisk)978-3-642-33386-6
DOI
StatusUdgivet - okt. 2012
Begivenhed10th International Symposium, ATVA 2012 - Thiruvananthapuram, Indien
Varighed: 3 okt. 20126 okt. 2012
Konferencens nummer: 10th

Konference

Konference10th International Symposium, ATVA 2012
Nummer10th
Land/OmrådeIndien
ByThiruvananthapuram
Periode03/10/201206/10/2012
NavnLecture Notes in Computer Science
Vol/bind7561
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Controllers with Minimal Observation Power (Application to Timed Systems)'. Sammen danner de et unikt fingeraftryk.

Citationsformater