Assertion checking of control dominated systems with nonlinear solvers.

Iñigo Ugarte Pablo Sanchez

Published in: MEMOCODE (2006)

Keyphrases

data sets
control system
linear systems
information retrieval
genetic algorithm
search engine
intelligent systems
building blocks
learning systems
neural network
case study
management system
complex systems
control strategy
autonomous systems
highly nonlinear