A Tabular Expression Toolbox for Matlab/Simulink.

Colin Eles Mark Lawford

Published in: NASA Formal Methods (2011)

Keyphrases

matlab simulink
control algorithm
mathematical model
control system
control method
simulation model
control strategy
transfer function
operating conditions
fuzzy logic controller
fuzzy logic
fuzzy controller
active power filter
decision making
sigma delta
neural network
image analysis
genetic algorithm
dc motor