1 Department of Computer Science, The Faculty of Engineering and Science, Aalborg University, VBN2 The Faculty of Engineering and Science, Aalborg University, VBN3 Distributed Systems and Semantics, The Faculty of Engineering and Science, Aalborg University, VBN4 CISS - Center for Embedded Software Systems, The Faculty of Engineering and Science, Aalborg University, VBN5 Aalborg U Robotics, The Faculty of Humanities, Aalborg University, VBN6 National ICT Australia7 Universite Libre de Bruxelles8 LIF, Aix-Marseille University & CNRS9 Universite Libre de Bruxelles
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.
Lecture Notes in Computer Science: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, 2012, p. 223-237
Main Research Area:
Lecture Notes in Computer Science
10th International Symposium, ATVA 2012Automated Technology for Verification and Analysis