Refinement from a Control Problem to Programs.
Michael SchenkeAnders P. RavnPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- control program
- control system
- optimal control
- control structures
- cooperative
- control method
- artificial intelligence
- control structure
- database
- control strategy
- real time control
- control theory
- robot control
- human operators
- adaptive control
- multi agent
- three dimensional
- image segmentation
- website
- information retrieval
- data mining
- neural network