{"id":"https://openalex.org/W2121949800","doi":"https://doi.org/10.1109/icra.2012.6224932","title":"Provably safe navigation for mobile robots with limited field-of-views in unknown dynamic environments","display_name":"Provably safe navigation for mobile robots with limited field-of-views in unknown dynamic environments","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2121949800","doi":"https://doi.org/10.1109/icra.2012.6224932","mag":"2121949800"},"language":"en","primary_location":{"id":"doi:10.1109/icra.2012.6224932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2012.6224932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00768527","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076861345","display_name":"Sara Bouraine","orcid":"https://orcid.org/0000-0002-7656-844X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sara Bouraine","raw_affiliation_strings":["CDTA, AL, USA","CDTA (AL)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CDTA, AL, USA","institution_ids":[]},{"raw_affiliation_string":"CDTA (AL)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059766281","display_name":"Thierry Fraichard","orcid":"https://orcid.org/0000-0002-0763-3260"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thierry Fraichard","raw_affiliation_strings":["INRIA, France","INRIA, FR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"INRIA, FR","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036874351","display_name":"H. Salhi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hassen Salhi","raw_affiliation_strings":["Blida University, AL, USA","Blida Univ. (AL)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Blida University, AL, USA","institution_ids":[]},{"raw_affiliation_string":"Blida Univ. (AL)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1106,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.80990064,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"174","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":1.0,"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"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/collision","display_name":"Collision","score":0.7483962774276733},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.6900138854980469},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.6796749234199524},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.6737610697746277},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6591523289680481},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5959133505821228},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.5906134247779846},{"id":"https://openalex.org/keywords/rest","display_name":"Rest (music)","score":0.5149267911911011},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5120139718055725},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49411752820014954},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3992815315723419},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.35692769289016724},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3352097272872925},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2713976502418518},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18327093124389648},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.154896080493927},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1199810802936554},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0935262143611908},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.08432582020759583},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07344737648963928}],"concepts":[{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.7483962774276733},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6900138854980469},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.6796749234199524},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.6737610697746277},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6591523289680481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5959133505821228},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.5906134247779846},{"id":"https://openalex.org/C77265313","wikidata":"https://www.wikidata.org/wiki/Q879844","display_name":"Rest (music)","level":2,"score":0.5149267911911011},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5120139718055725},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49411752820014954},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3992815315723419},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.35692769289016724},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3352097272872925},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2713976502418518},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18327093124389648},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.154896080493927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1199810802936554},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0935262143611908},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.08432582020759583},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07344737648963928},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icra.2012.6224932","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2012.6224932","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00768527v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00768527","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ICRA 2012 - IEEE International Conference on Robotics and Automation, May 2012, Saint Paul, MN, United States. pp.174-179, ⟨10.1109/ICRA.2012.6224932⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00768527v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00768527","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ICRA 2012 - IEEE International Conference on Robotics and Automation, May 2012, Saint Paul, MN, United States. pp.174-179, ⟨10.1109/ICRA.2012.6224932⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W194070048","https://openalex.org/W1424654272","https://openalex.org/W1763528081","https://openalex.org/W1832634970","https://openalex.org/W1839510822","https://openalex.org/W1977791508","https://openalex.org/W1979743043","https://openalex.org/W2000790002","https://openalex.org/W2002440441","https://openalex.org/W2003835006","https://openalex.org/W2004815408","https://openalex.org/W2030558783","https://openalex.org/W2032681112","https://openalex.org/W2036016432","https://openalex.org/W2042225474","https://openalex.org/W2055891854","https://openalex.org/W2056549180","https://openalex.org/W2066328379","https://openalex.org/W2083093559","https://openalex.org/W2091307069","https://openalex.org/W2117211893","https://openalex.org/W2121204166","https://openalex.org/W2121949800","https://openalex.org/W2124651605","https://openalex.org/W2126200703","https://openalex.org/W2130610946","https://openalex.org/W2133099608","https://openalex.org/W2136264806","https://openalex.org/W2141698884","https://openalex.org/W2142943472","https://openalex.org/W2146487268","https://openalex.org/W2150495833","https://openalex.org/W2151386100","https://openalex.org/W2155974215","https://openalex.org/W2165216595","https://openalex.org/W2167869989","https://openalex.org/W2402106645","https://openalex.org/W2611243847","https://openalex.org/W6607893141","https://openalex.org/W6679650830"],"related_works":["https://openalex.org/W4388147713","https://openalex.org/W4205145096","https://openalex.org/W2977909229","https://openalex.org/W2359059303","https://openalex.org/W3194775706","https://openalex.org/W3110334367","https://openalex.org/W1819938260","https://openalex.org/W2340892746","https://openalex.org/W3005999311","https://openalex.org/W3042530408"],"abstract_inverted_index":{"This":[0],"paper":[1,143,157],"addresses":[2],"the":[3,64,79,93,98,159],"problem":[4],"of":[5,49,78,97,155,162],"navigating":[6],"a":[7,11,15,21,46,60,76,100,133,137,145],"mobile":[8],"robot":[9,65],"with":[10],"limited":[12],"field-of-view":[13],"in":[14,168],"unknown":[16],"dynamic":[17],"environment.":[18],"In":[19],"such":[20,27,90],"situation,":[22],"absolute":[23],"motion":[24,50,54,71,109,165],"safety,":[25],"i.e.":[26,88,127],"that":[28,130],"no":[29],"collision":[30,61,101,147],"will":[31,66],"ever":[32],"take":[33],"place":[34],"whatever":[35,92],"happens,":[36],"is":[37,42,73,105,111,136,158],"impossible":[38],"to":[39],"guarantee.":[40],"It":[41],"therefore":[43],"settled":[44],"for":[45],"weaker":[47],"level":[48],"safety":[51,72,110],"dubbed":[52],"passive":[53,164],"safety:":[55],"it":[56,104],"guarantees":[57],"that,":[58,91],"if":[59,132],"takes":[62],"place,":[63],"be":[67],"at":[68,106,118],"rest.":[69,107],"Passive":[70,108],"tackled":[74],"using":[75],"variant":[77],"Inevitable":[80],"Collision":[81],"State":[82],"(ICS)":[83],"concept":[84],"called":[85,150],"Braking":[86,116,125,138],"ICS,":[87],"states":[89],"future":[94],"braking":[95],"trajectory":[96],"robot,":[99],"occurs":[102],"before":[103],"readily":[112],"obtained":[113],"by":[114],"avoiding":[115],"ICS":[117,139],"all":[119],"times.":[120],"Building":[121],"upon":[122],"an":[123,128],"existing":[124],"ICS-Checker,":[126],"algorithm":[129],"checks":[131],"given":[134],"state":[135],"or":[140],"not,":[141],"this":[142,156],"presents":[144],"reactive":[146],"avoidance":[148],"scheme":[149],"PASSAVOID.":[151],"The":[152],"main":[153],"contribution":[154],"formal":[160],"proof":[161],"PASSAVOID's":[163],"safety.":[166],"Experiments":[167],"simulation":[169],"demonstrates":[170],"how":[171],"PASSAVOID":[172],"operates.":[173]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}