Systematic Development of Control Designs via Formal Refinement.

Manoranjan Satpathy Colin F. Snook Silky Arora S. Ramesh Michael J. Butler

Published in: MODELSWARD (2013)

Keyphrases

control system
knowledge based systems
development environment
database
decision support
design space
st century
design principles
software engineering
neural network
natural language
information retrieval
data acquisition
development process
control strategy
formal model
machine learning
data sets
real time