Controllers with minimal observation power (application to timed systems)

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review


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.

Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis
Subtitle of host publication10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
EditorsSupratik Chakraborty, Madhavan Mukund
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages15
ISBN (Electronic)9783642333866
ISBN (Print)9783642333859
Publication statusPublished - Oct 2012
Externally publishedYes
Event10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012 - Thiruvananthapuram, India
Duration: 3 Oct 20126 Oct 2012

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012


Dive into the research topics of 'Controllers with minimal observation power (application to timed systems)'. Together they form a unique fingerprint.

Cite this