{"id":"https://openalex.org/W3118965774","doi":"https://doi.org/10.3390/robotics10010010","title":"Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification","display_name":"Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification","publication_year":2021,"publication_date":"2021-01-03","ids":{"openalex":"https://openalex.org/W3118965774","doi":"https://doi.org/10.3390/robotics10010010","mag":"3118965774"},"language":"en","primary_location":{"id":"doi:10.3390/robotics10010010","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics10010010","pdf_url":"https://www.mdpi.com/2218-6581/10/1/10/pdf?version=1609919580","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2218-6581/10/1/10/pdf?version=1609919580","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090532789","display_name":"Osama Zaki","orcid":"https://orcid.org/0000-0002-2455-1494"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Osama Zaki","raw_affiliation_strings":["Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"],"affiliations":[{"raw_affiliation_string":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082750336","display_name":"Matthew W. Dunnigan","orcid":"https://orcid.org/0000-0002-9150-7856"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew Dunnigan","raw_affiliation_strings":["Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"],"affiliations":[{"raw_affiliation_string":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052097132","display_name":"Valentin Robu","orcid":"https://orcid.org/0000-0002-9280-2072"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Valentin Robu","raw_affiliation_strings":["Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"],"affiliations":[{"raw_affiliation_string":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032160199","display_name":"David Flynn","orcid":"https://orcid.org/0000-0002-1024-3618"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Flynn","raw_affiliation_strings":["Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"],"affiliations":[{"raw_affiliation_string":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK","institution_ids":["https://openalex.org/I32062511"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5090532789"],"corresponding_institution_ids":["https://openalex.org/I32062511"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":2.8772,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.91595819,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"10","issue":"1","first_page":"10","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9901999831199646,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9901999831199646,"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/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9868999719619751,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6665784120559692},{"id":"https://openalex.org/keywords/prognostics","display_name":"Prognostics","score":0.6329978108406067},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5763945579528809},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5236034989356995},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5203168392181396},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.47360944747924805},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.47083616256713867},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4466519355773926},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.4404967725276947},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.42670580744743347},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.4235343933105469},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41822952032089233},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4160003662109375},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4120532274246216},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38978856801986694},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2873854637145996},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.25068092346191406},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.168081134557724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14967596530914307}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6665784120559692},{"id":"https://openalex.org/C129364497","wikidata":"https://www.wikidata.org/wiki/Q3042561","display_name":"Prognostics","level":2,"score":0.6329978108406067},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5763945579528809},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5236034989356995},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5203168392181396},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.47360944747924805},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.47083616256713867},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4466519355773926},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.4404967725276947},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.42670580744743347},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.4235343933105469},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41822952032089233},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4160003662109375},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4120532274246216},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38978856801986694},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2873854637145996},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.25068092346191406},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.168081134557724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14967596530914307},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/robotics10010010","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics10010010","pdf_url":"https://www.mdpi.com/2218-6581/10/1/10/pdf?version=1609919580","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},{"id":"pmh:cwi:oai:cwi.nl:31273","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31273","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Robotics, 10(1), 10.1 - 10.26","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:c8b01bfde54e4ce4a068a7f08f2c19cf","is_oa":true,"landing_page_url":"https://doaj.org/article/c8b01bfde54e4ce4a068a7f08f2c19cf","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Robotics, Vol 10, Iss 1, p 10 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2218-6581/10/1/10/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/robotics10010010","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Robotics; Volume 10; Issue 1; Pages: 10","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/robotics10010010","is_oa":true,"landing_page_url":"https://doi.org/10.3390/robotics10010010","pdf_url":"https://www.mdpi.com/2218-6581/10/1/10/pdf?version=1609919580","source":{"id":"https://openalex.org/S4210232487","display_name":"Robotics","issn_l":"2218-6581","issn":["2218-6581"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Robotics","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G2838024195","display_name":"UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management","funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4483049737","display_name":null,"funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334245","funder_display_name":"Offshore Robotics for Certification of Assets"},{"id":"https://openalex.org/G8602921712","display_name":null,"funder_award_id":"EP/R026173","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334245","display_name":"Offshore Robotics for Certification of Assets","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3118965774.pdf","grobid_xml":"https://content.openalex.org/works/W3118965774.grobid-xml"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W103046536","https://openalex.org/W630051518","https://openalex.org/W1431649950","https://openalex.org/W1509392121","https://openalex.org/W1511573247","https://openalex.org/W1600919542","https://openalex.org/W1842396509","https://openalex.org/W1844968731","https://openalex.org/W1972621238","https://openalex.org/W1983951494","https://openalex.org/W2001447996","https://openalex.org/W2017548525","https://openalex.org/W2020045686","https://openalex.org/W2037802202","https://openalex.org/W2075499852","https://openalex.org/W2099395647","https://openalex.org/W2099817296","https://openalex.org/W2102869854","https://openalex.org/W2103259714","https://openalex.org/W2115217694","https://openalex.org/W2117553866","https://openalex.org/W2131628306","https://openalex.org/W2147774669","https://openalex.org/W2154829072","https://openalex.org/W2268198829","https://openalex.org/W2293828803","https://openalex.org/W2324610042","https://openalex.org/W2406674275","https://openalex.org/W2543485286","https://openalex.org/W2593968459","https://openalex.org/W2737452470","https://openalex.org/W2739243285","https://openalex.org/W2740493984","https://openalex.org/W2783894900","https://openalex.org/W2784272162","https://openalex.org/W2811472820","https://openalex.org/W2889894025","https://openalex.org/W2897250207","https://openalex.org/W2900708663","https://openalex.org/W2902172971","https://openalex.org/W2905114944","https://openalex.org/W2906917464","https://openalex.org/W2909451701","https://openalex.org/W2914511770","https://openalex.org/W2914821494","https://openalex.org/W2920776497","https://openalex.org/W2958793737","https://openalex.org/W2966797313","https://openalex.org/W2973204678","https://openalex.org/W2986641800","https://openalex.org/W2991032275","https://openalex.org/W2991528307","https://openalex.org/W2994830123","https://openalex.org/W2999413809","https://openalex.org/W3002053962","https://openalex.org/W3010396407","https://openalex.org/W3019966218","https://openalex.org/W3023541199","https://openalex.org/W3101642637","https://openalex.org/W4235773083","https://openalex.org/W4299648503","https://openalex.org/W6630751949","https://openalex.org/W6637683800","https://openalex.org/W6638784392","https://openalex.org/W6756093527","https://openalex.org/W6987206802"],"related_works":["https://openalex.org/W2310476526","https://openalex.org/W3213192587","https://openalex.org/W2144291498","https://openalex.org/W2535730979","https://openalex.org/W3193475673","https://openalex.org/W2370073012","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449"],"abstract_inverted_index":{"A":[0,14,74],"novel":[1],"modelling":[2],"paradigm":[3,51],"for":[4,9,16,44,80,125,171,176,207],"online":[5],"diagnostics":[6,170],"and":[7,42,84,121,128,144,158,184,215],"prognostics":[8],"autonomous":[10,18,38,195,218],"systems":[11],"is":[12,22,40,52,78,155],"presented.":[13],"model":[15,29,137],"the":[17,31,37,55,66,72,87,92,115,119,126,131,136,153,202,208],"system":[19,39,178],"being":[20],"diagnosed":[21],"designed":[23],"using":[24],"a":[25,47,98,159,192],"logic-based":[26],"formalism.":[27],"The":[28,50,133,149,180],"supports":[30],"run-time":[32,169,212],"ability":[33,181],"to":[34,105,117,122,140,146,167,182],"verify":[35],"that":[36,57,152],"safe":[41],"reliable":[43],"operation":[45],"within":[46,96,191],"dynamic":[48],"environment.":[49],"based":[53],"on":[54],"philosophy":[56],"there":[58],"are":[59],"different":[60,69],"types":[61],"of":[62,68,71,86,94,130,135,162,174,201,204,211],"semantic":[63,109],"relationships":[64,120],"between":[65],"states":[67],"parts":[70],"system.":[73],"finite":[75],"state":[76],"automaton":[77],"devised":[79],"each":[81,106],"sensed":[82],"component":[83],"some":[85],"non-sensed":[88],"components.":[89],"To":[90],"capture":[91],"interdependencies":[93],"components":[95],"such":[97],"complex":[99,177],"robotic":[100],"platform,":[101],"automatons":[102],"were":[103],"related":[104,187],"other":[107,147],"by":[108,114],"relationships.":[110,132],"Modality":[111],"was":[112,138,165,189],"utilised":[113],"formalism":[116],"abstract":[118],"add":[123],"measures":[124],"possibility":[127],"uncertainty":[129],"complexity":[134,154],"analysed":[139],"evaluate":[141],"its":[142],"scalability":[143],"applicability":[145,203],"systems.":[148,219],"results":[150],"demonstrate":[151],"not":[156],"linear":[157],"computational":[160],"time":[161],"10":[163],"ms":[164],"required":[166],"achieve":[168],"2200":[172],"KB":[173],"knowledge":[175],"interdependences.":[179],"detect":[183],"mitigate":[185],"hardware":[186],"failures":[188],"demonstrated":[190],"confined":[193],"space":[194],"operation.":[196],"Our":[197],"findings":[198],"provide":[199],"evidence":[200],"our":[205],"approach":[206],"significant":[209],"challenge":[210],"safety":[213],"compliance":[214],"reliability":[216],"in":[217]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-10-10T00:00:00"}