Distributed controller synthesis for local specifications

P. Madhusudan, P. S. Thiagarajan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings
EditorsFernando Orejas, Paul G. Spirakis, Jan van Leeuwen
PublisherSpringer-Verlag Berlin Heidelberg
Pages396-407
Number of pages12
ISBN (Print)3540422870, 9783540422877
DOIs
StatePublished - 2001
Externally publishedYes
Event28th International Colloquium on Automata, Languages and Programming, ICALP 2001 - Crete, Greece
Duration: Jul 8 2001Jul 12 2001

Publication series

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

Other

Other28th International Colloquium on Automata, Languages and Programming, ICALP 2001
CountryGreece
CityCrete
Period7/8/017/12/01

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Distributed controller synthesis for local specifications'. Together they form a unique fingerprint.

  • Cite this

    Madhusudan, P., & Thiagarajan, P. S. (2001). Distributed controller synthesis for local specifications. In F. Orejas, P. G. Spirakis, & J. van Leeuwen (Eds.), Automata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings (pp. 396-407). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2076 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-48224-5_33