{"id":"https://openalex.org/W3136836759","doi":"https://doi.org/10.1109/iros51168.2021.9636582","title":"Sensor selection for detecting deviations from a planned itinerary","display_name":"Sensor selection for detecting deviations from a planned itinerary","publication_year":2021,"publication_date":"2021-09-27","ids":{"openalex":"https://openalex.org/W3136836759","doi":"https://doi.org/10.1109/iros51168.2021.9636582","mag":"3136836759"},"language":"en","primary_location":{"id":"doi:10.1109/iros51168.2021.9636582","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros51168.2021.9636582","pdf_url":null,"source":{"id":"https://openalex.org/S4363607734","display_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","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/A5009459595","display_name":"Hazhar Rahmani","orcid":"https://orcid.org/0000-0002-6342-2273"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hazhar Rahmani","raw_affiliation_strings":["University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035574727","display_name":"Dylan A. Shell","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dylan A. Shell","raw_affiliation_strings":["Texas A&M University, College Station, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Texas A&M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089976123","display_name":"Jason M. O\u2019Kane","orcid":"https://orcid.org/0000-0002-1536-4822"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason M. O'Kane","raw_affiliation_strings":["University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009459595"],"corresponding_institution_ids":["https://openalex.org/I155781252"],"apc_list":null,"apc_paid":null,"fwci":1.4183,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77970012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"6511","last_page":"6518"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9970999956130981,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7067232131958008},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6143962740898132},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5877321362495422},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5443664193153381},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5408090353012085},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.4805600941181183},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.47587624192237854},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4488973617553711},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4479246139526367},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4460785388946533},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.440701961517334},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.4328463673591614},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.387043297290802},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3441833555698395},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19275489449501038},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12914550304412842},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11542776226997375},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09915676712989807}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7067232131958008},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6143962740898132},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5877321362495422},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5443664193153381},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5408090353012085},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.4805600941181183},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.47587624192237854},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4488973617553711},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4479246139526367},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4460785388946533},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.440701961517334},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4328463673591614},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.387043297290802},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3441833555698395},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19275489449501038},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12914550304412842},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11542776226997375},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09915676712989807},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros51168.2021.9636582","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros51168.2021.9636582","pdf_url":null,"source":{"id":"https://openalex.org/S4363607734","display_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W62741668","https://openalex.org/W1576174958","https://openalex.org/W1609747062","https://openalex.org/W1985787415","https://openalex.org/W2004239125","https://openalex.org/W2094658339","https://openalex.org/W2132443513","https://openalex.org/W2156530413","https://openalex.org/W2178951833","https://openalex.org/W2401610261","https://openalex.org/W2805386500","https://openalex.org/W2943148875","https://openalex.org/W3097642714","https://openalex.org/W3174608914","https://openalex.org/W4232532632","https://openalex.org/W6636181345"],"related_works":["https://openalex.org/W2084086966","https://openalex.org/W2023861399","https://openalex.org/W8302103","https://openalex.org/W1925942709","https://openalex.org/W2047683846","https://openalex.org/W2044902158","https://openalex.org/W2082154838","https://openalex.org/W2109912052","https://openalex.org/W1976332671","https://openalex.org/W1711527768"],"abstract_inverted_index":{"Suppose":[0],"an":[1,9,166,171],"agent":[2,16],"asserts":[3],"that":[4,80,114,177],"it":[5],"will":[6],"move":[7],"through":[8],"environment":[10],"in":[11,29,42,76,97],"some":[12],"way.":[13],"When":[14],"the":[15,24,49,52,81,103,105,138,143,153],"executes":[17],"its":[18,87,189],"motion,":[19],"how":[20,71],"does":[21,84],"one":[22,196],"verify":[23],"claim?":[25],"The":[26],"problem":[27,182],"arises":[28],"a":[30,61,123,134],"range":[31],"of":[32,57,63,111,116,133,155,180,184],"contexts":[33],"including":[34,195],"validating":[35],"safety":[36],"claims":[37],"about":[38],"robot":[39],"behavior,":[40],"applications":[41],"security":[43],"and":[44,46,51,55,113,164],"surveillance,":[45],"for":[47,158],"both":[48],"conception":[50],"(physical)":[53],"design":[54],"logistics":[56],"scientific":[58],"experiments.":[59],"Given":[60],"set":[62],"feasible":[64],"sensors":[65,74,141],"to":[66,72,78],"select":[67],"from,":[68],"we":[69],"ask":[70],"choose":[73],"optimally":[75],"order":[77],"ensure":[79],"agent\u2019s":[82],"execution":[83],"indeed":[85],"fit":[86],"pre-disclosed":[88],"itinerary.":[89],"Our":[90],"treatment":[91],"is":[92,178],"distinguished":[93],"from":[94],"prior":[95],"work":[96],"sensor":[98,117,156],"selection":[99,157],"by":[100,198],"two":[101],"aspects:":[102],"form":[104],"itinerary":[106,159],"takes":[107],"(a":[108],"regular":[109],"language":[110],"transitions)":[112],"families":[115],"choices":[118],"can":[119,146],"be":[120],"grouped":[121],"as":[122],"single":[124],"choice.":[125],"Both":[126],"are":[127],"intimately":[128],"tied":[129],"together,":[130],"permitting":[131],"construction":[132],"product":[135],"automaton":[136],"because":[137],"same":[139,144],"physical":[140],"(i.e.,":[142],"choice)":[145],"appear":[147],"multiple":[148],"times.":[149],"This":[150],"paper":[151],"establishes":[152],"hardness":[154],"validation":[160],"within":[161],"this":[162],"treatment,":[163],"proposes":[165],"exact":[167],"algorithm":[168],"based":[169],"on":[170,191],"integer":[172],"linear":[173],"programming":[174],"(ILP)":[175],"formulation":[176],"capable":[179],"solving":[181],"instances":[183],"moderate":[185],"size.":[186],"We":[187],"demonstrate":[188],"efficacy":[190],"small-scale":[192],"case":[193],"studies,":[194],"motivated":[197],"wildlife":[199],"tracking.":[200]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-05-12T06:07:45.972803","created_date":"2025-10-10T00:00:00"}