An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.

Pavithra Prabhakar Miriam Garcia Soto

Published in: SNR@CAV (2015)

Keyphrases

hybrid systems
intelligent systems
black box
soft computing
meta learning
neural network
computational intelligence
discrete event
artificial intelligence
expert systems
workflow systems
supervised learning
development process