A categorical approach to open and interconnected dynamical systems

@article{Fong2016ACA,
  title={A categorical approach to open and interconnected dynamical systems},
  author={Brendan Fong and Paolo Rapisarda and Pawel Soboci'nski},
  journal={2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year={2016},
  pages={1-10}
}
In his 1986 Automatica paper Willems introduced the influential behavioural approach to control theory with an investigation of linear time-invariant (LTI) discrete dynamical systems. The behavioural approach places open systems at its centre, modelling by tearing, zooming, and linking. We show that these ideas are naturally expressed in the language of symmetric monoidal categories.Our main result gives an intuitive sound and fully complete string diagram algebra for reasoning about LTI… 

Figures from this paper

Picturing resources in concurrency
TLDR
It is shown to axiomatise a category of open Petri nets, in the style of the connector algebras of nets with boundaries first studied by Bruni, Melgratti, Montanari and Sobociński.
Bialgebraic Semantics for String Diagrams
TLDR
This work uses the bialgebraic approach to derive well-behaved structural operational semantics of string diagrams, a graphical syntax that is increasingly used in the study of interacting systems across different disciplines.
37 : 2 Bialgebraic Semantics for String Diagrams
TLDR
This work provides bialgebraic compositional semantics for a versatile string diagrammatic language which has been used to model both signal flow graphs and Petri nets, and reveals a correspondence between two different interpretations of the Frobenius equations on string diagrams.
Diagrammatic algebra: from linear to concurrent systems
TLDR
The resource calculus is introduced, a string diagrammatic language for concurrent systems that uses the same syntax and operational semantics as the signal flow calculus --- an algebraic formalism for signal flow graphs, which is a combinatorial model of computation of interest in control theory.
Graphical Resource Algebra , from Linear to Affine
TLDR
This work has shown how to extend graphical linear/affine algebra with a connector for affine behaviour, which can model systems with richer patterns of behaviour such as mutual exclusion when R = N and non-passive electrical components—when R = R(x).
Rewriting with Frobenius
TLDR
A DPO rewriting formalism which is able to absorb multiple Frobenius structures, thus sensibly simplifying diagrammatic reasoning in the analysis of compound systems in a compositional, resource-sensitive manner.
The algebra of open and interconnected systems
TLDR
This thesis develops the theory of hypergraph categories and introduces the tools of decorated cospans and corelations, a more powerful version that permits construction of all hyper graph categories and hypergraph functors.
Categories in Control: Applied PROPs
Author(s): Erbele, Jason | Advisor(s): Baez, John | Abstract: Control theory uses `signal-flow diagrams' to describe processes where real-valued functions of time are added, multiplied by scalars,
Rewriting modulo symmetric monoidal structure
TLDR
This paper interprets diagrams combinatorially as typed hypergraphs and establishes the precise correspondence between diagram rewriting modulo the laws of SMCs on the one hand and double pushout (DPO) rewriting of hyper graphs, subject to a soundness condition called convexity, on the other.
...
1
2
3
4
...

References

SHOWING 1-10 OF 34 REFERENCES
Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
TLDR
This paper uses the language of operads to study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones, and defines two W-algebras, G and L, which associate semantic content to the structures in W.
Full Abstraction for Signal Flow Graphs
TLDR
This paper equips signal flow graphs with a structural operational semantics, and classifies the ways in which any graph can be realised -- rewritten, using the graphical theory, into an executable form where the operational behavior and the denotation coincides.
The Behavioral Approach to Open and Interconnected Systems
  • J. Willems
  • Computer Science
    IEEE Control Systems
  • 2007
TLDR
This article has presented an approach to the mathematical description of dynamical systems, and described a methodology for modeling interconnected systems, called tearing, zooming, and linking, that is much better adapted to the physics of interconnected systems than input/output-modeling procedures such as Simulink.
Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting Hopf Algebras - la théorie des systèmes linéaires)
TLDR
The algebraic theory IH, whose free model is the category oflinear subspaces over a field k, is presented by generators and equations to axiomatise a formalsemantics of signal processing circuits, for which full abstraction and realisability are studied.
Machines in a category
Multidimensional constant linear systems
A continuous resp. discrete r-dimensional (r≥1) system is the solution space of a system of linear partial differential resp. difference equations with constant coefficients for a vector of functions
Discrete-Time Machines in Closed Monoidal Categories. I
  • J. Goguen
  • Mathematics
    J. Comput. Syst. Sci.
  • 1975
Categories in Control
Control theory uses "signal-flow diagrams" to describe processes where real-valued functions of time are added, multiplied by scalars, differentiated and integrated, duplicated and deleted. These
...
1
2
3
4
...