Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.

Timothy J. Hickey David K. Wittenberg

Published in: HSCC (2004)

Keyphrases

hybrid systems
arithmetic constraints
black box
soft computing
meta learning
intelligent systems
computational intelligence
neural network
artificial intelligence
decision making
knowledge base
data analysis
dynamic systems