Constructing invariants for hybrid systems.

Sriram Sankaranarayanan Henny B. Sipma Zohar Manna

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

hybrid systems
black box
intelligent systems
computational intelligence
meta learning
neural network
soft computing
artificial intelligence
discrete event
active learning
data model
business processes
kernel methods
dynamic systems
workflow systems