Open Systems in Reactive Environments: Control and Synthesis (2000)
by
Orna Kupferman
,
P. Madhusudan
,
P. S. Thiagarajan
,
Moshe Y. Vardi
| Citations: | 20 - 5 self |
BibTeX
@MISC{Kupferman00opensystems,
author = {Orna Kupferman and P. Madhusudan and P. S. Thiagarajan and Moshe Y. Vardi},
title = {Open Systems in Reactive Environments: Control and Synthesis},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We study the problems of synthesizing open systems as well as controllers for open systems. We deal with specifications given as formulas of the branching temporal logic CTL ? and its sub-logic CTL. A key aspect of our work is that we deal with reactive environments. These are environments that can disable some of their responses along the interaction with the system.
