06109372

a

06109372 Bulychev, Peter Cassez, Franck David, Alexandre Larsen, Kim Guldstrand Raskin, Jean-Fran\c{c}ois Reynier, Pierre-Alain Controllers with minimal observation power (application to timed systems). Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3--6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 223-237 (2012). 2012 Berlin: Springer EN

doi:10.1007/978-3-642-33386-6_19

Summary: 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.