On conditional decomposability

Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen

ISSN: 0167-6911
DOI Link

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On conditional decomposability
Systems & Control Letters, 61(12):1260–1268, 2012

Details
Bibtex

KurzfassungAbstract
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems in general settings is also discussed in this paper. It is shown that conditional decomposability is a weaker condition than nonblockingness.
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

@article{KMS2012,
  author  = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen},
  title   = {On conditional decomposability},
  journal = {Systems \& Control Letters},
  volume  = {61},
  number  = {12},
  year    = {2012},
  pages   = {1260{\textendash}1268},
  doi     = {10.1016/j.sysconle.2012.07.013}
}