• Smart Sensorization Using Propositional Dynamic Logic 

      Merino-Cordoba, Salvador; Burrieza-Muñiz, Alfredo; Guzman-Navarro, Francisco; Martinez, Javier (IOAP-MPDI, 2022-05-20)
      The current high energy prices pose a serious challenge, especially in the domestic economy. In this respect, one of the main problems is obtaining domestic hot water. For this reason, this article develops a heating system ...