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