{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:24:28Z","timestamp":1760228668678,"version":"build-2065373602"},"reference-count":32,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2022,5,20]],"date-time":"2022-05-20T00:00:00Z","timestamp":1653004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>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 applied to a conventional water tank in such a way as to minimize the necessary energy supply by converting it, under certain circumstances, into atmospheric. For this purpose, the domotic system has been equipped with sensors that automate the pressurization of the compartment and solenoid valves that regulate the external water supply. This design, to which different level sensors are applied, sends the information in real time to an artificial intelligence system, by means of deductive control, which recognizes the states of the system. This work shows the introduction of an extension of propositional dynamic logic in the field of energy efficiency. Thanks to this formalism, a qualitative control of the program variables is achieved by incorporating qualitative reasoning tools. On the other hand, it solves preventive maintenance systems through the early detection of faults in the installation. This research has led to the patenting of an intelligent domestic hot water system that considerably reduces energy consumption by setting disjointed heating intervals that, powered by renewable or non-renewable sources, are controlled by a propositional dynamic logic.<\/jats:p>","DOI":"10.3390\/s22103899","type":"journal-article","created":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T09:18:08Z","timestamp":1653124688000},"page":"3899","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Smart Sensorization Using Propositional Dynamic Logic"],"prefix":"10.3390","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8361-1047","authenticated-orcid":false,"given":"Salvador","family":"Merino","sequence":"first","affiliation":[{"name":"Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Burrieza","sequence":"additional","affiliation":[{"name":"Department of Philosophy, University of Malaga, 29071 Malaga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4366-8241","authenticated-orcid":false,"given":"Francisco","family":"Guzman","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Malaga, 29071 Malaga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Martinez","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,5,20]]},"reference":[{"key":"ref_1","unstructured":"Guzm\u00e1n, F., and Merino, S. (2015). Dom\u00f3tica: Gesti\u00f3n de la Energ\u00eda y Gesti\u00f3n T\u00e9cnica de Edificios, RA-MA Editorial."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1016\/S0927-0248(02)00134-4","article-title":"Simulation of I\u2013V characteristics of a PV module with shaded PV cells","volume":"75","author":"Kawamura","year":"2003","journal-title":"Sol. Energy Mater. Sol. Cells"},{"key":"ref_3","first-page":"170","article-title":"Metadomotic optimization using genetic algorithms","volume":"267","author":"Merino","year":"2015","journal-title":"Appl. Math. Comput."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.solener.2015.05.009","article-title":"Experimental observations on hot-spots and derived acceptance\/rejection criteria","volume":"118","author":"Lorenzo","year":"2015","journal-title":"Sol. Energy"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.apenergy.2014.02.052","article-title":"A method for simulating large PV arrays that include reverse biased cells","volume":"123","author":"Orozco","year":"2014","journal-title":"Appl. Energy"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MIE.2014.2360721","article-title":"Control of Photovoltaic Arrays, Dynamical Reconfiguration for Fighting Mismatched Conditions and Meeting Load Requests","volume":"9","author":"Petrone","year":"2015","journal-title":"IEEE Ind. Electron. Mag."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"1210","DOI":"10.1109\/JPHOTOV.2016.2581481","article-title":"Optimized Configuration of Mismatched Photovoltaic Arrays","volume":"6","author":"Spagnuolo","year":"2016","journal-title":"IEEE J. Photovolt."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"2215","DOI":"10.1109\/TIM.2014.2308972","article-title":"PLC-Based PV Plants Smart Monitoring System: Field Measurements and Uncertainty Estimation","volume":"63","author":"Heredia","year":"2014","journal-title":"IEEE Trans. Instrum. Meas."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11134-016-9497-7","article-title":"Steady-state analysis of shortest expected delay routing","volume":"84","author":"Selen","year":"2016","journal-title":"Queueing Syst."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1016\/0038-092X(96)00006-0","article-title":"Numerical simulation of current-voltage characteristics of photovoltaic systems with shaded solar cells","volume":"56","author":"Quashing","year":"1996","journal-title":"Sol. Energy"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1142\/S0218488511007064","article-title":"Recent advances in Fuzzy Qualitative Reasoning","volume":"19","author":"Chan","year":"2011","journal-title":"Int. J. Uncertainty Fuzziness Knowl. Based Syst."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Chavez, G., Zerkle, D., Key, B., and Shevitz, D. (2011, January 18\u201320). Relating confidence to measured information uncertainty in qualitative reasoning. Proceedings of the 2011 Annual Meeting of the North American Information Processing Society, El Paso, TX, USA.","DOI":"10.1109\/NAFIPS.2011.5751910"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1016\/j.ins.2005.01.021","article-title":"Qualitative reasoning about consistency in geographic information","volume":"176","author":"Duckham","year":"2006","journal-title":"Inf. Sci."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0921-8890(91)90014-C","article-title":"A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations","volume":"8","author":"Kuipers","year":"1991","journal-title":"Robot. Auton. Syst."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"808","DOI":"10.1109\/TFUZZ.2007.905922","article-title":"Fuzzy qualitative robot kinematics","volume":"16","author":"Liu","year":"2008","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/j.artint.2011.10.003","article-title":"Qualitative reasoning about relative direction of oriented points","volume":"180","author":"Mossakowski","year":"2012","journal-title":"Artif. Intell."},{"key":"ref_17","first-page":"694","article-title":"Making fuzzy absolute and fuzzy relative orders of magnitude consistent","volume":"2003","author":"Dubois","year":"2003","journal-title":"Fuzzy Sets Syst."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/TFUZZ.2002.806313","article-title":"Qualitative reasoning based on fuzzy relative orders of magnitude","volume":"11","author":"Ali","year":"2003","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"ref_19","first-page":"58","article-title":"Modelos cualitativos de \u00f3rdenes de magnitud: Introducci\u00f3n a los modelos mixtos","volume":"4","author":"Agell","year":"2000","journal-title":"Rev. Iberoam. Intel. Artif."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/BFb0041212","article-title":"Fuzzy arithmetic in qualitative reasoning","volume":"121","author":"Dubois","year":"1989","journal-title":"Model. Control. Syst."},{"key":"ref_21","first-page":"1261","article-title":"The orders of magnitude models as qualitative algebras","volume":"2","author":"Piera","year":"1989","journal-title":"Proc. Elev. Ijcai"},{"key":"ref_22","unstructured":"Piera, N., S\u00e1nchez, M., and Trav\u00e9-Massuy\u00e8s, L. (1991, January 22\u201326). Qualitative operators for order of magnitude calculus: Robustness and precision. Proceedings of the 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., and Tyurin, J. (2000). Dynamic Logic, MIT Press.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","article-title":"An overview of transaction logic","volume":"133","author":"Bonner","year":"1994","journal-title":"Theor. Comput. Sci."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic\u2013based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Gener. Comput."},{"key":"ref_26","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume":"Volume 4","author":"Meltzer","year":"1969","journal-title":"Machine Intelligence"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0022-0000(80)90061-6","article-title":"A near-optimal method for reasoning about action","volume":"20","author":"Pratt","year":"1980","journal-title":"J. Comput. Syst. Sci."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/978-3-642-02959-2_32","article-title":"An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability","volume":"5663","author":"Widmann","year":"2009","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1006\/inco.1999.2852","article-title":"Combining deduction and model checking into tableaux and algoritms for converse\u2014PDL","volume":"162","author":"Massacci","year":"2000","journal-title":"Inf. Comput."},{"key":"ref_30","unstructured":"Hudstadt, U., and Schmidt, R.A. (2012, January 14). A comparison of solvers for propositional dynamic logic. Proceedings of the Second International Workshop on Practical Aspects of Automated Reasoning (PAAR-2010), Edinburgh, UK."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.jal.2005.08.002","article-title":"Model checking propositional dynamic logic with all extras","volume":"4","author":"Lange","year":"2006","journal-title":"J. Appl. Log."},{"key":"ref_32","unstructured":"Burrieza, A., Guzm\u00e1n, F., Mart\u00ednez, J., and Merino, S. (2017). Acumulador, Sistema y Procedimiento Para Proporcionar Agua Caliente Sanitaria. (ES2627209B2), Patent."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/10\/3899\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T23:15:45Z","timestamp":1760138145000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/22\/10\/3899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,20]]},"references-count":32,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2022,5]]}},"alternative-id":["s22103899"],"URL":"https:\/\/doi.org\/10.3390\/s22103899","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2022,5,20]]}}}