{"id":"https://openalex.org/W2121223204","doi":"https://doi.org/10.1109/icsmc.2009.5346910","title":"Formal specification and simulation of the robot path planner","display_name":"Formal specification and simulation of the robot path planner","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W2121223204","doi":"https://doi.org/10.1109/icsmc.2009.5346910","mag":"2121223204"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2009.5346910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2009.5346910","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Systems, Man and Cybernetics","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/A5067515752","display_name":"M. Yassine Belkhouche","orcid":null},"institutions":[{"id":"https://openalex.org/I123534392","display_name":"University of North Texas","ror":"https://ror.org/00v97ad02","country_code":"US","type":"education","lineage":["https://openalex.org/I123534392"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"M. Yassine Belkhouche","raw_affiliation_strings":["Computer Science and Engineering Department, University of North Texas, Denton, TX, USA","Computer Science and Engineering Department, University of North Texas, Denton, Texas"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, University of North Texas, Denton, TX, USA","institution_ids":["https://openalex.org/I123534392"]},{"raw_affiliation_string":"Computer Science and Engineering Department, University of North Texas, Denton, Texas","institution_ids":["https://openalex.org/I123534392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088248176","display_name":"Boumediene Belkhouche","orcid":"https://orcid.org/0000-0002-8365-1479"},"institutions":[{"id":"https://openalex.org/I201726411","display_name":"United Arab Emirates University","ror":"https://ror.org/01km6p862","country_code":"AE","type":"education","lineage":["https://openalex.org/I201726411"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Boumediene Belkhouche","raw_affiliation_strings":["College of Information Technology, United Arab Emirates University, Al-Ain, UAE","[College of Information Technology, UAE University, Al Ain, UAE]"],"affiliations":[{"raw_affiliation_string":"College of Information Technology, United Arab Emirates University, Al-Ain, UAE","institution_ids":["https://openalex.org/I201726411"]},{"raw_affiliation_string":"[College of Information Technology, UAE University, Al Ain, UAE]","institution_ids":["https://openalex.org/I201726411"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5067515752"],"corresponding_institution_ids":["https://openalex.org/I123534392"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.15865926,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"4484","last_page":"4489"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9969000220298767,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/mobile-robot","display_name":"Mobile robot","score":0.7152760028839111},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.70392245054245},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7006092071533203},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6751317977905273},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6309192180633545},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.6236041188240051},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6018332839012146},{"id":"https://openalex.org/keywords/obstacle-avoidance","display_name":"Obstacle avoidance","score":0.5716764330863953},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.5241332650184631},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5152740478515625},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.495868057012558},{"id":"https://openalex.org/keywords/heading","display_name":"Heading (navigation)","score":0.47977787256240845},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.44704487919807434},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.44481322169303894},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3829438090324402},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33871424198150635},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32827872037887573},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3248538374900818},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16290396451950073},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.12005239725112915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10936784744262695}],"concepts":[{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.7152760028839111},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.70392245054245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7006092071533203},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6751317977905273},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6309192180633545},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.6236041188240051},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6018332839012146},{"id":"https://openalex.org/C6683253","wikidata":"https://www.wikidata.org/wiki/Q7075535","display_name":"Obstacle avoidance","level":4,"score":0.5716764330863953},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.5241332650184631},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5152740478515625},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.495868057012558},{"id":"https://openalex.org/C2776937971","wikidata":"https://www.wikidata.org/wiki/Q4384217","display_name":"Heading (navigation)","level":2,"score":0.47977787256240845},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.44704487919807434},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.44481322169303894},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3829438090324402},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33871424198150635},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32827872037887573},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3248538374900818},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16290396451950073},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.12005239725112915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10936784744262695},{"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2009.5346910","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2009.5346910","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Systems, Man and Cybernetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W138317454","https://openalex.org/W1501745438","https://openalex.org/W2044667269","https://openalex.org/W2077815947","https://openalex.org/W2101508170","https://openalex.org/W2114101401","https://openalex.org/W2133442509","https://openalex.org/W2147340401","https://openalex.org/W2809191488"],"related_works":["https://openalex.org/W2930076404","https://openalex.org/W4253519380","https://openalex.org/W2071957557","https://openalex.org/W2596413128","https://openalex.org/W4391249562","https://openalex.org/W2356867392","https://openalex.org/W2782776446","https://openalex.org/W3043170174","https://openalex.org/W2155948905","https://openalex.org/W4380590094"],"abstract_inverted_index":{"Simulation":[0],"software":[1,30],"plays":[2],"a":[3,14,28,41,56,80,102],"very":[4],"important":[5],"role":[6],"in":[7,87],"education":[8],"and":[9,17,22,43,93],"research":[10],"applications.":[11],"They":[12],"provide":[13],"safe,":[15],"easy":[16],"flexible":[18],"environment":[19],"for":[20,129],"developing":[21,27],"testing":[23],"new":[24],"methods.":[25],"However":[26],"simulation":[29],"that":[31,59],"reflects":[32],"the":[33,37,61,65,108,112,115,118],"exact":[34,62],"behavior":[35,63,106],"of":[36,64,69,107,114],"real":[38],"system":[39],"is":[40,77,99,111,124],"difficult":[42],"complicated":[44],"task.":[45],"In":[46],"this":[47],"paper":[48],"we":[49],"used":[50],"hybrid":[51],"process":[52],"algebra":[53],"to":[54],"build":[55],"formal":[57],"model":[58,123],"describes":[60],"path":[66,75,109],"planner":[67,76,110],"module":[68],"autonomous":[70],"mobile":[71,130],"robots.":[72,131],"The":[73,84,104,121],"robot":[74,85],"described":[78,100],"by":[79,101],"powerful":[81],"recursive":[82],"process.":[83,103],"moves":[86],"four":[88,119],"modes":[89],"heading-regulation,":[90],"move-to-goal,":[91],"move-to-inter-goal,":[92],"obstacle-avoidance":[94],"mode.":[95],"Each":[96],"motion":[97],"mode":[98],"overall":[105],"result":[113],"communication":[116],"between":[117],"processes.":[120],"developed":[122],"then":[125],"implemented":[126],"as":[127],"simulator":[128]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}