Operads for complex system design specification, analysis and synthesis
arXiv:2101.11115 · doi:10.1098/rspa.2021.0099
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 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.
33 pages; 14 figures; revised presentation, esp. first three sections and removal of appendix; new style file
References in corpus (39)
- Ologs: a categorical framework for knowledge representation
- Reducing T-count with the ZX-calculus
- PyZX: Large Scale Automated Diagrammatic Reasoning
- Mathematical Foundations for a Compositional Distributional Model of Meaning
- Category theoretic analysis of hierarchical protein materials and social networks
- A Universal Construction for (Co)Relations
- Open Petri Nets
- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
- The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
- A Compositional Framework for Markov Processes
- DisCoPy: Monoidal Categories in Python
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Optimising Clifford Circuits with Quantomatic
- Operads of Wiring Diagrams
- Co-Design of Embodied Intelligence: A Structured Approach
- Categorical Semantics of Cyber-Physical Systems Theory
- Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
- Monoidal Grothendieck construction
- Compositional Cyber-Physical Systems Modeling
- A Mathematical Theory of Co-Design
- Open Markov processes: A compositional perspective on non-equilibrium steady states in biology
- Globular: an online proof assistant for higher-dimensional rewriting
- Towards a Co-Design Framework for Future Mobility Systems
- Compositional Models for Power Systems
- Compositional Scientific Computing with Catlab and SemanticModels
- Lenses and Learners
- Supplying bells and whistles in symmetric monoidal categories
- A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version)
- A Compositional Sheaf-Theoretic Framework for Event-Based Systems
- Network Models from Petri Nets with Catalysts
- Open Systems in Classical Mechanics
- Modeling Hierarchical System with Operads
- Noncommutative Network Models
- Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
- Diagrammatic Semantics for Digital Circuits
- Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
- Compositional Cyber-Physical Systems Theory
- Topos Semantics for a Higher-Order Temporal Logic of Actions
- Categories of Nets