Verification of a class of hybrid systems using mathematical programming.

Ravi Prasanth Sarah Bergstrom Jovan D. Boskovic Raman K. Mehra

Published in: ACC (2003)

Keyphrases

mathematical programming
hybrid systems
linear programming
intelligent systems
black box
combinatorial optimization
meta learning
computational intelligence
mixed integer linear
discrete event
neural network
controlled tabular adjustment
machine learning
search algorithm
artificial neural networks
search space