Spencer Breiner (Fed)

Publications

Workshop on Compositional Structures in Systems Engineering and Design

December 20, 2024

Author(s)

Spencer Breiner, Eswaran Subrahmanian, Joseph Moeller, Priyaa Varshinee Srinivasan

The focus of this workshop is to foster the development of applications of category theory to systems engineering and design. We are interested in bringing

Category Theory

January 25, 2023

Author(s)

Spencer Breiner, Eswaran Subrahmanian, Ram Sriram

Category theory (CT) is a branch of mathematics concerned with the representation and composition of structured relationships. Recent interest in systems

Operads for complex system design specification, analysis and synthesis

June 23, 2021

Author(s)

Spencer Breiner, Eswaran Subrahmanian, John Dusel, John Foley

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine readable designs increases

Deconstructing UML, Part 1: Modeling Classes with Categories

May 13, 2021

Author(s)

Sarala Padi, Spencer J. Breiner, Eswaran Subrahmanian, Ram D. Sriram

In this paper we analyze elements of the Unified Modeling Language (UML), specifically the class diagram, and propose an simplified alternative language based

Symmetric Monoidal Categories with Attributes

January 26, 2021

Author(s)

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

View more Publications

Created May 31, 2018, Updated December 8, 2022