Breiner, S.
, Subrahmanian, E.
, Dusel, J.
and Foley, J.
(2021),
Operads for complex system design specification, analysis and synthesis, Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
(Accessed November 21, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Operads for complex system design specification, analysis and synthesis
Published
Author(s)
, , John Dusel, John Foley
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 effective knowledge representation to address these challenges. Formal documentation of a syntactically correct complex design is built up during design synthesis, while semantic reasoning about which designs are effective guides the process. Throughout, the ability to break down 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.Citation
Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
Pub Type
Journals
Keywords
operads, complex systems, systems of systems, mathematical modeling
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created June 23, 2021, Updated February 16, 2024