Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40753
Title: A decidable class of asynchronous distributed controllers
Authors: Madhusudan, P.
Thiagarajan, P.S. 
Issue Date: 2002
Source: Madhusudan, P.,Thiagarajan, P.S. (2002). A decidable class of asynchronous distributed controllers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2421 LNCS : 145-160. ScholarBank@NUS Repository.
Abstract: We study the problem of synthesizing controllers in a natural distributed asynchronous setting: a finite set of plants interact with their local environments and communicate with each other by synchronizing on common actions. The controller-synthesis problem is to come up with a local strategy for each plant such that the controlled behaviour of the network meets a specification. We consider linear time specifications and provide, in some sense, a minimal set of restrictions under which this problem is effectively solvable: we show that the controller-synthesis problem under these restrictions is decidable while the problem becomes undecidable if any one or more of these three restrictions are dropped. © Springer-Verlag Berlin Heidelberg 2002.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/40753
ISBN: 3540440437
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

52
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.