{"id":"https://openalex.org/W4281257697","doi":"https://doi.org/10.3390/s22103899","title":"Smart Sensorization Using Propositional Dynamic Logic","display_name":"Smart Sensorization Using Propositional Dynamic Logic","publication_year":2022,"publication_date":"2022-05-20","ids":{"openalex":"https://openalex.org/W4281257697","doi":"https://doi.org/10.3390/s22103899","pmid":"https://pubmed.ncbi.nlm.nih.gov/35632307"},"language":"en","primary_location":{"id":"doi:10.3390/s22103899","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s22103899","pdf_url":"https://www.mdpi.com/1424-8220/22/10/3899/pdf?version=1653295097","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/22/10/3899/pdf?version=1653295097","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016991315","display_name":"Salvador Merino C\u00f3rdoba","orcid":"https://orcid.org/0000-0002-8361-1047"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Salvador Merino","raw_affiliation_strings":["Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain"],"raw_orcid":"https://orcid.org/0000-0002-8361-1047","affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019787734","display_name":"Alfredo Burrieza","orcid":"https://orcid.org/0000-0002-2033-6033"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alfredo Burrieza","raw_affiliation_strings":["Department of Philosophy, University of Malaga, 29071 Malaga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Malaga, 29071 Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026011348","display_name":"Francisco Guzm\u00e1n","orcid":"https://orcid.org/0000-0002-4366-8241"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco Guzman","raw_affiliation_strings":["Department of Electrical Engineering, University of Malaga, 29071 Malaga, Spain"],"raw_orcid":"https://orcid.org/0000-0002-4366-8241","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of Malaga, 29071 Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038407975","display_name":"J. Mart\u00ednez","orcid":null},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Javier Martinez","raw_affiliation_strings":["Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, University of Malaga, 29071 Malaga, Spain","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016991315"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":0.1312,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50254635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":"10","first_page":"3899","last_page":"3899"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9817000031471252,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/renewable-energy","display_name":"Renewable energy","score":0.5953149795532227},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5714312195777893},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.48421216011047363},{"id":"https://openalex.org/keywords/solenoid-valve","display_name":"Solenoid valve","score":0.4458605647087097},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4405049979686737},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2423502802848816},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20193415880203247},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.16020584106445312},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.15419867634773254},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09379687905311584}],"concepts":[{"id":"https://openalex.org/C188573790","wikidata":"https://www.wikidata.org/wiki/Q12705","display_name":"Renewable energy","level":2,"score":0.5953149795532227},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5714312195777893},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.48421216011047363},{"id":"https://openalex.org/C2777112803","wikidata":"https://www.wikidata.org/wiki/Q1430621","display_name":"Solenoid valve","level":2,"score":0.4458605647087097},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4405049979686737},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2423502802848816},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20193415880203247},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.16020584106445312},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.15419867634773254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09379687905311584}],"mesh":[{"descriptor_ui":"D001185","descriptor_name":"Artificial Intelligence","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D001185","descriptor_name":"Artificial Intelligence","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D001185","descriptor_name":"Artificial Intelligence","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D014867","descriptor_name":"Water","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014867","descriptor_name":"Water","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014867","descriptor_name":"Water","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014881","descriptor_name":"Water Supply","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014881","descriptor_name":"Water Supply","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D014881","descriptor_name":"Water Supply","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false}],"locations_count":6,"locations":[{"id":"doi:10.3390/s22103899","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s22103899","pdf_url":"https://www.mdpi.com/1424-8220/22/10/3899/pdf?version=1653295097","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:35632307","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/35632307","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:doaj.org/article:7bfd35d8adb04719aac57b2e49b9465f","is_oa":true,"landing_page_url":"https://doaj.org/article/7bfd35d8adb04719aac57b2e49b9465f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 22, Iss 10, p 3899 (2022)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1424-8220/22/10/3899/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/s22103899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors; Volume 22; Issue 10; Pages: 3899","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:9146776","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/9146776","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"},{"id":"pmh:oai:riuma.uma.es:10630/24478","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/24478","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.3390/s22103899","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s22103899","pdf_url":"https://www.mdpi.com/1424-8220/22/10/3899/pdf?version=1653295097","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.9100000262260437}],"awards":[],"funders":[{"id":"https://openalex.org/F4320311265","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281257697.pdf","grobid_xml":"https://content.openalex.org/works/W4281257697.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W18729091","https://openalex.org/W395172909","https://openalex.org/W606177412","https://openalex.org/W1572803329","https://openalex.org/W1978289112","https://openalex.org/W1995080554","https://openalex.org/W1997716585","https://openalex.org/W2018074121","https://openalex.org/W2036416076","https://openalex.org/W2066550547","https://openalex.org/W2068283977","https://openalex.org/W2075193550","https://openalex.org/W2086545305","https://openalex.org/W2087882226","https://openalex.org/W2117221156","https://openalex.org/W2138162238","https://openalex.org/W2145369884","https://openalex.org/W2151405033","https://openalex.org/W2153913867","https://openalex.org/W2166340834","https://openalex.org/W2167823946","https://openalex.org/W2169913858","https://openalex.org/W2239451092","https://openalex.org/W2467120051","https://openalex.org/W2528221967","https://openalex.org/W2899987233","https://openalex.org/W4239007999","https://openalex.org/W6618622525","https://openalex.org/W6634297198","https://openalex.org/W6647561903"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W2091377654","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"The":[0],"current":[1],"high":[2],"energy":[3,51,136,191],"prices":[4],"pose":[5],"a":[6,33,38,44,142,208],"serious":[7],"challenge,":[8],"especially":[9],"in":[10,42,100,132,171],"the":[11,19,49,64,74,77,84,98,115,118,123,133,146,157,166,172,179],"domestic":[12,24,184],"economy.":[13],"In":[14],"this":[15,28,30,62,140],"respect,":[16],"one":[17],"of":[18,76,110,117,125,128,135,145,169,181],"main":[20],"problems":[21],"is":[22,149],"obtaining":[23],"hot":[25,185],"water.":[26],"For":[27,61],"reason,":[29],"article":[31],"develops":[32],"heating":[34,196],"system":[35,66,187],"applied":[36],"to":[37,47,90,103,139,178],"conventional":[39],"water":[40,86,186],"tank":[41],"such":[43],"way":[45],"as":[46],"minimize":[48],"necessary":[50],"supply":[52],"by":[53,108,151,193,200,207],"converting":[54],"it,":[55],"under":[56],"certain":[57],"circumstances,":[58],"into":[59],"atmospheric.":[60],"purpose,":[63],"domotic":[65],"has":[67,176],"been":[68],"equipped":[69],"with":[70],"sensors":[71,94],"that":[72,82,188],"automate":[73],"pressurization":[75],"compartment":[78],"and":[79],"solenoid":[80],"valves":[81],"regulate":[83],"external":[85],"supply.":[87],"This":[88,120,174],"design,":[89],"which":[91,113],"different":[92],"level":[93],"are":[95,205],"applied,":[96],"sends":[97],"information":[99],"real":[101],"time":[102],"an":[104,126,182],"artificial":[105],"intelligence":[106],"system,":[107],"means":[109],"deductive":[111],"control,":[112],"recognizes":[114],"states":[116],"system.":[119],"work":[121],"shows":[122],"introduction":[124],"extension":[127],"propositional":[129,209],"dynamic":[130,210],"logic":[131],"field":[134],"efficiency.":[137],"Thanks":[138],"formalism,":[141],"qualitative":[143,153],"control":[144],"program":[147],"variables":[148],"achieved":[150],"incorporating":[152],"reasoning":[154],"tools.":[155],"On":[156],"other":[158],"hand,":[159],"it":[160],"solves":[161],"preventive":[162],"maintenance":[163],"systems":[164],"through":[165],"early":[167],"detection":[168],"faults":[170],"installation.":[173],"research":[175],"led":[177],"patenting":[180],"intelligent":[183],"considerably":[189],"reduces":[190],"consumption":[192],"setting":[194],"disjointed":[195],"intervals":[197],"that,":[198],"powered":[199],"renewable":[201],"or":[202],"non-renewable":[203],"sources,":[204],"controlled":[206],"logic.":[211]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}