MDS Architecture

Maude Specifications of MDS Architecture

• My Configuration
• Interfaces
• State Variable
• Actuator
• Sensor
• Device
• Controller
• Estimator