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

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

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Number of pages	15
Volume	7561
Publisher	Springer
Publication date	Oct 2012
Pages	223-237
ISBN (Print)	978-3-642-33385-9
ISBN (Electronic)	978-3-642-33386-6
DOIs	https://doi.org/10.1007/978-3-642-33386-6_19
Publication status	Published - Oct 2012
Event	10th International Symposium, ATVA 2012 - Thiruvananthapuram, India Duration: 3 Oct 2012 → 6 Oct 2012 Conference number: 10th

Conference

Conference	10th International Symposium, ATVA 2012
Number	10th
Country/Territory	India
City	Thiruvananthapuram
Period	03/10/2012 → 06/10/2012

Series	Lecture Notes in Computer Science
Volume	7561
ISSN	0302-9743

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Bulychev, P., Cassez, F., David, A., Larsen, K. G., Raskin, J-F., & Reynier, P-A. (2012). Controllers with Minimal Observation Power (Application to Timed Systems). In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings (Vol. 7561, pp. 223-237). Springer. https://doi.org/10.1007/978-3-642-33386-6_19

Bulychev, Petr ; Cassez, Franck ; David, Alexandre et al. / Controllers with Minimal Observation Power (Application to Timed Systems). Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Vol. 7561 Springer, 2012. pp. 223-237 (Lecture Notes in Computer Science, Vol. 7561).

@inproceedings{2dae1be3280a4ba7988520256b03cada,

title = "Controllers with Minimal Observation Power (Application to Timed Systems)",

abstract = "We consider the problem of controller synthesis under imper-fect information in a setting where there is a set of available observablepredicates equipped with a cost function. The problem that we addressis the computation of a subset of predicates sufficient for control andwhose cost is minimal. Our solution avoids a full exploration of all possi-ble subsets of predicates and reuses some information between differentiterations. We apply our approach to timed systems. We have developeda tool prototype and analyze the performance of our optimization algo-rithm on two case studies.",

author = "Petr Bulychev and Franck Cassez and Alexandre David and Larsen, {Kim Guldstrand} and Jean-Fran{\c c}ois Raskin and Pierre-Alain Reynier",

year = "2012",

month = oct,

doi = "10.1007/978-3-642-33386-6_19",

language = "English",

isbn = "978-3-642-33385-9",

volume = "7561",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "223--237",

booktitle = "Automated Technology for Verification and Analysis",

address = "Germany",

note = "10th International Symposium, ATVA 2012 ; Conference date: 03-10-2012 Through 06-10-2012",

}

Bulychev, P, Cassez, F, David, A, Larsen, KG, Raskin, J-F & Reynier, P-A 2012, Controllers with Minimal Observation Power (Application to Timed Systems). in Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. vol. 7561, Springer, Lecture Notes in Computer Science, vol. 7561, pp. 223-237, 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, 03/10/2012. https://doi.org/10.1007/978-3-642-33386-6_19

Controllers with Minimal Observation Power (Application to Timed Systems). / Bulychev, Petr; Cassez, Franck; David, Alexandre et al.
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Vol. 7561 Springer, 2012. p. 223-237 (Lecture Notes in Computer Science, Vol. 7561).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Controllers with Minimal Observation Power (Application to Timed Systems)

AU - Bulychev, Petr

AU - Cassez, Franck

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Raskin, Jean-François

AU - Reynier, Pierre-Alain

N1 - Conference code: 10th

PY - 2012/10

Y1 - 2012/10

N2 - We consider the problem of controller synthesis under imper-fect information in a setting where there is a set of available observablepredicates equipped with a cost function. The problem that we addressis the computation of a subset of predicates sufficient for control andwhose cost is minimal. Our solution avoids a full exploration of all possi-ble subsets of predicates and reuses some information between differentiterations. We apply our approach to timed systems. We have developeda tool prototype and analyze the performance of our optimization algo-rithm on two case studies.

AB - We consider the problem of controller synthesis under imper-fect information in a setting where there is a set of available observablepredicates equipped with a cost function. The problem that we addressis the computation of a subset of predicates sufficient for control andwhose cost is minimal. Our solution avoids a full exploration of all possi-ble subsets of predicates and reuses some information between differentiterations. We apply our approach to timed systems. We have developeda tool prototype and analyze the performance of our optimization algo-rithm on two case studies.

UR - http://www.scopus.com/inward/record.url?scp=84868230155&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33386-6_19

DO - 10.1007/978-3-642-33386-6_19

M3 - Article in proceeding

SN - 978-3-642-33385-9

VL - 7561

T3 - Lecture Notes in Computer Science

SP - 223

EP - 237

BT - Automated Technology for Verification and Analysis

PB - Springer

T2 - 10th International Symposium, ATVA 2012

Y2 - 3 October 2012 through 6 October 2012

ER -

Bulychev P, Cassez F, David A, Larsen KG, Raskin J-F, Reynier P-A. Controllers with Minimal Observation Power (Application to Timed Systems). In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Vol. 7561. Springer. 2012. p. 223-237. (Lecture Notes in Computer Science, Vol. 7561). doi: 10.1007/978-3-642-33386-6_19

Controllers with Minimal Observation Power (Application to Timed Systems)

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this