Stabhyli: a tool for automatic stability verification of non-linear hybrid systems.

Eike Möhlmann Oliver E. Theel

Published in: HSCC (2013)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
computational intelligence
soft computing
discrete event
neural network
object oriented