Compositional Construction of Most General Controllers

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

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

OriginalspracheEnglisch
Seiten (von - bis)443–482
Seitenumfang40
FachzeitschriftActa Informatica
Jahrgang52
Ausgabenummer4-5
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Externe IDs

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

Schlagworte

Schlagwörter

  • Compositional construction, general controllers