Distributed Controller Synthesis for Local Specifications (2001)
by
P. Madhusudan
,
P. S. Thiagarajan
| Citations: | 16 - 3 self |
BibTeX
@MISC{Madhusudan01distributedcontroller,
author = {P. Madhusudan and P. S. Thiagarajan},
title = {Distributed Controller Synthesis for Local Specifications},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider the problem of synthesizing distributed controllers for reactive systems against local specifications. We show that a larger class of architectures become decidable in comparison to the analogous problem for global specifications. We identify the exact class of architectures for which the problem is decidable. Our results also show the decidability of a related realizability problem for local specifications.
