Compositional Construction of Most General Controllers

Research output: Contribution to journalResearch articleContributedpeer-review

Abstract

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.

Details

Original languageEnglish
Pages (from-to)443–482
Number of pages40
JournalActa Informatica
Volume52
Issue number4-5
Publication statusPublished - 2015
Peer-reviewedYes

External IDs

Scopus 84930413416
ORCID /0000-0002-5321-9343/work/142236730
ORCID /0000-0003-1724-2586/work/165453598

Keywords

Keywords

  • Compositional construction, general controllers