String Diagrammatic Electrical Circuit Theory

06/14/2021
by   Guillaume Boisseau, et al.
0

We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements, and the impedance calculus, a powerful toolbox for diagrammatic reasoning on circuit diagrams. We demonstrate the power of our approach by giving comprehensive proofs of several textbook results, including the superposition theorem and Thévenin's theorem.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

04/16/2019

Nominal String Diagrams

We introduce nominal string diagrams as, string diagrams internal in the...
01/25/2022

Full abstraction for digital circuits

This paper refines the existing axiomatic semantics of digital circuits ...
01/18/2016

Superposition principle in linear networks with controlled sources

The manuscript discusses a well-known issue that, despite its fundamenta...
05/10/2021

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

We introduce an intuitive algorithmic methodology for enacting automated...
09/02/2020

Circuit Satisfiability Problem for circuits of small complexity

The following problem is considered. A Turing machine M, that accepts a ...
04/20/2018

Graphical Conjunctive Queries

The Calculus of Conjunctive Queries (CCQ) has foundational status in dat...
03/29/2021

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification

This article presents a novel algorithmic methodology for performing aut...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.