Operads for complex system design specification, analysis and synthesis.

John D. Foley Spencer Breiner Eswaran Subrahmanian John M. Dusel

Published in: CoRR (2021)

Keyphrases

mechanical devices
machine learning
real time
databases
high level
data analysis
knowledge based systems
design process
complex systems
quantitative analysis
design decisions
formal verification
design space exploration