{"id":"https://openalex.org/W2057791660","doi":"https://doi.org/10.1080/00207720500438472","title":"Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice","display_name":"Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice","publication_year":2006,"publication_date":"2006-05-15","ids":{"openalex":"https://openalex.org/W2057791660","doi":"https://doi.org/10.1080/00207720500438472","mag":"2057791660"},"language":"en","primary_location":{"id":"doi:10.1080/00207720500438472","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207720500438472","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","raw_type":"journal-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/A5109209242","display_name":"Suresh Jeyaraman","orcid":null},"institutions":[{"id":"https://openalex.org/I933054736","display_name":"Defence Academy of the United Kingdom","ror":"https://ror.org/03myaza48","country_code":"GB","type":"education","lineage":["https://openalex.org/I1306956679","https://openalex.org/I2802373619","https://openalex.org/I933054736"]},{"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":"Suresh Jeyaraman","raw_affiliation_strings":["\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","institution_ids":["https://openalex.org/I933054736"]},{"raw_affiliation_string":"Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#","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/I933054736","display_name":"Defence Academy of the United Kingdom","ror":"https://ror.org/03myaza48","country_code":"GB","type":"education","lineage":["https://openalex.org/I1306956679","https://openalex.org/I2802373619","https://openalex.org/I933054736"]},{"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":true,"raw_author_name":"Antonios Tsourdos","raw_affiliation_strings":["\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","institution_ids":["https://openalex.org/I933054736"]},{"raw_affiliation_string":"Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#","institution_ids":["https://openalex.org/I82284825"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111700678","display_name":"Rafa\u0142 \u017bbikowski","orcid":null},"institutions":[{"id":"https://openalex.org/I933054736","display_name":"Defence Academy of the United Kingdom","ror":"https://ror.org/03myaza48","country_code":"GB","type":"education","lineage":["https://openalex.org/I1306956679","https://openalex.org/I2802373619","https://openalex.org/I933054736"]},{"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":"Rafa\u0142 \u017bbikowski","raw_affiliation_strings":["\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","institution_ids":["https://openalex.org/I933054736"]},{"raw_affiliation_string":"Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#","institution_ids":["https://openalex.org/I82284825"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034856048","display_name":"Brian White","orcid":"https://orcid.org/0000-0002-4604-3802"},"institutions":[{"id":"https://openalex.org/I933054736","display_name":"Defence Academy of the United Kingdom","ror":"https://ror.org/03myaza48","country_code":"GB","type":"education","lineage":["https://openalex.org/I1306956679","https://openalex.org/I2802373619","https://openalex.org/I933054736"]},{"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":"Brian White","raw_affiliation_strings":["\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"\n Department of Aerospace, Power & Sensors, Cranfield University, RMCS, Shrivenham, Swindon SN6 8LA, England, UK","institution_ids":["https://openalex.org/I933054736"]},{"raw_affiliation_string":"Department of Aerospace, Power and Sensors, Cranfield University, RMCS Shrivenham, Swindon SN6 8LA, England, UK#TAB#","institution_ids":["https://openalex.org/I82284825"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5085012064"],"corresponding_institution_ids":["https://openalex.org/I82284825","https://openalex.org/I933054736"],"apc_list":null,"apc_paid":null,"fwci":0.327,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.60113351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"37","issue":"6","first_page":"339","last_page":"349"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.998199999332428,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9972000122070312,"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/computer-science","display_name":"Computer science","score":0.717363715171814},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6817888617515564},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.6280942559242249},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5995568037033081},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5567561388015747},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5055644512176514},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5023040771484375},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4870755970478058},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4599212408065796},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4444873034954071},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4351990818977356},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.42473119497299194},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36948150396347046},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30651938915252686},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2768499255180359},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.17618399858474731},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.11719626188278198},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10704860091209412}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.717363715171814},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6817888617515564},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.6280942559242249},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5995568037033081},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5567561388015747},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5055644512176514},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5023040771484375},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4870755970478058},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4599212408065796},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4444873034954071},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4351990818977356},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42473119497299194},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36948150396347046},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30651938915252686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2768499255180359},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.17618399858474731},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.11719626188278198},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10704860091209412},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207720500438472","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207720500438472","pdf_url":null,"source":{"id":"https://openalex.org/S129640837","display_name":"International Journal of Systems Science","issn_l":"0020-7721","issn":["0020-7721","1464-5319"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W112645846","https://openalex.org/W116697804","https://openalex.org/W198918365","https://openalex.org/W1499421690","https://openalex.org/W1506588809","https://openalex.org/W1510630994","https://openalex.org/W1519840209","https://openalex.org/W1539432158","https://openalex.org/W1587663028","https://openalex.org/W1679534293","https://openalex.org/W1979234447","https://openalex.org/W1988422114","https://openalex.org/W1996109622","https://openalex.org/W2041152728","https://openalex.org/W2071213760","https://openalex.org/W2075277371","https://openalex.org/W2079444797","https://openalex.org/W2119120935","https://openalex.org/W2126509366","https://openalex.org/W2140776227","https://openalex.org/W2155581733","https://openalex.org/W2158238466","https://openalex.org/W2158814988","https://openalex.org/W2168003214","https://openalex.org/W2340735175","https://openalex.org/W2613482790","https://openalex.org/W2727729254","https://openalex.org/W2883930003","https://openalex.org/W3023191323","https://openalex.org/W3126734519","https://openalex.org/W3144889436","https://openalex.org/W4238954137","https://openalex.org/W4297744580","https://openalex.org/W4298844786","https://openalex.org/W6606115811"],"related_works":["https://openalex.org/W2082472813","https://openalex.org/W2147348835","https://openalex.org/W2081955678","https://openalex.org/W3005566532","https://openalex.org/W2386289764","https://openalex.org/W2164319435","https://openalex.org/W882830202","https://openalex.org/W4286892938","https://openalex.org/W3209681654","https://openalex.org/W2973405785"],"abstract_inverted_index":{"Abstract":[0],"Real-time,":[1],"critical":[2],"systems":[3],"such":[4,125,223],"as":[5],"avionics":[6],"software":[7],"and":[8,51,63,95,130,165,183,240],"hardware":[9],"chips,":[10],"owe":[11],"their":[12,19],"reliability":[13],"to":[14,105],"formal":[15,121],"modelling":[16,33,122,136],"approaches":[17],"from":[18],"design":[20],"phase.":[21],"Following":[22],"this":[23,235],"philosophy,":[24],"an":[25,155],"intuitive":[26],"yet":[27],"mathematically":[28,116],"rigorous":[29,117],"approach":[30,179,236],"of":[31,56,71,79,89,149,187,196,213,261],"Kripke":[32,135,142,220,249],"is":[34,68,101,111,132,137,217,225],"used":[35],"for":[36,60,76,114,234],"representing":[37],"a":[38,53,69,72,77,112,115,120,147,167,191,211],"co-operative,":[39],"decentralised":[40],"mobile":[41],"robot":[42,45],"group.":[43],"The":[44],"group":[46,78,212],"operates":[47],"with":[48,219,238],"minimalist":[49],"communication":[50,253],"no":[52],"priori":[54],"knowledge":[55],"the":[57,86,90,138,159,163,188,246,262],"operating":[58],"environment":[59],"achieving":[61],"interception":[62],"coordinated":[64],"time-over-target.":[65],"This":[66,178],"scenario":[67],"prototype":[70],"simple":[73],"task":[74],"envisaged":[75],"unmanned":[80],"aerial":[81],"vehicles":[82],"(UAVs).":[83],"As":[84],"such,":[85],"resulting":[87],"behaviour":[88,216],"UAVs":[91],"must":[92],"be":[93,199],"designed":[94],"analysed,":[96],"so":[97],"that":[98,134,257],"guaranteed":[99],"performance":[100],"ensured":[102],"if":[103],"only":[104],"achieve":[106],"flight":[107],"certification.":[108],"Hence,":[109],"there":[110],"need":[113],"approach,":[118],"or":[119],"technique.":[123],"Several":[124],"techniques":[126],"are":[127,173,243],"briefly":[128],"reviewed":[129],"it":[131],"argued":[133],"best":[139],"suited":[140],"one.":[141],"models":[143],"consist":[144],"of,":[145],"firstly,":[146],"set":[148,160],"possible":[150],"worlds":[151],"(system":[152],"configurations),":[153],"secondly,":[154],"accessibility":[156],"relation":[157],"in":[158,175,190,245],"(transitions":[161],"between":[162],"worlds)":[164],"thirdly,":[166],"labelling":[168],"function":[169],"(which":[170],"logical":[171],"statements":[172,205],"true":[174],"each":[176],"world).":[177],"represents":[180],"continuous":[181],"dynamics":[182],"discrete":[184],"decision":[185],"making":[186],"robots":[189,251,263],"unified":[192],"way.":[193],"Desirable":[194],"properties":[195,224],"co-operation":[197],"can":[198],"precisely":[200],"expressed":[201],"using":[202,228],"temporal":[203],"logic":[204],"defining":[206],"safety,":[207],"liveness":[208],"etc.":[209],"Whether":[210],"robots,":[214],"whose":[215],"formalised":[218],"models,":[221],"possesses":[222],"then":[226],"verified":[227],"automated":[229],"model":[230],"checking":[231],"tools.":[232],"Rationale":[233],"along":[237],"simulation":[239],"verification":[241],"results":[242],"presented":[244],"paper.":[247],"Keywords:":[248],"modellingMultiple":[250],"systemMinimalist":[252],"Notes":[254],"\u2020":[255],"Note":[256],"restrictions":[258],"on":[259],"kinematics":[260],"make":[264],"them":[265],"emulate":[266],"UAV":[267],"constant-altitude":[268],"flight.":[269]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}