{"id":"https://openalex.org/W3214219979","doi":"https://doi.org/10.1109/models50736.2021.00027","title":"MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems","display_name":"MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems","publication_year":2021,"publication_date":"2021-10-01","ids":{"openalex":"https://openalex.org/W3214219979","doi":"https://doi.org/10.1109/models50736.2021.00027","mag":"3214219979"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/models50736.2021.00027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5016706538","display_name":"Michael Austin Langford","orcid":"https://orcid.org/0000-0002-0927-7976"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"funder","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Austin Langford","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049458039","display_name":"Kenneth H. Chan","orcid":"https://orcid.org/0000-0001-5014-3411"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"funder","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kenneth H. Chan","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058667375","display_name":"Jonathon Emil Fleck","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"funder","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathon Emil Fleck","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017795809","display_name":"Philip K. McKinley","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"funder","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Philip K. McKinley","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047852703","display_name":"Betty H. C. Cheng","orcid":"https://orcid.org/0000-0001-9825-5359"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"funder","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Betty H.C. Cheng","raw_affiliation_strings":["Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA","institution_ids":["https://openalex.org/I87216513"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.491,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.998592,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"182","last_page":"193"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9982,"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.9982,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9876,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9818,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.77217704},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.75406384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46936968},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.42345852},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.39099303},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1455265},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/models50736.2021.00027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"DBI-0939454"},{"funder":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory","award_id":"FA8750-16-2-0284,FA8750-19-2-0002"}],"datasets":[],"versions":[],"referenced_works_count":88,"referenced_works":["https://openalex.org/W112403282","https://openalex.org/W1481659984","https://openalex.org/W1539705164","https://openalex.org/W1595504249","https://openalex.org/W1604588251","https://openalex.org/W1624143779","https://openalex.org/W1627578742","https://openalex.org/W1673923490","https://openalex.org/W1932198206","https://openalex.org/W1945616565","https://openalex.org/W1990911977","https://openalex.org/W2000707938","https://openalex.org/W2006673999","https://openalex.org/W2025735304","https://openalex.org/W2041713059","https://openalex.org/W2054921215","https://openalex.org/W2062183858","https://openalex.org/W2071616717","https://openalex.org/W2085832095","https://openalex.org/W2092306402","https://openalex.org/W2096910097","https://openalex.org/W2098895708","https://openalex.org/W2112178154","https://openalex.org/W2120484483","https://openalex.org/W2125614502","https://openalex.org/W2150510833","https://openalex.org/W2152864241","https://openalex.org/W2164693633","https://openalex.org/W2167340365","https://openalex.org/W2170505850","https://openalex.org/W2171982865","https://openalex.org/W2244340130","https://openalex.org/W2482265217","https://openalex.org/W2512264076","https://openalex.org/W2523338773","https://openalex.org/W2616028256","https://openalex.org/W2618530766","https://openalex.org/W2740475669","https://openalex.org/W2774185825","https://openalex.org/W2774616426","https://openalex.org/W2783963507","https://openalex.org/W2791639158","https://openalex.org/W2804337238","https://openalex.org/W2884426148","https://openalex.org/W2884985042","https://openalex.org/W2886168462","https://openalex.org/W2888307014","https://openalex.org/W2890097032","https://openalex.org/W2901136733","https://openalex.org/W2940630992","https://openalex.org/W2949346385","https://openalex.org/W2953746822","https://openalex.org/W2957905354","https://openalex.org/W2962752734","https://openalex.org/W2962871846","https://openalex.org/W2963186766","https://openalex.org/W2963207607","https://openalex.org/W2963327228","https://openalex.org/W2963716183","https://openalex.org/W2964153729","https://openalex.org/W2965189679","https://openalex.org/W2972006294","https://openalex.org/W2973080843","https://openalex.org/W2980221379","https://openalex.org/W2981731882","https://openalex.org/W2988916019","https://openalex.org/W3000005119","https://openalex.org/W3000280594","https://openalex.org/W3013955631","https://openalex.org/W3037481025","https://openalex.org/W3038935994","https://openalex.org/W3040318838","https://openalex.org/W3085364681","https://openalex.org/W3090755713","https://openalex.org/W3092864784","https://openalex.org/W3099444373","https://openalex.org/W3120991880","https://openalex.org/W3125205424","https://openalex.org/W3174938204","https://openalex.org/W3183048323","https://openalex.org/W4241887322","https://openalex.org/W4243335696","https://openalex.org/W4248191871","https://openalex.org/W4250666038","https://openalex.org/W4287083725","https://openalex.org/W4300124531","https://openalex.org/W87901011","https://openalex.org/W94581224"],"related_works":["https://openalex.org/W4396701345","https://openalex.org/W4396696052","https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Increasingly,":[0],"safety-critical":[1],"systems":[2],"include":[3],"artificial":[4],"intelligence":[5],"and":[6,40,53,100],"machine":[7],"learning":[8],"components":[9],"(i.e.,":[10],"Learning-Enabled":[11,74],"Components":[12],"(LECs)).":[13],"However,":[14],"when":[15,57],"behavior":[16,59,86],"is":[17,38],"learned":[18,58,85],"in":[19,134],"a":[20,66,73],"training":[21],"environment":[22],"that":[23,129],"fails":[24],"to":[25,35,55,69,77,98,107,116,125,137],"fully":[26],"capture":[27],"real-world":[28],"phenomena,":[29],"the":[30,84],"response":[31],"of":[32,72,87],"an":[33,96],"LEC":[34],"untrained":[36],"phenomena":[37],"uncertain,":[39],"therefore":[41],"cannot":[42,89],"be":[43,61,90,114],"assured":[44],"as":[45],"safe.":[46],"Automated":[47],"methods":[48],"are":[49,131],"needed":[50],"for":[51,79,82],"self-assessment":[52],"adaptation":[54],"decide":[56],"can":[60,113],"trusted.":[62,91],"This":[63],"work":[64],"introduces":[65],"model-driven":[67],"approach":[68],"manage":[70],"self-adaptation":[71],"System":[75],"(LES)":[76],"account":[78],"run-time":[80],"contexts":[81,135],"which":[83],"LECs":[88,112,130],"The":[92],"resulting":[93],"framework":[94,122],"enables":[95,123],"LES":[97],"monitor":[99],"evaluate":[101],"goal":[102],"models":[103],"at":[104,140],"run":[105],"time":[106],"determine":[108],"whether":[109],"or":[110],"not":[111],"expected":[115],"meet":[117],"functional":[118],"objectives.":[119],"Using":[120],"this":[121],"stakeholders":[124],"have":[126],"more":[127],"confidence":[128],"used":[132],"only":[133],"comparable":[136],"those":[138],"validated":[139],"design":[141],"time.":[142]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3214219979","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2025-04-18T00:33:41.539209","created_date":"2021-11-22"}