Open systems in reactive environments: Control and synthesis

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

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

84 Scopus citations


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 languageAmerican English
Title of host publicationCONCUR 2000 - Concurrency Theory
Subtitle of host publication11th International Conference, Proceedings
EditorsCatuscia Palamidessi
PublisherSpringer Verlag
Number of pages16
ISBN (Print)3540678972, 9783540678977
StatePublished - 2000
Event11th International Conference on Concurrency Theory, CONCUR 2000 - University Park, PA, United States
Duration: 22 Aug 200025 Aug 2000

Publication series

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


Conference11th International Conference on Concurrency Theory, CONCUR 2000
Country/TerritoryUnited States
CityUniversity Park, PA


Dive into the research topics of 'Open systems in reactive environments: Control and synthesis'. Together they form a unique fingerprint.

Cite this