Controlled hybrid system safety verification: advanced life support system testbed.

Sonja Glavaski Antonis Papachristodoulou Kartik B. Ariyur

Published in: ACC (2005)

Keyphrases

computer vision
artificial neural networks
model checking
real world
data mining
information systems
clustering algorithm
expert systems
computational intelligence
hybrid systems
verification method