Computational techniques for hybrid system verification.

Alongkrit Chutinan Bruce H. Krogh

Published in: IEEE Trans. Autom. Control. (2003)

Keyphrases

data structure
artificial neural networks
wide range
model checking
real time
information retrieval
multi agent
control system
mathematical programming
formal verification