{"id":"https://openalex.org/W3004693500","doi":"https://doi.org/10.1080/00207179.2020.1726469","title":"Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming","display_name":"Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming","publication_year":2020,"publication_date":"2020-02-05","ids":{"openalex":"https://openalex.org/W3004693500","doi":"https://doi.org/10.1080/00207179.2020.1726469","mag":"3004693500"},"language":"en","primary_location":{"id":"doi:10.1080/00207179.2020.1726469","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2020.1726469","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-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/A5090025528","display_name":"Dimitrios Pylorof","orcid":"https://orcid.org/0000-0003-3909-7578"},"institutions":[{"id":"https://openalex.org/I184565670","display_name":"Georgetown University","ror":"https://ror.org/05vzafd60","country_code":"US","type":"education","lineage":["https://openalex.org/I184565670"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dimitrios Pylorof","raw_affiliation_strings":["Department of Computer Science, Georgetown University, Washington, DC, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Georgetown University, Washington, DC, USA","institution_ids":["https://openalex.org/I184565670"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090183475","display_name":"Efstathios Bakolas","orcid":"https://orcid.org/0000-0003-4104-0108"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Efstathios Bakolas","raw_affiliation_strings":["Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering and Engineering Mechanics, The University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090183475"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":1.4072,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.85367028,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"94","issue":"9","first_page":"2603","last_page":"2613"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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.996399998664856,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9937000274658203,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9836999773979187,"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/lyapunov-function","display_name":"Lyapunov function","score":0.630246102809906},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5969396829605103},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5769044160842896},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5666118264198303},{"id":"https://openalex.org/keywords/explained-sum-of-squares","display_name":"Explained sum of squares","score":0.5177720785140991},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.5015270709991455},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4878544807434082},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.471492737531662},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4669170379638672},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.45474952459335327},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.44805124402046204},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"Quadratic programming","score":0.44174546003341675},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43638020753860474},{"id":"https://openalex.org/keywords/control-lyapunov-function","display_name":"Control-Lyapunov function","score":0.4301260709762573},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4258066713809967},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.3830767869949341},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30808210372924805},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.26241153478622437},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14886710047721863}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.630246102809906},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5969396829605103},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5769044160842896},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5666118264198303},{"id":"https://openalex.org/C49847556","wikidata":"https://www.wikidata.org/wiki/Q3964631","display_name":"Explained sum of squares","level":2,"score":0.5177720785140991},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5015270709991455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4878544807434082},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.471492737531662},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4669170379638672},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.45474952459335327},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.44805124402046204},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.44174546003341675},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43638020753860474},{"id":"https://openalex.org/C201030206","wikidata":"https://www.wikidata.org/wiki/Q5165805","display_name":"Control-Lyapunov function","level":5,"score":0.4301260709762573},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4258066713809967},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.3830767869949341},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30808210372924805},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.26241153478622437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14886710047721863},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"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/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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207179.2020.1726469","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2020.1726469","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W83782864","https://openalex.org/W633277346","https://openalex.org/W1496537269","https://openalex.org/W1530758380","https://openalex.org/W1577326860","https://openalex.org/W1982617392","https://openalex.org/W1992402930","https://openalex.org/W1995458154","https://openalex.org/W2013439434","https://openalex.org/W2018291128","https://openalex.org/W2041076275","https://openalex.org/W2045814149","https://openalex.org/W2069796380","https://openalex.org/W2070323046","https://openalex.org/W2071555678","https://openalex.org/W2100538121","https://openalex.org/W2101170197","https://openalex.org/W2106574493","https://openalex.org/W2106985815","https://openalex.org/W2110825268","https://openalex.org/W2116586985","https://openalex.org/W2133404041","https://openalex.org/W2137352610","https://openalex.org/W2137470393","https://openalex.org/W2138025249","https://openalex.org/W2140531311","https://openalex.org/W2146586176","https://openalex.org/W2155724501","https://openalex.org/W2170665905","https://openalex.org/W2493494838","https://openalex.org/W2524695694","https://openalex.org/W2525042068","https://openalex.org/W2560504659","https://openalex.org/W2567289819","https://openalex.org/W2736296671","https://openalex.org/W2912522929","https://openalex.org/W2964239200","https://openalex.org/W2964337106","https://openalex.org/W3098925401","https://openalex.org/W3186624155","https://openalex.org/W4293738473"],"related_works":["https://openalex.org/W3217133416","https://openalex.org/W2349796700","https://openalex.org/W1970635650","https://openalex.org/W2475132469","https://openalex.org/W2126112326","https://openalex.org/W1976574339","https://openalex.org/W2383986032","https://openalex.org/W2358066536","https://openalex.org/W2524522145","https://openalex.org/W1975342327"],"abstract_inverted_index":{"We":[0,58],"study":[1],"the":[2,21,28,33,39,63,99,121,124,137,141,153,157,169,174],"feedback":[3,47,126],"stabilisation":[4,29,68,100,164,175],"problem":[5,128],"for":[6,66,102],"input-affine":[7],"polynomial":[8],"systems":[9],"subject":[10],"to":[11,26,38,61,93,120],"polytopic":[12],"input":[13,139],"constraints.":[14],"First,":[15],"we":[16,24,90,135],"characterise":[17],"a":[18,44,52,103,112,144,185],"subset":[19],"of":[20,43,75,114,123,143,156,179],"state-space,":[22],"which":[23,149,180],"refer":[25],"as":[27],"set,":[30,176],"from":[31,70,173],"where":[32],"system":[34,105,160,170],"can":[35,80],"be":[36,81],"stabilised":[37],"origin":[40],"by":[41,109],"means":[42],"constrained,":[45],"continuous":[46],"control":[48,127,138],"law":[49],"based":[50],"on":[51],"given":[53,104],"Control":[54],"Lyapunov":[55,67],"Function":[56],"(CLF).":[57],"show":[59],"how":[60],"express":[62],"sufficient":[64],"conditions":[65],"starting":[69],"this":[71],"set":[72,77,101],"in":[73,129],"terms":[74],"semialgebraic":[76],"containments":[78],"that":[79,168],"associated":[82],"(and":[83],"numerically":[84],"verified)":[85],"with":[86,140],"Sum-of-Squares":[87],"programs.":[88],"Second,":[89],"propose":[91],"techniques":[92],"reshape":[94],"and":[95,106,161],"/":[96],"or":[97],"enlarge":[98],"initial":[107],"CLF":[108],"searching":[110],"over":[111],"space":[113],"CLFs.":[115],"Our":[116],"third":[117],"contribution":[118],"relates":[119],"solution":[122,142],"constrained":[125],"real-time.":[130],"At":[131],"every":[132],"time":[133],"instant,":[134],"associate":[136],"state-dependent":[145],"Quadratic":[146],"Program":[147],"(QP),":[148],"remains":[150],"feasible":[151],"along":[152],"entire":[154],"trajectory":[155],"closed":[158],"loop":[159],"thus,":[162],"asymptotic":[163],"is":[165],"guaranteed":[166],"provided":[167],"had":[171],"started":[172],"an":[177],"estimate":[178],"has":[181],"been":[182],"computed":[183],"off-line":[184],"priori.":[186]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}