{"id":"https://openalex.org/W3141275507","doi":"https://doi.org/10.1109/ieeeconf49454.2021.9382677","title":"Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle","display_name":"Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle","publication_year":2021,"publication_date":"2021-01-11","ids":{"openalex":"https://openalex.org/W3141275507","doi":"https://doi.org/10.1109/ieeeconf49454.2021.9382677","mag":"3141275507"},"language":"en","primary_location":{"id":"doi:10.1109/ieeeconf49454.2021.9382677","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeeconf49454.2021.9382677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/SICE International Symposium on System Integration (SII)","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/A5010068577","display_name":"Hanlin Niu","orcid":"https://orcid.org/0000-0003-0457-0871"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Hanlin Niu","raw_affiliation_strings":["Department of Electrical & Electronic Engineering, The University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Electronic Engineering, The University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068175770","display_name":"Ze Ji","orcid":"https://orcid.org/0000-0002-8968-9902"},"institutions":[{"id":"https://openalex.org/I79510175","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41","country_code":"GB","type":"education","lineage":["https://openalex.org/I79510175"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ze Ji","raw_affiliation_strings":["School of Engineering, Cardiff University, Cardiff, UK"],"affiliations":[{"raw_affiliation_string":"School of Engineering, Cardiff University, Cardiff, UK","institution_ids":["https://openalex.org/I79510175"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110612880","display_name":"Al Savvaris","orcid":null},"institutions":[{"id":"https://openalex.org/I82284825","display_name":"Cranfield University","ror":"https://ror.org/05cncd958","country_code":"GB","type":"education","lineage":["https://openalex.org/I82284825"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Savvaris","raw_affiliation_strings":["School of Aerospace, Transport and Manufacturing, Cranfield University, Cranfield, UK"],"affiliations":[{"raw_affiliation_string":"School of Aerospace, Transport and Manufacturing, Cranfield University, Cranfield, UK","institution_ids":["https://openalex.org/I82284825"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085012064","display_name":"Antonios Tsourdos","orcid":"https://orcid.org/0000-0002-3966-7633"},"institutions":[{"id":"https://openalex.org/I82284825","display_name":"Cranfield University","ror":"https://ror.org/05cncd958","country_code":"GB","type":"education","lineage":["https://openalex.org/I82284825"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antonios Tsourdos","raw_affiliation_strings":["School of Aerospace, Transport and Manufacturing, Cranfield University, Cranfield, UK"],"affiliations":[{"raw_affiliation_string":"School of Aerospace, Transport and Manufacturing, Cranfield University, Cranfield, UK","institution_ids":["https://openalex.org/I82284825"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024320684","display_name":"Joaqu\u00edn Carrasco","orcid":"https://orcid.org/0000-0002-7499-6408"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Joaquin Carrasco","raw_affiliation_strings":["Department of Electrical & Electronic Engineering, The University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Electronic Engineering, The University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010068577"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":0.6033,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67649468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"47","issue":null,"first_page":"256","last_page":"262"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11622","display_name":"Maritime Navigation and Safety","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean 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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/model-checking","display_name":"Model checking","score":0.7268991470336914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6925623416900635},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3898429870605469},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3608107566833496}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7268991470336914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6925623416900635},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3898429870605469},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3608107566833496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ieeeconf49454.2021.9382677","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeeconf49454.2021.9382677","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/SICE International Symposium on System Integration (SII)","raw_type":"proceedings-article"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:140141","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5391253235","display_name":null,"funder_award_id":"EP/S03286X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1499848665","https://openalex.org/W1501469024","https://openalex.org/W1585533089","https://openalex.org/W1994511055","https://openalex.org/W1998347989","https://openalex.org/W2011274429","https://openalex.org/W2057791660","https://openalex.org/W2063075513","https://openalex.org/W2095002986","https://openalex.org/W2129890738","https://openalex.org/W2169061472","https://openalex.org/W2317043578","https://openalex.org/W2318129396","https://openalex.org/W2334527288","https://openalex.org/W2401986398","https://openalex.org/W2547673434","https://openalex.org/W2804011984","https://openalex.org/W2885760657","https://openalex.org/W2889924119","https://openalex.org/W2909069242","https://openalex.org/W2912640545","https://openalex.org/W2949530148","https://openalex.org/W2970900401","https://openalex.org/W2992914897","https://openalex.org/W3006408222","https://openalex.org/W3009991506","https://openalex.org/W3092440483","https://openalex.org/W4251228600","https://openalex.org/W6712737876","https://openalex.org/W7055814506"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"This":[0,202],"work":[1,30],"aims":[2],"to":[3,9,70,145,191,207],"develop":[4],"a":[5,21,34,171],"model":[6,168,172,188],"checking":[7,189],"method":[8,190,203],"verify":[10],"the":[11,90,98,107,112,115,156,160,167,184,193,197],"decision":[12,131,199,213],"making":[13,132,200,214],"system":[14,215],"of":[15,97,106,186,196,212],"Unmanned":[16],"Surface":[17],"Vehicle":[18],"(USV)":[19],"in":[20,28,216],"long":[22,35,161],"range":[23],"surveillance":[24,38],"mission.":[25],"The":[26,48,66,83,142,177],"scenario":[27],"this":[29,110],"was":[31],"captured":[32],"from":[33,75],"endurance":[36,162],"USV":[37,43,50,122,125,198],"mission":[39],"using":[40,139,150,166],"C-EnduroOR,":[41],"an":[42],"manufactured":[44],"by":[45,89],"ASV":[46],"Ltd.":[47],"C-Enduro":[49],"may":[51],"encounter":[52],"multiple":[53,72],"nondeterministic":[54],"and":[55,64,80,104,114,126,136,154,159,182],"concurrent":[56],"problems":[57],"including":[58],"lost":[59],"communication":[60],"signals,":[61],"collision":[62],"risk":[63],"malfunction.":[65],"vehicle":[67],"is":[68],"designed":[69],"utilise":[71],"energy":[73,84,123],"sources":[74],"solar":[76,91],"panel,":[77],"wind":[78,94],"turbine":[79],"diesel":[81,99],"generator.":[82],"state":[85],"can":[86],"be":[87,146],"affected":[88],"irradiance":[92],"condition,":[93,95],"states":[96,105,113],"generator,":[100],"sea":[101],"current":[102],"condition":[103],"USV.":[108],"In":[109],"research,":[111],"interactive":[116],"relations":[117],"between":[118],"environmental":[119],"uncertainties,":[120],"sensors,":[121],"system,":[124],"Ground":[127],"Control":[128],"Station":[129],"(GCS)":[130],"systems":[133],"are":[134,148,164,180],"abstracted":[135],"modelled":[137],"successfully":[138],"Kripke":[140],"models.":[141],"desirable":[143,194],"properties":[144,158,163],"verified":[147,165],"expressed":[149],"temporal":[151],"logic":[152],"statement":[153],"finally":[155],"safety":[157],"checker":[169,173],"MCMAS,":[170],"for":[174],"multi-agent":[175],"systems.":[176],"verification":[178],"results":[179],"analyzed":[181],"show":[183],"feasibility":[185],"applying":[187],"retrospect":[192],"property":[195],"system.":[201],"could":[204],"assist":[205],"researcher":[206],"identify":[208],"potential":[209],"design":[210],"error":[211],"advance.":[217]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}