Temporal model-based diagnostics generation for HVAC control systems

Engineering

• Control System 100%
• Air Conditioning 100%
• Energy Usage 50%
• Illustrates 50%
• Building System 50%
• Transformation Process 50%
• Control Code 50%

Computer Science

• Model Transformation 100%
• Contributing Factor 50%
• model-driven development 50%
• Transformation Process 50%
• Temporal Logic 50%
• Building System 50%
• Hybrid System Model 50%