Pith. sign in

REVIEW 1 cited by

A categorical approach to open and interconnected dynamical systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1510.05076 v2 pith:NIRWE5O2 submitted 2015-10-17 cs.SY cs.LOcs.SYmath.CT

A categorical approach to open and interconnected dynamical systems

classification cs.SY cs.LOcs.SYmath.CT
keywords systemsworkapproachdevelopdynamicalgraphicalinfiniteprevious
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We develop a sound and complete graphical theory for discrete linear time-invariant dynamical systems. The graphical syntax, as in previous work, is closely related to the classical notion of signal flow diagrams, differently from previous work, these are understood as multi-input multi-output transducers that process streams with an \emph{infinite past} as well as an infinite future. This extended semantics features non-controllable systems, and we develop a novel, structural characterisation of controllability. Our approach is formalised through the theory of props, extending the work of Bonchi, Zanasi and the third author.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Double Categories of Open Systems: the Cospan Approach

    math.CT 2025-09 conditional novelty 4.0

    Structured and decorated cospan double categories for open systems have an exoskeleton/outer shell structure, and every object in them is a special symmetric Frobenius pseudomonoid.