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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
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 -