Compositional Construction of Most General Controllers
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
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 language | English |
---|---|
Pages (from-to) | 443–482 |
Number of pages | 40 |
Journal | Acta Informatica |
Volume | 52 |
Issue number | 4-5 |
Publication status | Published - 2015 |
Peer-reviewed | Yes |
External IDs
Scopus | 84930413416 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236730 |
ORCID | /0000-0003-1724-2586/work/165453598 |
Keywords
Keywords
- Compositional construction, general controllers