A Step Towards Refining and Translating B Control Annotations to Handel-C.
Wilson IfillSteve A. SchneiderPublished in: CPA (2007)
Keyphrases
- metadata
- database systems
- post processing
- artificial intelligence
- control method
- optimal control
- control system
- multi agent systems
- control problems
- process control
- control strategy
- data acquisition
- evolutionary algorithm
- artificial neural networks
- real time
- keywords
- image sequences
- case study
- decision trees
- computer vision
- machine learning
- data sets