A type-based analysis of causality loops in hybrid systems modelers.

Albert Benveniste Timothy Bourke Benoît Caillaud Bruno Pagano Marc Pouzet

Published in: HSCC (2014)

Keyphrases

hybrid systems
search space
knowledge acquisition
mathematical model
black box
meta learning