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

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

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 proceeding › Conference proceeding contribution › peer-review

2 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Automated Technology for Verification and Analysis
Subtitle of host publication	10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Editors	Supratik Chakraborty, Madhavan Mukund
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	223-237
Number of pages	15
ISBN (Electronic)	9783642333866
ISBN (Print)	9783642333859
DOIs	https://doi.org/10.1007/978-3-642-33386-6_19
Publication status	Published - Oct 2012
Externally published	Yes
Event	10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012 - Thiruvananthapuram, India Duration: 3 Oct 2012 → 6 Oct 2012

Publication series

Name	Lecture Notes in Computer Science
Volume	7561
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012
Country/Territory	India
City	Thiruvananthapuram
Period	3/10/12 → 6/10/12

Access to Document

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

https://arxiv.org/abs/1207.1276

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 S. Chakraborty, & M. Mukund (Eds.), Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings (pp. 223-237). (Lecture Notes in Computer Science; Vol. 7561). Springer, Springer Nature. https://doi.org/10.1007/978-3-642-33386-6_19

Bulychev, Peter ; 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. editor / Supratik Chakraborty ; Madhavan Mukund. Berlin : Springer, Springer Nature, 2012. pp. 223-237 (Lecture Notes in Computer Science).

@inproceedings{261617922db046c2a945b14f2760a5b5,

title = "Controllers with minimal observation power (application to timed systems)",

abstract = "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.",

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

year = "2012",

month = oct,

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

language = "English",

isbn = "9783642333859",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "223--237",

editor = "Supratik Chakraborty and Madhavan Mukund",

booktitle = "Automated Technology for Verification and Analysis",

address = "United States",

note = "10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012 ; Conference date: 03-10-2012 Through 06-10-2012",

}

Bulychev, P, Cassez, F, David, A, Larsen, KG, Raskin, JF & Reynier, PA 2012, Controllers with minimal observation power (application to timed systems). in S Chakraborty & M Mukund (eds), Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7561, Springer, Springer Nature, Berlin, pp. 223-237, 10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012, Thiruvananthapuram, India, 3/10/12. https://doi.org/10.1007/978-3-642-33386-6_19

Controllers with minimal observation power (application to timed systems). / Bulychev, Peter; Cassez, Franck; David, Alexandre et al.
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. ed. / Supratik Chakraborty; Madhavan Mukund. Berlin: Springer, Springer Nature, 2012. p. 223-237 (Lecture Notes in Computer Science; Vol. 7561).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Controllers with minimal observation power (application to timed systems)

AU - Bulychev, Peter

AU - Cassez, Franck

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Raskin, Jean François

AU - Reynier, Pierre Alain

PY - 2012/10

Y1 - 2012/10

N2 - 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.

AB - 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.

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 - Conference proceeding contribution

AN - SCOPUS:84868230155

SN - 9783642333859

T3 - Lecture Notes in Computer Science

SP - 223

EP - 237

BT - Automated Technology for Verification and Analysis

A2 - Chakraborty, Supratik

A2 - Mukund, Madhavan

PB - Springer, Springer Nature

CY - Berlin

T2 - 10th International Symposium on Automated Technology for Verification and Analysis, ATVA - 2012

Y2 - 3 October 2012 through 6 October 2012

ER -

Bulychev P, Cassez F, David A, Larsen KG, Raskin JF, Reynier PA. Controllers with minimal observation power (application to timed systems). In Chakraborty S, Mukund M, editors, Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Berlin: Springer, Springer Nature. 2012. p. 223-237. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-33386-6_19

Controllers with minimal observation power (application to timed systems)

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this