Operads for complex system design specification, analysis and synthesis

by   John D. Foley, et al.

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.


page 1

page 2

page 3

page 4


MO-PaDGAN: Generating Diverse Designs with Multivariate Performance Enhancement

Deep generative models have proven useful for automatic design synthesis...

CounterExample Guided Neural Synthesis

Program synthesis is the generation of a program from a specification. C...

CreativeGAN: Editing Generative Adversarial Networks for Creative Design Synthesis

Modern machine learning techniques, such as deep neural networks, are tr...

Secure-by-Construction Synthesis of Cyber-Physical Systems

Correct-by-construction synthesis is a cornerstone of the confluence of ...

The Synthesis Lab: Empowering Collaborative Learning in Higher Education through Knowledge Synthesis

The ability to synthesize information has emerged as a critical skill fo...

A Classification Framework for Stablecoin Designs

Stablecoins promise to bridge fiat currencies with the world of cryptocu...

Please sign up or login with your details

Forgot password? Click here to reset