Compositional Construction of Most General Controllers

Joachim KleinJoachim Klein, Christel BaierChristel Baier, Sascha KlüppelholzSascha Klüppelholz

DOI Link

Joachim Klein, Christel Baier, Sascha Klüppelholz
Compositional Construction of Most General Controllers
Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, 52(4-5):443--482, 2015

Details
Bibtex

KurzfassungAbstract
Given a system A and an objective Φ, the task of controller synthesis is to design a decision making policy that ensures Φ to be satisfied. This article deals with transition system-like system models and controllers that base their decisions on the observables of the actions performed so far. We present a framework for the compositional construction of controllers for conjunctive sequences of linear-time objectives in an online manner. For this approach, it is crucial that the controllers enforce the objectives in a most general manner, being as permissive as possible. We then present game-based algorithms for the construction of such most general controllers for invariance, reachability and ω-regular objectives.
Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ 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“.Algebraic and Logical Foundations of Computer Science

@article{KBK2015,
  author  = {Joachim Klein and Christel Baier and Sascha Kl{\"{u}}ppelholz},
  title   = {Compositional Construction of Most General Controllers},
  journal = {Acta Informatica, Special Issue: Combining Compositionality and
             Concurrency: Part 2},
  volume  = {52},
  number  = {4-5},
  year    = {2015},
  pages   = {443--482},
  doi     = {10.1007/s00236-015-0239-9}
}