Compositional Construction of Most General Controllers
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 443–482 |
Seitenumfang | 40 |
Fachzeitschrift | Acta Informatica |
Jahrgang | 52 |
Ausgabenummer | 4-5 |
Publikationsstatus | Veröffentlicht - 2015 |
Peer-Review-Status | Ja |
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