{"id":"https://openalex.org/W4404101788","doi":"https://doi.org/10.1109/memocode63347.2024.00018","title":"Safety Assurance for Autonomous Systems with Multiple Sensor Modalities","display_name":"Safety Assurance for Autonomous Systems with Multiple Sensor Modalities","publication_year":2024,"publication_date":"2024-10-03","ids":{"openalex":"https://openalex.org/W4404101788","doi":"https://doi.org/10.1109/memocode63347.2024.00018"},"language":"en","primary_location":{"id":"doi:10.1109/memocode63347.2024.00018","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/memocode63347.2024.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)","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/A5044356220","display_name":"Anand Balakrishnan","orcid":"https://orcid.org/0000-0002-5778-3857"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anand Balakrishnan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114539120","display_name":"Rohit Bernard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rohit Bernard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Shreeram Narayanan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shreeram Narayanan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109020789","display_name":"Vidisha Kudalkar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vidisha Kudalkar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112316223","display_name":"Yiqi Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yiqi Zhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109020791","display_name":"Parinitha Nagaraja","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Parinitha Nagaraja","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059385295","display_name":"Georgi Markov","orcid":"https://orcid.org/0000-0003-0612-2415"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Georgi Markov","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032198822","display_name":"Christof J. Budnik","orcid":"https://orcid.org/0000-0002-5728-4134"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christof Budnik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044156835","display_name":"Helmut Degen","orcid":"https://orcid.org/0000-0002-5200-8165"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helmut Degen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027184150","display_name":"Lars Lindemann","orcid":"https://orcid.org/0000-0003-3430-6625"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars Lindemann","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5023357035","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0002-8815-464X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5044356220"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22903286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T11357","display_name":"Risk and Safety Analysis","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13690","display_name":"Quality and Safety in Healthcare","score":0.9527000188827515,"subfield":{"id":"https://openalex.org/subfields/3607","display_name":"Medical Laboratory Technology"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modalities","display_name":"Modalities","score":0.7453985214233398},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5996680855751038}],"concepts":[{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.7453985214233398},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5996680855751038},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memocode63347.2024.00018","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/memocode63347.2024.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1531358901","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1780005695","https://openalex.org/W1971748236","https://openalex.org/W2029767187","https://openalex.org/W2049399166","https://openalex.org/W2049981393","https://openalex.org/W2054704105","https://openalex.org/W2063549868","https://openalex.org/W2076101261","https://openalex.org/W2076700412","https://openalex.org/W2100718094","https://openalex.org/W2118607040","https://openalex.org/W2155971774","https://openalex.org/W2484797342","https://openalex.org/W2518937691","https://openalex.org/W2598706937","https://openalex.org/W2607424191","https://openalex.org/W2789298414","https://openalex.org/W3035254347","https://openalex.org/W4205239697","https://openalex.org/W4240592325","https://openalex.org/W4242738563","https://openalex.org/W4300181466","https://openalex.org/W4368362708","https://openalex.org/W4400189275","https://openalex.org/W6633078319","https://openalex.org/W6685112792","https://openalex.org/W6703089250","https://openalex.org/W6761341600","https://openalex.org/W6798067434"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2185469136","https://openalex.org/W2011264131","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4306353150","https://openalex.org/W2026860389"],"abstract_inverted_index":{"Humans":[0],"and":[1,17,44,72,82,119,209],"autonomous":[2,14,24],"cyber-physical":[3],"systems":[4,64],"increasingly":[5],"share":[6],"physical":[7],"space,":[8],"for":[9,123,172,281],"example,":[10],"in":[11,34,177,231,260],"industrial":[12,262],"manufacturing,":[13],"taxis,":[15],"warehouses,":[16],"unmanned":[18],"package":[19],"delivery.":[20],"This":[21,183],"makes":[22],"such":[23,100,129,153,166,254,269],"CPS":[25],"safety-critical":[26],"because":[27],"design":[28],"errors":[29],"can":[30,155,257,272],"harm":[31],"the":[32,45,60,85,88,112,117,120,178,201,219,232,241,246],"people":[33],"their":[35,40,79],"shared":[36],"space.":[37],"To":[38],"enhance":[39],"own":[41,80],"safe":[42],"operation":[43],"safety":[46],"of":[47,84,114,142,193,203,240],"humans":[48],"around":[49],"them,":[50],"these":[51],"CPSs":[52],"typically":[53,168],"use":[54],"multiple":[55,145,220],"sensor":[56,63,93,126,173,197,221],"modalities":[57],"to":[58,75,132,158],"perceive":[59],"environment.":[61,86],"Such":[62],"include":[65],"RADAR,":[66],"LIDAR,":[67],"ultra-wideband,":[68],"SONAR,":[69],"odometry,":[70],"GPS,":[71],"camera-based":[73],"sensors":[74,146],"make":[76,109],"estimations":[77],"about":[78,111],"state":[81,135,207,216,233,242],"observations":[83,89,143,222],"Traditionally,":[87],"made":[90],"by":[91,137],"different":[92,149],"streams":[94],"are":[95,223],"fused":[96,206],"using":[97,128,277],"probabilistic":[98,274],"models":[99],"as":[101,160],"Bayesian":[102],"filters":[103,108],"(e.g.,":[104],"Kalman":[105],"filters).":[106],"These":[107],"assumptions":[110,154],"distribution":[113,180],"error":[115,150,179],"between":[116],"observation":[118],"ground":[121],"truth":[122],"a":[124,134,191,205,214,237,255,270],"given":[125],"and,":[127],"assumptions,":[130],"attempt":[131],"reconstruct":[133],"estimate":[136,208,217,243],"computing":[138,204],"some":[139],"weighted":[140],"combination":[141],"from":[144],"(with":[147],"possibly":[148],"distributions).":[151],"However,":[152],"be":[156,258],"challenging":[157],"model":[159],"environments":[161],"become":[162],"more":[163],"complex.":[164],"Furthermore,":[165],"algorithms":[167],"do":[169],"not":[170],"account":[171],"failures":[174],"or":[175],"shifts":[176],"during":[181],"deployment.":[182],"paper":[184],"presents":[185],"an":[186,229,261],"algorithmic":[187],"framework":[188,256,271],"that":[189,268],"defines":[190],"notion":[192],"spatio-temporal":[194],"consistency":[195],"across":[196],"streams.":[198],"We":[199,251,266],"eschew":[200],"idea":[202],"instead":[210],"focus":[211],"on":[212,245],"producing":[213],"consistent":[215,249],"if":[218],"deemed":[224],"consistent.":[225],"If":[226],"we":[227,235],"detect":[228],"inconsistency":[230],"estimate,":[234],"propose":[236],"conservative":[238],"over-approximation":[239],"based":[244],"last":[247],"known":[248],"estimate.":[250],"demonstrate":[252],"how":[253],"deployed":[259],"manufacturing":[263],"case":[264],"study.":[265],"show":[267],"provide":[273],"runtime":[275],"assurance":[276],"conformal":[278],"prediction":[279],"techniques":[280],"statistical":[282],"analyses.":[283]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}