Guillaume Boisseau (University of Oxford, UK) |
Paweł Sobociński (Tallinn University of Technology, Estonia) |
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 idiomatic proofs of several textbook results, including the superposition theorem and Thevenin's theorem. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.372.13 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |