Graphical piecewise-linear algebra

DOI10.1007/978-3-030-99253-8_6arXiv2111.03956OpenAlexW3211980671MaRDI QIDQ6181925FDOQ6181925

Author name not available (Why is that?), Robin Piedeleu

Publication date: 23 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model various application domains, from signal-flow graphs to Petri nets and electrical circuits. In this paper, we introduce to the family its most expressive member to date: Graphical Piecewise-Linear Algebra, a new language to specify piecewise-linear subsets of vector spaces. Like the previous members of the family, it comes with a complete axiomatisation, which means it can be used to reason about the corresponding semantic domain purely equationally, forgetting the set-theoretic interpretation. We show completeness using a single axiom on top of Graphical Polyhedral Algebra, and show that this extension is the smallest that can capture a variety of relevant constructs. Finally, we showcase its use by modelling the behaviour of stateless electronic circuits of ideal elements, a domain that had remained outside the remit of previous diagrammatic languages.

Full work available at URL: https://arxiv.org/abs/2111.03956

zbMATH Keywords

piecewise-linearaxiomatisationstring diagramsprop

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites Work

• Group theory. Birdtracks, Lie's, and exceptional groups
• The Behavioral Approach to Open and Interconnected Systems
• A Compositional Framework for Passive Linear Networks
• Props in Network Theory

This page was built for publication: Graphical piecewise-linear algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6181925)