{"id":"https://openalex.org/W7160423261","doi":"https://doi.org/10.1007/978-981-95-8617-2_7","title":"Building Safe Autonomous Systems Using Imperfect Components","display_name":"Building Safe Autonomous Systems Using Imperfect Components","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7160423261","doi":"https://doi.org/10.1007/978-981-95-8617-2_7"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-95-8617-2_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-95-8617-2_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5101727761","display_name":"Shengjie Xu","orcid":"https://orcid.org/0000-0003-1784-1386"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shengjie Xu","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0000-0003-1784-1386","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121950581","display_name":"Prateek Ganguli","orcid":null},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prateek Ganguli","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0009-0003-3688-1399","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121953141","display_name":"Tingan Zhu","orcid":null},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tingan Zhu","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0009-0000-4512-2966","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135430249","display_name":"Arkaprava Gupta","orcid":"https://orcid.org/0009-0001-3006-7447"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arkaprava Gupta","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0009-0001-3006-7447","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069623823","display_name":"B. K. Ghosh","orcid":"https://orcid.org/0000-0002-1371-2803"},"institutions":[{"id":"https://openalex.org/I17301866","display_name":"University of Alabama","ror":"https://ror.org/03xrrjk67","country_code":"US","type":"education","lineage":["https://openalex.org/I17301866"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bineet Ghosh","raw_affiliation_strings":["University of Alabama, Tuscaloosa, USA"],"raw_orcid":"https://orcid.org/0000-0002-1371-2803","affiliations":[{"raw_affiliation_string":"University of Alabama, Tuscaloosa, USA","institution_ids":["https://openalex.org/I17301866"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135452772","display_name":"Kurt Wilson","orcid":"https://orcid.org/0009-0006-3154-8302"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kurt Wilson","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0009-0006-3154-8302","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129686902","display_name":"Abdullah Al Arafat","orcid":null},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]},{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah Al Arafat","raw_affiliation_strings":["Florida International University, Miami, USA","North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0000-0002-7017-0158","affiliations":[{"raw_affiliation_string":"Florida International University, Miami, USA","institution_ids":["https://openalex.org/I19700959"]},{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109061290","display_name":"John Baugh","orcid":null},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Baugh","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0000-0002-4999-7505","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135512412","display_name":"Zhishan Guo","orcid":"https://orcid.org/0000-0002-9712-4696"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhishan Guo","raw_affiliation_strings":["North Carolina State University, Raleigh, USA"],"raw_orcid":"https://orcid.org/0000-0002-9712-4696","affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124928722","display_name":"Benjamin Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin Berg","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0000-0002-4147-6860","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065269963","display_name":"Parasara Sridhar Duggirala","orcid":"https://orcid.org/0000-0002-8871-0298"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parasara Sridhar Duggirala","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0000-0002-8871-0298","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5135469494","display_name":"Samarjit Chakraborty","orcid":"https://orcid.org/0000-0002-0503-6235"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Samarjit Chakraborty","raw_affiliation_strings":["The University of North Carolina at Chapel Hill, Chapel Hill, USA"],"raw_orcid":"https://orcid.org/0000-0002-0503-6235","affiliations":[{"raw_affiliation_string":"The University of North Carolina at Chapel Hill, Chapel Hill, USA","institution_ids":["https://openalex.org/I114027177"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5135469494"],"corresponding_institution_ids":["https://openalex.org/I114027177"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.96002665,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"213","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.399399995803833,"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.399399995803833,"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.1581999957561493,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.14409999549388885,"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/imperfect","display_name":"Imperfect","score":0.8324000239372253},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6255000233650208},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.5597000122070312},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5559999942779541},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.48489999771118164},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4171000123023987},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.38850000500679016},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.35839998722076416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8597000241279602},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.8324000239372253},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6255000233650208},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.5597000122070312},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5559999942779541},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.48489999771118164},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4171000123023987},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.38850000500679016},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.31869998574256897},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.2646999955177307},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2549000084400177},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.25380000472068787},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.25200000405311584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-95-8617-2_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-95-8617-2_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":135,"referenced_works":["https://openalex.org/W83449576","https://openalex.org/W1532939537","https://openalex.org/W1552094772","https://openalex.org/W1569692898","https://openalex.org/W1599533843","https://openalex.org/W1912178477","https://openalex.org/W1965553418","https://openalex.org/W1990147325","https://openalex.org/W1990879719","https://openalex.org/W1991125210","https://openalex.org/W1991651595","https://openalex.org/W1992277778","https://openalex.org/W1993867150","https://openalex.org/W1997821272","https://openalex.org/W2008954400","https://openalex.org/W2011282498","https://openalex.org/W2015861549","https://openalex.org/W2019055396","https://openalex.org/W2021697132","https://openalex.org/W2024951074","https://openalex.org/W2026313047","https://openalex.org/W2037847878","https://openalex.org/W2043175197","https://openalex.org/W2051610462","https://openalex.org/W2059338741","https://openalex.org/W2076521253","https://openalex.org/W2076834995","https://openalex.org/W2086473074","https://openalex.org/W2097138479","https://openalex.org/W2097973125","https://openalex.org/W2098280085","https://openalex.org/W2098929948","https://openalex.org/W2107119196","https://openalex.org/W2110574557","https://openalex.org/W2117189409","https://openalex.org/W2121551023","https://openalex.org/W2123040872","https://openalex.org/W2126317860","https://openalex.org/W2130647727","https://openalex.org/W2130873944","https://openalex.org/W2133620399","https://openalex.org/W2149160505","https://openalex.org/W2152861380","https://openalex.org/W2159447204","https://openalex.org/W2159675308","https://openalex.org/W2167572376","https://openalex.org/W2168553665","https://openalex.org/W2214603122","https://openalex.org/W2303573182","https://openalex.org/W2342670290","https://openalex.org/W2407793975","https://openalex.org/W2469237961","https://openalex.org/W2526895648","https://openalex.org/W2531401406","https://openalex.org/W2531409750","https://openalex.org/W2534836658","https://openalex.org/W2535224159","https://openalex.org/W2562977976","https://openalex.org/W2586557709","https://openalex.org/W2599156035","https://openalex.org/W2611375694","https://openalex.org/W2625065348","https://openalex.org/W2627040435","https://openalex.org/W2756095187","https://openalex.org/W2757975399","https://openalex.org/W2778334231","https://openalex.org/W2788527125","https://openalex.org/W2798434269","https://openalex.org/W2798542520","https://openalex.org/W2876187223","https://openalex.org/W2893379203","https://openalex.org/W2899730783","https://openalex.org/W2919694184","https://openalex.org/W2945010262","https://openalex.org/W2946792897","https://openalex.org/W2955425717","https://openalex.org/W2963770864","https://openalex.org/W2968945909","https://openalex.org/W2979419513","https://openalex.org/W2980150456","https://openalex.org/W2982083293","https://openalex.org/W3006063542","https://openalex.org/W3034246361","https://openalex.org/W3034368386","https://openalex.org/W3035400142","https://openalex.org/W3036158814","https://openalex.org/W3037821526","https://openalex.org/W3113943597","https://openalex.org/W3117748877","https://openalex.org/W3118847758","https://openalex.org/W3149906507","https://openalex.org/W3152080727","https://openalex.org/W3184606595","https://openalex.org/W3184774996","https://openalex.org/W3184867973","https://openalex.org/W3185659533","https://openalex.org/W3186627224","https://openalex.org/W3186979517","https://openalex.org/W3198945460","https://openalex.org/W3216800092","https://openalex.org/W4210733301","https://openalex.org/W4224134719","https://openalex.org/W4230150314","https://openalex.org/W4230862112","https://openalex.org/W4235435541","https://openalex.org/W4238698293","https://openalex.org/W4251386558","https://openalex.org/W4255034670","https://openalex.org/W4256182502","https://openalex.org/W4281702766","https://openalex.org/W4291653317","https://openalex.org/W4297775537","https://openalex.org/W4312045534","https://openalex.org/W4312270600","https://openalex.org/W4312620644","https://openalex.org/W4318685747","https://openalex.org/W4379115509","https://openalex.org/W4379115977","https://openalex.org/W4379115982","https://openalex.org/W4387843421","https://openalex.org/W4391324262","https://openalex.org/W4392158263","https://openalex.org/W4400189267","https://openalex.org/W4400189302","https://openalex.org/W4402628505","https://openalex.org/W4404101790","https://openalex.org/W4404133425","https://openalex.org/W4404789125","https://openalex.org/W4407783596","https://openalex.org/W4408048034","https://openalex.org/W4410140532","https://openalex.org/W4410556159","https://openalex.org/W4411086851","https://openalex.org/W4412939879","https://openalex.org/W4414433615"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-05-08T13:12:06.581006","created_date":"2026-05-07T00:00:00"}