On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques.

Alexander B. Kurzhanski Pravin Varaiya

Published in: CDC/ECC (2005)

Keyphrases

model checking
dynamical systems
dynamic model
database
genetic algorithm
hybrid learning
face verification
concurrent systems
social networks
feature selection
decision making
search algorithm
evolutionary algorithm
hidden markov models
formal analysis
formal verification