{"id":"https://openalex.org/W2897283160","doi":"https://doi.org/10.1109/icccn.2018.8487444","title":"Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices","display_name":"Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2897283160","doi":"https://doi.org/10.1109/icccn.2018.8487444","mag":"2897283160"},"language":"en","primary_location":{"id":"doi:10.1109/icccn.2018.8487444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccn.2018.8487444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 27th International Conference on Computer Communication and Networks (ICCCN)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042183375","display_name":"Toshifusa Sekizawa","orcid":"https://orcid.org/0000-0003-2001-0073"},"institutions":[{"id":"https://openalex.org/I104946051","display_name":"Nihon University","ror":"https://ror.org/05jk51a88","country_code":"JP","type":"education","lineage":["https://openalex.org/I104946051"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshifusa Sekizawa","raw_affiliation_strings":["College of Engineering, Nihon University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, Nihon University, Japan","institution_ids":["https://openalex.org/I104946051"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069940028","display_name":"Taiju Mikoshi","orcid":"https://orcid.org/0000-0002-5651-8891"},"institutions":[{"id":"https://openalex.org/I104946051","display_name":"Nihon University","ror":"https://ror.org/05jk51a88","country_code":"JP","type":"education","lineage":["https://openalex.org/I104946051"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Taiju Mikoshi","raw_affiliation_strings":["College of Engineering, Nihon University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, Nihon University, Japan","institution_ids":["https://openalex.org/I104946051"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027383161","display_name":"Masataka Nagura","orcid":null},"institutions":[{"id":"https://openalex.org/I119031078","display_name":"Nanzan University","ror":"https://ror.org/042b6j696","country_code":"JP","type":"education","lineage":["https://openalex.org/I119031078"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masataka Nagura","raw_affiliation_strings":["Faculty of Science and Engineering, Nanzan University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Engineering, Nanzan University, Japan","institution_ids":["https://openalex.org/I119031078"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052168803","display_name":"Ryo Watanabe","orcid":"https://orcid.org/0000-0002-2224-6277"},"institutions":[{"id":"https://openalex.org/I104946051","display_name":"Nihon University","ror":"https://ror.org/05jk51a88","country_code":"JP","type":"education","lineage":["https://openalex.org/I104946051"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryo Watanabe","raw_affiliation_strings":["Graduate School of Engineering, Nihon University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Engineering, Nihon University, Japan","institution_ids":["https://openalex.org/I104946051"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033326056","display_name":"Qian Chen","orcid":"https://orcid.org/0000-0002-0130-5901"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qian Chen","raw_affiliation_strings":["Department of Electrical & Computer Engineering, The University of Texas at San Antonio, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, The University of Texas at San Antonio, USA","institution_ids":["https://openalex.org/I45438204"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6435,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72855857,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"6806","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/computer-science","display_name":"Computer science","score":0.8074594736099243},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5371232032775879},{"id":"https://openalex.org/keywords/default-gateway","display_name":"Default gateway","score":0.5369213819503784},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5214804410934448},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.5196296572685242},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.499664306640625},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4651504456996918},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4605395793914795},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4567815065383911},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4128977060317993},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2741319537162781},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1811772882938385},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11185923218727112}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8074594736099243},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5371232032775879},{"id":"https://openalex.org/C187713609","wikidata":"https://www.wikidata.org/wiki/Q2465461","display_name":"Default gateway","level":2,"score":0.5369213819503784},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5214804410934448},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.5196296572685242},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.499664306640625},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4651504456996918},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4605395793914795},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4567815065383911},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4128977060317993},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2741319537162781},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1811772882938385},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11185923218727112},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icccn.2018.8487444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icccn.2018.8487444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 27th International Conference on Computer Communication and Networks (ICCCN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Zero hunger","score":0.5,"id":"https://metadata.un.org/sdg/2"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320337743","display_name":"Office of Sex Offender Sentencing, Monitoring, Apprehending, Registering, and Tracking","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W1622592921","https://openalex.org/W1862398452","https://openalex.org/W1967294943","https://openalex.org/W2021107706","https://openalex.org/W2144099677","https://openalex.org/W2510760901","https://openalex.org/W2767839577","https://openalex.org/W2775793149","https://openalex.org/W2780736903","https://openalex.org/W2793199801","https://openalex.org/W6638944184","https://openalex.org/W6726016674"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W4245926026","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W3150465815","https://openalex.org/W4210711442","https://openalex.org/W3048640223"],"abstract_inverted_index":{"The":[0,16],"Internet":[1],"of":[2,64,87,89,99,146],"Things":[3],"(IoT)":[4],"has":[5],"been":[6],"applied":[7],"to":[8,61,83,107,133,154,159],"home/office,":[9],"healthcare,":[10],"intelligent":[11],"transportation":[12],"and":[13,23,35,40,75,102,115,167],"agriculture":[14],"systems.":[15],"new":[17],"IoT":[18,50,65,91,100,105,127,139,161],"technology":[19],"are":[20,44],"growing":[21],"rapidly":[22],"will":[24],"play":[25],"an":[26],"essential":[27],"role":[28],"in":[29,72],"our":[30],"future":[31],"societal":[32],"lifestyle,":[33],"economy":[34],"business.":[36],"Currently,":[37],"power":[38,140],"hungry":[39],"radio":[41],"wave":[42],"interference":[43],"two":[45],"big":[46],"challenges":[47],"hindering":[48],"the":[49,80,85,90,119,135,144,147],"development.":[51],"In":[52],"this":[53,156],"study,":[54],"we":[55,150],"propose":[56],"a":[57,73,125,130],"Markov":[58],"localization":[59],"algorithm":[60],"estimate":[62],"positions":[63,88,98],"devices":[66,101],"considering":[67],"various":[68],"gateway":[69],"allocation":[70],"scenarios":[71],"widespread":[74],"boundaryless":[76],"field.":[77],"We":[78,123],"adopt":[79],"model-checking":[81],"technique":[82],"validate":[84,134],"convergence":[86],"devices.":[92],"Our":[93],"approach":[94,158],"can":[95],"accurately":[96],"identify":[97],"connect":[103],"each":[104],"node":[106],"its":[108],"nearest":[109],"gateways":[110],"for":[111],"sending":[112],"sensing":[113],"data":[114],"receiving":[116],"commands":[117],"from":[118],"cloud":[120],"computing":[121],"resources.":[122],"use":[124],"cattle-breeding":[126],"network":[128],"as":[129,164],"case":[131],"study":[132],"proposed":[136],"approach,which":[137],"reduces":[138],"consumption":[141],"while":[142],"enhancing":[143],"connectivity":[145],"network.":[148],"Additionally,":[149],"also":[151],"discuss":[152],"how":[153],"apply":[155],"simple":[157],"real-world":[160],"networks":[162],"such":[163],"smart":[165],"home":[166],"vehicular":[168],"ad-hoc":[169],"networks.":[170]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}