Sign in

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

Eike MöhlmannOliver 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