On the Abstract Structure of the Behavioral Approach to Systems Theory
Abstract
We revisit the behavioral approach to systems theory and make explicit the abstract pattern that governs it. Our end goal is to use that pattern to understand interactionrelated phenomena that emerge when systems interact. Rather than thinking of a system as a pair $(\mathbb{U}, \mathcal{B})$, we begin by thinking of it as an injective map from $\mathcal{B} \rightarrow \mathbb{U}$. This relative perspective naturally brings about the sought structure, which we summarize in three points. First, the separation of behavioral equations and behavior is developed through two spaces, one of syntax and another of semantics, linked by an interpretation map. Second, the notion of interconnection and variable sharing is shown to be a construction of the same nature as that of gluing topological spaces or taking amalgamated sums of algebraic objects. Third, the notion of interconnection instantiates to both the syntax space and the semantics space, and the interpretation map is shown to preserve the interconnection when going from syntax to semantics. This pattern, in its generality, is made precise by borrowing very basic constructs from the language of categories and functors.
 Publication:

arXiv eprints
 Pub Date:
 November 2019
 DOI:
 10.48550/arXiv.1911.10398
 arXiv:
 arXiv:1911.10398
 Bibcode:
 2019arXiv191110398A
 Keywords:

 Electrical Engineering and Systems Science  Systems and Control;
 Mathematics  Category Theory;
 Mathematics  Optimization and Control
 EPrint:
 25 pages