{"id":"https://openalex.org/W2337445953","doi":"https://doi.org/10.1145/2883817.2883824","title":"Formal Analysis of Robustness at Model and Code Level","display_name":"Formal Analysis of Robustness at Model and Code Level","publication_year":2016,"publication_date":"2016-04-11","ids":{"openalex":"https://openalex.org/W2337445953","doi":"https://doi.org/10.1145/2883817.2883824","mag":"2337445953"},"language":"en","primary_location":{"id":"doi:10.1145/2883817.2883824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883824","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2883824&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2883824&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051955579","display_name":"Timothy E. Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy E. Wang","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025996200","display_name":"Pierre-Lo\u00efc Garoche","orcid":"https://orcid.org/0000-0002-0513-6076"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre-Lo\u00efc Garoche","raw_affiliation_strings":["ONERA - The French Aerospace Lab, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ONERA - The French Aerospace Lab, Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046495569","display_name":"Pierre Roux","orcid":"https://orcid.org/0000-0002-3041-7742"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Roux","raw_affiliation_strings":["ONERA - The French Aerospace Lab, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ONERA - The French Aerospace Lab, Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080867529","display_name":"Romain Jobredeaux","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Romain Jobredeaux","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041459160","display_name":"\u00c9ric F\u00e9ron","orcid":"https://orcid.org/0000-0001-7717-2159"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"\u00c9ric F\u00e9ron","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987999796867371,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9929999709129333,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6599031686782837},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6515727043151855},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41962286829948425},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.0838722288608551}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6599031686782837},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6515727043151855},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41962286829948425},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0838722288608551},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2883817.2883824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883824","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2883824&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2883817.2883824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883824","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2883824&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1486587557","display_name":null,"funder_award_id":"W911NF-11-1-0046","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G17276398","display_name":null,"funder_award_id":"W911NF-11-1-0046","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1758903419","display_name":"CPS: Medium: Collaborative Research: Credible Autocoding and Verification of Embedded Software (CrAVES)","funder_award_id":"1135955","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4112970452","display_name":"CPS: Synergy: Collaborative Research: Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES)","funder_award_id":"1446758","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8483861733","display_name":null,"funder_award_id":"ANR-INSE-2012-CAFEIN","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G862988727","display_name":null,"funder_award_id":"W911NF-11","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2337445953.pdf","grobid_xml":"https://content.openalex.org/works/W2337445953.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W103072036","https://openalex.org/W165943180","https://openalex.org/W645921674","https://openalex.org/W1522573389","https://openalex.org/W1548465585","https://openalex.org/W1608230613","https://openalex.org/W1611084195","https://openalex.org/W1763790326","https://openalex.org/W1965732719","https://openalex.org/W1976043036","https://openalex.org/W2002757059","https://openalex.org/W2016043649","https://openalex.org/W2032476010","https://openalex.org/W2037729698","https://openalex.org/W2095477585","https://openalex.org/W2097505696","https://openalex.org/W2107605224","https://openalex.org/W2138211565","https://openalex.org/W2143127453","https://openalex.org/W2153421566","https://openalex.org/W2177074851","https://openalex.org/W2192200440","https://openalex.org/W2277766137","https://openalex.org/W2350974888","https://openalex.org/W2952456961","https://openalex.org/W4256433054"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Robustness":[0],"analyses":[1],"play":[2],"a":[3,18,38],"major":[4],"role":[5],"in":[6,72],"the":[7,21,32,35,69],"synthesis":[8],"and":[9,48],"analysis":[10],"of":[11,20,37,65],"controllers.":[12],"For":[13],"control":[14],"systems,":[15,57],"robustness":[16,36],"is":[17],"measure":[19],"maximum":[22],"tolerable":[23],"model":[24],"inaccuracies":[25],"or":[26],"perturbations":[27],"that":[28],"do":[29],"not":[30],"destabilize":[31],"system.":[33],"Analyzing":[34],"closed-loop":[39],"system":[40],"can":[41],"be":[42],"performed":[43],"with":[44],"multiple":[45],"approaches:":[46],"gain":[47],"phase":[49],"margin":[50],"computation":[51],"for":[52],"single-input":[53],"single-output":[54],"(SISO)":[55],"linear":[56],"mu":[58],"analysis,":[59],"IQC":[60],"computations,":[61],"etc.":[62],"However,":[63],"none":[64],"these":[66],"techniques":[67],"consider":[68],"actual":[70],"code":[71],"their":[73],"analyses.":[74]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}