Modeling and Verifying Active Structural Control Systems.

Wael M. Elseaidy Rance Cleaveland John W. Baugh Jr.

Published in: Sci. Comput. Program. (1997)

Keyphrases

control system
neural network
high level
optimal solution
wide range
artificial neural networks
real time
e learning
image sequences
objective function
data structure
model checking
protein sequences
modeling framework
structural analysis
structural model