{"id":"https://openalex.org/W2972887175","doi":"https://doi.org/10.23919/acc.2019.8814444","title":"Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems","display_name":"Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2972887175","doi":"https://doi.org/10.23919/acc.2019.8814444","mag":"2972887175"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2019.8814444","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":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1810.00313","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042593365","display_name":"He Yin","orcid":"https://orcid.org/0000-0003-3338-148X"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"He Yin","raw_affiliation_strings":["Department of Mechanical Engineering, University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076844884","display_name":"Andrew Packard","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Packard","raw_affiliation_strings":["Department of Mechanical Engineering, University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025743742","display_name":"Murat Arcak","orcid":"https://orcid.org/0000-0001-9060-4032"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murat Arcak","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009028512","display_name":"Peter Seiler","orcid":"https://orcid.org/0000-0003-3423-1109"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Seiler","raw_affiliation_strings":["Department of Aerospace Engineering and Mechanics, University of Minnesota"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Mechanics, University of Minnesota","institution_ids":["https://openalex.org/I130238516"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.39,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.760807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"33","issue":null,"first_page":"5020","last_page":"5026"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Model Predictive Control in Industrial Processes","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10791","display_name":"Model Predictive Control in Industrial Processes","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9905,"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/T10963","display_name":"Numerical Optimization Techniques","score":0.9886,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pointwise","display_name":"Pointwise","score":0.69335794},{"id":"https://openalex.org/keywords/constraint-handling","display_name":"Constraint Handling","score":0.57186},{"id":"https://openalex.org/keywords/real-time-optimization","display_name":"Real-time Optimization","score":0.546525},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust Control","score":0.544232},{"id":"https://openalex.org/keywords/optimization","display_name":"Optimization","score":0.540169},{"id":"https://openalex.org/keywords/nonlinear-systems","display_name":"Nonlinear Systems","score":0.537985},{"id":"https://openalex.org/keywords/active-set-method","display_name":"Active set method","score":0.49459955},{"id":"https://openalex.org/keywords/karush\u2013kuhn\u2013tucker-conditions","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","score":0.4157337}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7706071},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.69335794},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5852954},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.52601534},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5123978},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.5013082},{"id":"https://openalex.org/C195064452","wikidata":"https://www.wikidata.org/wiki/Q2823740","display_name":"Active set method","level":4,"score":0.49459955},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.44365528},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43721402},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43624133},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41886264},{"id":"https://openalex.org/C50454189","wikidata":"https://www.wikidata.org/wiki/Q2075125","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","level":2,"score":0.4157337},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.40335914},{"id":"https://openalex.org/C115527620","wikidata":"https://www.wikidata.org/wiki/Q769909","display_name":"Nonlinear programming","level":3,"score":0.3994968},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36215967},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.169148},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2019.8814444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1810.00313","pdf_url":"https://arxiv.org/pdf/1810.00313","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1810.00313","pdf_url":"https://arxiv.org/pdf/1810.00313","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.79,"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1536262233","https://openalex.org/W1576413672","https://openalex.org/W1975630497","https://openalex.org/W2041076275","https://openalex.org/W2057789475","https://openalex.org/W2071775092","https://openalex.org/W2093350522","https://openalex.org/W2106985815","https://openalex.org/W2116364955","https://openalex.org/W2116586985","https://openalex.org/W2120865142","https://openalex.org/W2140531311","https://openalex.org/W2148247550","https://openalex.org/W2491336180","https://openalex.org/W2550965818","https://openalex.org/W2560504659","https://openalex.org/W2885196497","https://openalex.org/W2913203935","https://openalex.org/W2962822210","https://openalex.org/W3098925401","https://openalex.org/W3210839039","https://openalex.org/W4285719527","https://openalex.org/W4297684039"],"related_works":["https://openalex.org/W4387967834","https://openalex.org/W4378552364","https://openalex.org/W4232761048","https://openalex.org/W4230146972","https://openalex.org/W4205616904","https://openalex.org/W2597862030","https://openalex.org/W2594574147","https://openalex.org/W2477209608","https://openalex.org/W2074375256","https://openalex.org/W2072206086"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,15,19,73,78],"method":[3,136],"for":[4,122],"synthesizing":[5],"controllers":[6],"to":[7,14,61,109,139],"steer":[8],"trajectories":[9],"from":[10,42],"an":[11,58],"initial":[12],"set":[13,17,40],"target":[16,44],"on":[18],"finite":[20],"time":[21],"horizon.":[22],"The":[23,33,52,69,119,134],"proposed":[24,135],"control":[25,74,103],"synthesis":[26,104],"problem":[27,82],"is":[28,55,106,125,137],"decomposed":[29],"into":[30],"two":[31],"steps.":[32],"first":[34],"step":[35,71],"under-approximates":[36],"the":[37,43,63,66,84,99,132],"backward":[38],"reachable":[39],"(BRS)":[41],"set,":[45],"using":[46,83,127],"level":[47],"sets":[48],"of":[49,65,91],"storage":[50,53,86],"functions.":[51],"function":[54],"constructed":[56],"with":[57,113],"iterative":[59],"algorithm":[60,121],"maximize":[62],"volume":[64],"under-approximated":[67],"BRS.":[68],"second":[70],"obtains":[72],"law":[75],"by":[76],"solving":[77],"pointwise":[79],"min-norm":[80,93],"optimization":[81,94],"pre-computed":[85],"function.":[87],"A":[88],"closed-form":[89],"solution":[90],"this":[92],"can":[95],"be":[96],"computed":[97],"through":[98],"KKT":[100],"conditions.":[101],"This":[102],"framework":[105],"then":[107],"extended":[108],"uncertain":[110],"nonlinear":[111],"systems":[112],"parametric":[114],"uncertainties":[115],"and":[116,131],"L2":[117],"disturbances.":[118],"computation":[120],"all":[123],"cases":[124],"derived":[126],"sum-of-squares":[128],"(SOS)":[129],"programming":[130],"S-procedure.":[133],"applied":[138],"several":[140],"examples,":[141],"including":[142],"robotic":[143],"systems.":[144]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2972887175","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":2}],"updated_date":"2024-11-01T22:50:05.327959","created_date":"2019-09-19"}
