{"id":"https://openalex.org/W2098511113","doi":"https://doi.org/10.1109/cdc.2007.4434258","title":"A theorem of the alternative for SOS Lyapunov functions","display_name":"A theorem of the alternative for SOS Lyapunov functions","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2098511113","doi":"https://doi.org/10.1109/cdc.2007.4434258","mag":"2098511113"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2007.4434258","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2007.4434258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 46th IEEE Conference on Decision and Control","raw_type":"proceedings-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/A5010867744","display_name":"Helfried Peyrl","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Helfried Peyrl","raw_affiliation_strings":["Department of Information Technology and Electrical Engineering, ETH Zurich, Zurich, Switzerland","ETH-Z\u00fcrich, Z\u00fcrich,"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology and Electrical Engineering, ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"ETH-Z\u00fcrich, Z\u00fcrich,","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031935416","display_name":"Pablo A. Parrilo","orcid":"https://orcid.org/0000-0003-1132-8477"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pablo A. Parrilo","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, USA","Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge 02139-4307, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge 02139-4307, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5010867744"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":1.7418,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87860156,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"253","issue":null,"first_page":"1687","last_page":"1692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9972000122070312,"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":"Advanced Control Systems Optimization","score":0.9972000122070312,"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/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.9969000220298767,"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/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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.806113064289093},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.633000910282135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6222423315048218},{"id":"https://openalex.org/keywords/lyapunov-redesign","display_name":"Lyapunov redesign","score":0.5495440363883972},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.5419543385505676},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.5186242461204529},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5031716227531433},{"id":"https://openalex.org/keywords/lyapunov-equation","display_name":"Lyapunov equation","score":0.47593119740486145},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4575809836387634},{"id":"https://openalex.org/keywords/lyapunov-optimization","display_name":"Lyapunov optimization","score":0.4334753155708313},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.2881624102592468},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27247560024261475},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06778302788734436}],"concepts":[{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.806113064289093},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.633000910282135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6222423315048218},{"id":"https://openalex.org/C37935115","wikidata":"https://www.wikidata.org/wiki/Q6707085","display_name":"Lyapunov redesign","level":4,"score":0.5495440363883972},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.5419543385505676},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5186242461204529},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5031716227531433},{"id":"https://openalex.org/C25854792","wikidata":"https://www.wikidata.org/wiki/Q1028945","display_name":"Lyapunov equation","level":4,"score":0.47593119740486145},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4575809836387634},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.4334753155708313},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2881624102592468},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27247560024261475},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06778302788734436},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2007.4434258","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2007.4434258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 46th IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1503092879","https://openalex.org/W1591868040","https://openalex.org/W1967073510","https://openalex.org/W1967184028","https://openalex.org/W1967344706","https://openalex.org/W2045938917","https://openalex.org/W2099212405","https://openalex.org/W2115832833","https://openalex.org/W2133404041","https://openalex.org/W2182510773","https://openalex.org/W2323312180","https://openalex.org/W2536620281","https://openalex.org/W2912522929","https://openalex.org/W6679392325"],"related_works":["https://openalex.org/W2383986032","https://openalex.org/W2349796700","https://openalex.org/W2534107666","https://openalex.org/W3217133416","https://openalex.org/W3194517843","https://openalex.org/W1977987201","https://openalex.org/W2164487476","https://openalex.org/W2118944249","https://openalex.org/W2210722882","https://openalex.org/W4388874082"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"duality":[3],"theory":[4],"is":[5],"used":[6],"to":[7,65],"derive":[8],"a":[9,18,26,31,50,73],"theorem":[10],"of":[11,17,20,39,42,53,75,77],"the":[12,15,54,57,78],"alternative":[13],"for":[14,25],"existence":[16],"sums":[19],"squares":[21],"(SOS)":[22],"Lyapunov":[23,80],"function":[24],"nonlinear":[27],"system":[28],"described":[29],"by":[30],"polynomial":[32],"vector":[33],"field.":[34],"We":[35,60],"show":[36,61],"that":[37,62],"moments":[38,63],"occupation":[40],"measures":[41],"unstable":[43],"trajectories":[44],"are":[45],"dual":[46,58,90],"feasible":[47],"solutions":[48,70],"providing":[49],"natural":[51],"interpretation":[52],"elements":[55],"in":[56],"space.":[59],"corresponding":[64],"equilibria,":[66],"orbits,":[67],"and":[68],"unbounded":[69],"indeed":[71],"provide":[72],"certificate":[74],"infeasibility":[76],"SOS":[79],"problem.":[81],"Additionally,":[82],"equilibrium":[83],"points":[84],"may":[85],"be":[86],"recovered":[87],"from":[88],"special":[89],"solutions.":[91]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}