Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Inductive Reasoning00:59

Inductive Reasoning

63.1K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
63.1K
Deductive Reasoning01:16

Deductive Reasoning

60.1K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
60.1K
Signal Flow Graphs01:18

Signal Flow Graphs

323
Signal-flow graphs offer a streamlined and intuitive approach to representing control systems, providing an alternative to traditional block diagrams. These graphs use branches to symbolize systems and nodes to represent signals, effectively illustrating the relationships and interactions within the system.
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
323
Automatic Processing and Automatic Social Behavior01:28

Automatic Processing and Automatic Social Behavior

4
Automatic processing refers to the cognitive operations that occur without conscious intent or awareness, playing a fundamental role in shaping social cognition and behavior. These processes enable individuals to navigate complex social environments efficiently by relying on mental shortcuts and pre-existing knowledge structures known as schemas. One of the most influential mechanisms underlying automatic processing is priming, which subtly activates mental representations through exposure to...
4
Multi-input and Multi-variable systems01:22

Multi-input and Multi-variable systems

162
Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence...
162
Statically Indeterminate Problem Solving01:16

Statically Indeterminate Problem Solving

508
Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...
508

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Stabilized Multicolor CsPbBr<sub>3-<i>x</i></sub> I <sub><i>x</i></sub> Nanocrystals via Ca-I Scorpionate Capping for Down-Light Converters.

ACS applied optical materials·2026
Same author

Steatotic Liver Disease at Primary Biliary Cholangitis Diagnosis: Association With Ursodeoxycholic Acid Response and Outcomes.

Liver international : official journal of the International Association for the Study of the Liver·2026
Same author

Sustainable Synthesis of Bio-Based Oligoesters via ROCOP Reaction of Epoxidized Vegetable Oils with Cyclic Anhydrides Catalyzed by Ionic Liquids.

Biomacromolecules·2026
Same author

Enzymology of the metazoan tRNA ligase complex: a lifetime in cycles.

Cellular and molecular life sciences : CMLS·2026
Same author

Gestational and Congenital Tuberculosis Case Report: A Dual Fatal Vertical Transmission.

Pediatric pulmonology·2026
Same author

Ocular adnexa follicular lymphoma: clinicopathological study of 23 patients.

Virchows Archiv : an international journal of pathology·2026
Same journal

RETRACTED: Zhang et al. A Novel Framework for Reconstruction and Imaging of Target Scattering Centers via Wide-Angle Incidence in Radar Networks. <i>Sensors</i> 2025, <i>25</i>, 6802.

Sensors (Basel, Switzerland)·2026
Same journal

Enhancing Unsupervised Multi-Source Domain Adaptation for Person Re-Identification via Mixture of Experts and Graph-Based Relation.

Sensors (Basel, Switzerland)·2026
Same journal

Development of an Instrumented Glove for Palmar Pressure Assessment in Kayakers.

Sensors (Basel, Switzerland)·2026
Same journal

Development and Experimental Validation of an Autonomous IoT-Based Monitoring System for Real-Time Water Quality Assessment in the Amazon River.

Sensors (Basel, Switzerland)·2026
Same journal

Semi-Supervised Adversarial Learning Framework for Controller Area Network Bus Intrusion Detection.

Sensors (Basel, Switzerland)·2026
Same journal

Smart Optimization Method for Safety Signs in Innovative Manufacturing Environments Integrating Industrial Field IoT Sensors and Knowledge Graphs.

Sensors (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Sep 21, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

672

Smart Sensorization Using Propositional Dynamic Logic.

Salvador Merino1, Alfredo Burrieza2, Francisco Guzman3

  • 1Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain.

Sensors (Basel, Switzerland)
|May 28, 2022
PubMed
Summary
This summary is machine-generated.

This study introduces an intelligent domestic hot water system that significantly cuts energy use. It uses artificial intelligence and propositional dynamic logic for efficient, automated heating control, reducing costs and improving maintenance.

Keywords:
domestic hot waterdomoticlogicqualitative reasoningsolar water heating

More Related Videos

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins
10:46

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins

Published on: October 18, 2022

1.9K
The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

11.8K

Related Experiment Videos

Last Updated: Sep 21, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

672
Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins
10:46

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins

Published on: October 18, 2022

1.9K
The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

11.8K

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.