Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems.

Guillaume O. Berger Sriram Sankaranarayanan

Published in: CoRR (2022)

Keyphrases

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