{"id":"https://openalex.org/W2467044709","doi":"https://doi.org/10.5391/ijfis.2016.16.2.95","title":"An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV","display_name":"An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV","publication_year":2016,"publication_date":"2016-06-30","ids":{"openalex":"https://openalex.org/W2467044709","doi":"https://doi.org/10.5391/ijfis.2016.16.2.95","mag":"2467044709"},"language":"en","primary_location":{"id":"doi:10.5391/ijfis.2016.16.2.95","doi":"https://doi.org/10.5391/ijfis.2016.16.2.95","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2016.16.2.95","pdf_url":"http://www.ijfis.org/journal/download_pdf.php?doi=10.5391/IJFIS.2016.16.2.95","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-c","kci-registered","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.ijfis.org/journal/download_pdf.php?doi=10.5391/IJFIS.2016.16.2.95","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100728958","display_name":"Yongho Kim","orcid":"https://orcid.org/0000-0003-1257-9921","observed_orcids":["https://orcid.org/0000-0003-1257-9921"]},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yongho Kim","raw_affiliation_strings":["M2M Lab, Computer and Information Technology, Purdue University, West Lafayette, IN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M2M Lab, Computer and Information Technology, Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101827999","display_name":"Jin-Woo Jung","orcid":"https://orcid.org/0000-0003-2658-8888","observed_orcids":["https://orcid.org/0000-0003-2658-8888"]},"institutions":[{"id":"https://openalex.org/I205490536","display_name":"Dongguk University","ror":"https://ror.org/057q6n778","country_code":"KR","type":"education","lineage":["https://openalex.org/I205490536"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jin-Woo Jung","raw_affiliation_strings":["Department of Computer Science and Engineering, Dongguk University, Seoul, Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Dongguk University, Seoul, Korea","institution_ids":["https://openalex.org/I205490536"]}]},{"author_position":"middle","author":{"id":null,"display_name":"John C. Gallagher","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I19648265","display_name":"Wright State University","ror":"https://ror.org/04qk6pt94","country_code":"US","type":"education","lineage":["https://openalex.org/I19648265"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John C. Gallagher","raw_affiliation_strings":["Department of Computer Science and Engineering, Wright State University, Dayton, OH, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Wright State University, Dayton, OH, USA","institution_ids":["https://openalex.org/I19648265"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033151632","display_name":"Eric T. Matson","orcid":"https://orcid.org/0000-0001-9200-4903","observed_orcids":["https://orcid.org/0000-0001-9200-4903"]},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric T. Matson","raw_affiliation_strings":["M2M Lab, Computer and Information Technology, Purdue University, West Lafayette, IN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M2M Lab, Computer and Information Technology, Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100728958"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.05098402,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"16","issue":"2","first_page":"95","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.24220000207424164,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.24220000207424164,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.21950000524520874,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.21729999780654907,"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/cyber-physical-systems","display_name":"cyber-physical systems","score":0.8600000143051147},{"id":"https://openalex.org/keywords/information-sharing","display_name":"information sharing","score":0.5230000019073486},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8730000257492065},{"id":"https://openalex.org/keywords/nusmv","display_name":"NuSMV","score":0.9710000157356262},{"id":"https://openalex.org/keywords/dynamic-environments","display_name":"dynamic environments","score":0.5849999785423279}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7943233847618103},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6630408763885498},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5451892018318176},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5240431427955627},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43536388874053955},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4337786138057709},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3761550784111023},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.33302223682403564},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3053072392940521},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21133431792259216},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07087960839271545}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5391/ijfis.2016.16.2.95","doi":"https://doi.org/10.5391/ijfis.2016.16.2.95","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2016.16.2.95","pdf_url":"http://www.ijfis.org/journal/download_pdf.php?doi=10.5391/IJFIS.2016.16.2.95","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-c","kci-registered","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.5391/ijfis.2016.16.2.95","doi":"https://doi.org/10.5391/ijfis.2016.16.2.95","is_oa":true,"landing_page_url":"https://doi.org/10.5391/ijfis.2016.16.2.95","pdf_url":"http://www.ijfis.org/journal/download_pdf.php?doi=10.5391/IJFIS.2016.16.2.95","source":{"id":"https://openalex.org/S4210177700","display_name":"International Journal of Fuzzy Logic and Intelligent Systems","issn_l":"1598-2645","issn":["1598-2645","2093-744X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-c","kci-registered","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4327628602","host_organization_name":"Korean Institute of Intelligent Systems","host_organization_lineage":["https://openalex.org/P4327628602"],"host_organization_lineage_names":["Korean Institute of Intelligent Systems"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Fuzzy Logic and Intelligent Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1462840127","display_name":"CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis and Analysis Across Abstraction Layers","funder_award_id":"1239171","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G285483230","display_name":null,"funder_award_id":"2015R1D1A1A09061368","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G7629895914","display_name":"CPS: Synergy: Collaborative Research: Methodologies for Engineering with Plug-and-Learn Components: Formal Synthesis and Analysis Across Abstraction Layers","funder_award_id":"1239196","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2467044709.pdf","grobid_xml":"https://content.openalex.org/works/W2467044709.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W90491811","https://openalex.org/W1193293343","https://openalex.org/W1977355352","https://openalex.org/W1991609163","https://openalex.org/W2002956917","https://openalex.org/W2032666657","https://openalex.org/W2033457713","https://openalex.org/W2038396686","https://openalex.org/W2054231916","https://openalex.org/W2087430197","https://openalex.org/W2089766592","https://openalex.org/W2090956201","https://openalex.org/W2111877087","https://openalex.org/W2171480813","https://openalex.org/W4247333069","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1193293343","https://openalex.org/W2056869157","https://openalex.org/W2402783225","https://openalex.org/W6992827093","https://openalex.org/W7100107403","https://openalex.org/W3214812809","https://openalex.org/W4229028462","https://openalex.org/W2756283906","https://openalex.org/W2810385217","https://openalex.org/W2166874269"],"abstract_inverted_index":{"In":[0],"a":[1,98,106],"dynamic":[2],"environment":[3],"autonomous":[4],"robots":[5,12,111],"often":[6],"encounter":[7],"unexpected":[8],"situations":[9],"that":[10,29,112],"the":[11,52,84,91,94,103,114,119],"have":[13],"to":[14,19,34,65,81],"deal":[15],"with":[16],"in":[17,93,105,108,118],"order":[18],"continue":[20,87],"proceeding":[21],"their":[22,36,46],"mission.We":[23],"propose":[24],"an":[25],"adaptive":[26],"goal-based":[27],"model":[28,38,55,64,104],"allows":[30],"cyber-physical":[31],"systems":[32],"(CPS)":[33],"update":[35],"environmental":[37,54],"and":[39,56],"helps":[40],"them":[41],"analyze":[42],"for":[43],"attainment":[44],"of":[45,77,102],"goals":[47],"from":[48],"current":[49],"state":[50],"using":[51],"updated":[53],"its":[57,88],"capabilities.Information":[58],"exchange":[59,66],"approach":[60],"utilizes":[61],"Human-Agent-Robot-Machine-Sensor":[62],"(HARMS)":[63],"messages":[67],"between":[68],"CPS.Model":[69],"validation":[70],"method":[71],"uses":[72],"NuSMV,":[73],"which":[74,109],"is":[75],"one":[76],"Model":[78],"Checking":[79],"tools,":[80],"check":[82],"whether":[83],"system":[85],"can":[86],"mission":[89],"toward":[90],"goal":[92],"given":[95],"environment.We":[96],"explain":[97],"practical":[99],"set":[100],"up":[101],"situation":[107],"homogeneous":[110],"has":[113],"same":[115,120],"capability":[116],"work":[117],"environment.":[121]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-09-27T08:07:27.782135","created_date":"2016-07-22T00:00:00"}