DeepAI AI Chat
Log In Sign Up

Graphical Piecewise-Linear Algebra

by   Guillaume Boisseau, et al.

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.


page 1

page 2

page 3

page 4


Interacting Hopf Algebras: the theory of linear systems

As first main contribution, this thesis characterises the PROP SVk of li...

On the expressive power of linear algebra on graphs

Most graph query languages are rooted in logic. By contrast, in this pap...

Diagrammatic Polyhedral Algebra

We extend the theory of Interacting Hopf algebras with an order primitiv...

On Tools for Completeness of Kleene Algebra with Hypotheses

In the literature on Kleene algebra, a number of variants have been prop...

Expressive power of linear algebra query languages

Linear algebra algorithms often require some sort of iteration or recurs...

Iterated Piecewise-Stationary Random Functions

Within the study of uncertain dynamical systems, iterated random functio...