11 citations · 17 across the 3 of their papers we have counts for
5 papers
Symmetric Monoidal Categories with Attributes
Spencer Breiner, John S. Nolan
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attri…
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…
Modeling Hierarchical System with Operads
Spencer Breiner, Blake Pollard, Eswaran Subrahmanian +1
This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical inte…
Compositional Models for Power Systems
John S. Nolan, Blake S. Pollard, Spencer Breiner +2
The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management in the context of the…
Parallel Self-Testing of the GHZ State with a Proof by Diagrams
Spencer Breiner, Amir Kalev, Carl A. Miller
Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted?…