• Citer

Controllers with minimal observation power (application to timed systems)

par Bulychev, Peter E.;Cassez, Franck F.;David, Alexandre;Larsen, Kim Guldstrand;Raskin, Jean-François ;Reynier, Pierre-Alain
Référence Lecture notes in computer science, 7561 LNCS, page (223-237)
Publication Publié, 2012

Article révisé par les pairs

• Détails
• Contenu

Résumé :

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. © 2012 Springer-Verlag.