Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems.

Miriam Garcia Soto Pavithra Prabhakar

Published in: HSCC (2018)

Keyphrases

hybrid systems
intelligent systems
neural network
soft computing
black box
discrete event
meta learning
computational intelligence
artificial intelligence
machine learning
genetic algorithm
multi agent systems
multi class
dynamic systems