4 papers
Compositionality of Lyapunov functions via assume-guarantee reasoning
Matteo Capucci, David Jaz Myers
Assume-guarantee reasoning is a technique for compositional model checking in which system specifications are checked under certain assumptions on system parameters or inputs, and…
Clock systems for stochastic and non-deterministic categorical systems theories
Owen Lynch, David Jaz Myers, Eigil Fjeldgren Rischel +1
One of the characteristic features of categorical systems theory is that the behavior of systems can be characterized by certain morphisms into them. In other words, behaviors form…
Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
Jason Brown, Kevin Carlson, Sophie Libkind +1
(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimod…
Towards a double operadic theory of systems
Sophie Libkind, David Jaz Myers
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right…