Showing 1–3 of 3 results for author: Breiner, S

Operads for complex system design specification, analysis and synthesis

Authors: John D. Foley, Spencer Breiner, Eswaran Subrahmanian, John M. Dusel

Abstract: As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an e… ▽ More As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modeling under this paradigm and directions for future work to systematically address scalability challenges for complex system design. △ Less

Submitted 25 May, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 33 pages; 14 figures; revised presentation, esp. first three sections and removal of appendix; new style file

Report number: G2021-0140

Journal ref: Proc. Royal Soc. A , Vol. 477, No. 2250, 2021, 20210099

Symmetric Monoidal Categories with Attributes

Authors: Spencer Breiner, John S. Nolan

Abstract: 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 attributes into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define a notion of a "symmetric monoidal category with attributes."… ▽ More 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 attributes into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define a notion of a "symmetric monoidal category with attributes." This is a symmetric monoidal category in which objects are equipped with retrievable information and where the interactions between objects and information are governed by an "attribute structure." We discuss examples and semantics of such categories in the context of robotics to illustrate our definition. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: In Proceedings ACT 2020, arXiv:2101.07888

Journal ref: EPTCS 333, 2021, pp. 33-48

Modeling Hierarchical System with Operads

Authors: Spencer Breiner, Blake Pollard, Eswaran Subrahmanian, Olivier Marie-Rose

Abstract: This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, develo** a hierarchical interaction model for the Length Scale Interferometer, a high-precision measurement system operated by the US National Institute of Standards and Technology. The model is expressed in terms of combinatorial/diagrammatic stru… ▽ More This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, develo** a hierarchical interaction model for the Length Scale Interferometer, a high-precision measurement system operated by the US National Institute of Standards and Technology. The model is expressed in terms of combinatorial/diagrammatic structures called port-graphs, and we explain how to extract an operad LSI from a collection of these diagrams. Next we show how functors to the operad of probabilities organize and constrain the relative probabilities of component failure in the system. Finally, we show how to extend the analysis from general component failure to specific failure modes. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal ref: EPTCS 323, 2020, pp. 72-83