Agethen C, Moor T (2015)
Publication Status: Published
Publication Type: Journal article, Original article
Publication year: 2015
Publisher: Kluwer Academic Publishers
Book Volume: 25
Pages Range: 95-124
DOI: 10.1007/s10626-014-0182-x
This paper develops a hierarchical and modular control architecture for so called sequential behaviours, i.e. for plant dynamics and specifications that are represented as formal languages of infinite-length words. Our main result is the elaboration of structural properties that allow for abstraction based controller design and that are preserved under closed-loop composition. Thus, we propose to alternate controller design, closed-loop composition and abstraction in order to construct a hierarchical control system in a bottom-up fashion. When the overall plant is composed from a number of components, our approach naturally extends to the alternation of controller design, closed-loop composition, abstraction and component composition. Technically, our results are based on the notion of input-output systems known from behavioural systems theory, with a particular focus on liveness properties represented as sequential behaviours that are not necessarily topologically closed.
APA:
Agethen, C., & Moor, T. (2015). A hierarchical and modular control architecture for sequential behaviours. Discrete Event Dynamic Systems: Theory and Applications, 25, 95-124. https://dx.doi.org/10.1007/s10626-014-0182-x
MLA:
Agethen, Christine, and Thomas Moor. "A hierarchical and modular control architecture for sequential behaviours." Discrete Event Dynamic Systems: Theory and Applications 25 (2015): 95-124.
BibTeX: Download