Open systems in reactive environments: Control and synthesis

Orna Kupferman; P. Madhusudan; P. S. Thiagarajan; Moshe Y. Vardi

doi:10.1007/3-540-44618-4_9

Open systems in reactive environments: Control and synthesis

Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi

The Rachel and Selim Benin School of Engineering and Computer Science

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

82 Scopus citations

Abstract

We study the problems of synthesizing open systems as well as controllers for them. The key aspect of our model is that it caters to reactive environments, which can disable different sets of responses when reacting with the system. We deal with specifications given as formulas in CTL ^* and its sub-logic CTL. We show that both these problems, with specifications in CTL (CTL^*), are 2EXPTIME-complete (resp.3EXPTIME-complete). Thus, in a sense, reactive environments constitute a provably harder setting for the synthesis of open systems and controllers for them.

Original language	American English
Title of host publication	CONCUR 2000 - Concurrency Theory
Subtitle of host publication	11th International Conference, Proceedings
Editors	Catuscia Palamidessi
Publisher	Springer Verlag
Pages	92-107
Number of pages	16
ISBN (Print)	3540678972, 9783540678977
DOIs	https://doi.org/10.1007/3-540-44618-4_9
State	Published - 2000
Event	11th International Conference on Concurrency Theory, CONCUR 2000 - University Park, PA, United States Duration: 22 Aug 2000 → 25 Aug 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1877 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Concurrency Theory, CONCUR 2000
Country/Territory	United States
City	University Park, PA
Period	22/08/00 → 25/08/00

Access to Document

10.1007/3-540-44618-4_9

Cite this

Kupferman, O., Madhusudan, P., Thiagarajan, P. S., & Vardi, M. Y. (2000). Open systems in reactive environments: Control and synthesis. In C. Palamidessi (Ed.), CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings (pp. 92-107). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1877 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-44618-4_9

Kupferman, Orna ; Madhusudan, P. ; Thiagarajan, P. S. et al. / Open systems in reactive environments : Control and synthesis. CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. editor / Catuscia Palamidessi. Springer Verlag, 2000. pp. 92-107 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0b1e28860bb64d8ab08e28aa0f0d5700,

title = "Open systems in reactive environments: Control and synthesis",

abstract = "We study the problems of synthesizing open systems as well as controllers for them. The key aspect of our model is that it caters to reactive environments, which can disable different sets of responses when reacting with the system. We deal with specifications given as formulas in CTL * and its sub-logic CTL. We show that both these problems, with specifications in CTL (CTL*), are 2EXPTIME-complete (resp.3EXPTIME-complete). Thus, in a sense, reactive environments constitute a provably harder setting for the synthesis of open systems and controllers for them.",

author = "Orna Kupferman and P. Madhusudan and Thiagarajan, {P. S.} and Vardi, {Moshe Y.}",

year = "2000",

doi = "10.1007/3-540-44618-4_9",

language = "American English",

isbn = "3540678972",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "92--107",

editor = "Catuscia Palamidessi",

booktitle = "CONCUR 2000 - Concurrency Theory",

address = "Germany",

note = "11th International Conference on Concurrency Theory, CONCUR 2000 ; Conference date: 22-08-2000 Through 25-08-2000",

}

Kupferman, O, Madhusudan, P, Thiagarajan, PS & Vardi, MY 2000, Open systems in reactive environments: Control and synthesis. in C Palamidessi (ed.), CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1877 LNCS, Springer Verlag, pp. 92-107, 11th International Conference on Concurrency Theory, CONCUR 2000, University Park, PA, United States, 22/08/00. https://doi.org/10.1007/3-540-44618-4_9

Open systems in reactive environments: Control and synthesis. / Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S. et al.
CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. ed. / Catuscia Palamidessi. Springer Verlag, 2000. p. 92-107 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1877 LNCS).

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

TY - GEN

T1 - Open systems in reactive environments

T2 - 11th International Conference on Concurrency Theory, CONCUR 2000

AU - Kupferman, Orna

AU - Madhusudan, P.

AU - Thiagarajan, P. S.

AU - Vardi, Moshe Y.

PY - 2000

Y1 - 2000

N2 - We study the problems of synthesizing open systems as well as controllers for them. The key aspect of our model is that it caters to reactive environments, which can disable different sets of responses when reacting with the system. We deal with specifications given as formulas in CTL * and its sub-logic CTL. We show that both these problems, with specifications in CTL (CTL*), are 2EXPTIME-complete (resp.3EXPTIME-complete). Thus, in a sense, reactive environments constitute a provably harder setting for the synthesis of open systems and controllers for them.

AB - We study the problems of synthesizing open systems as well as controllers for them. The key aspect of our model is that it caters to reactive environments, which can disable different sets of responses when reacting with the system. We deal with specifications given as formulas in CTL * and its sub-logic CTL. We show that both these problems, with specifications in CTL (CTL*), are 2EXPTIME-complete (resp.3EXPTIME-complete). Thus, in a sense, reactive environments constitute a provably harder setting for the synthesis of open systems and controllers for them.

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

U2 - 10.1007/3-540-44618-4_9

DO - 10.1007/3-540-44618-4_9

M3 - Conference contribution

AN - SCOPUS:84885234181

SN - 3540678972

SN - 9783540678977

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 92

EP - 107

BT - CONCUR 2000 - Concurrency Theory

A2 - Palamidessi, Catuscia

PB - Springer Verlag

Y2 - 22 August 2000 through 25 August 2000

ER -

Kupferman O, Madhusudan P, Thiagarajan PS, Vardi MY. Open systems in reactive environments: Control and synthesis. In Palamidessi C, editor, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Springer Verlag. 2000. p. 92-107. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44618-4_9

Open systems in reactive environments: Control and synthesis

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this