Smart Sensorization Using Propositional Dynamic Logic

Area of Science:

• Energy Engineering
• Artificial Intelligence
• Control Systems

Background:

• High energy prices present challenges, particularly for domestic hot water supply.
• Conventional water heating systems often have inefficiencies contributing to high energy consumption.
• The need for intelligent, energy-saving solutions in domestic settings is critical.

Purpose of the Study:

• To develop an intelligent heating system for conventional water tanks to minimize energy consumption.
• To integrate artificial intelligence and advanced control logic for optimized water heating.
• To introduce a novel application of propositional dynamic logic in energy efficiency for domestic use.

Main Methods:

• Implementation of a domotic system with sensors and solenoid valves for automated control.
• Real-time data processing by an artificial intelligence system using deductive control.
• Application of an extension of propositional dynamic logic for qualitative control and reasoning.

Main Results:

• Development of a patented intelligent domestic hot water system.
• Significant reduction in energy consumption through disjointed heating intervals.
• Enhanced system reliability via early fault detection for preventive maintenance.

Conclusions:

• The intelligent domestic hot water system effectively reduces energy consumption.
• Propositional dynamic logic provides a robust framework for qualitative control in energy efficiency.
• The system offers a practical solution for energy-saving and predictive maintenance in domestic hot water supply.