Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems

We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we desc...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SIAM journal on control and optimization Jg. 52; H. 5; S. 2944 - 2969
Hauptverfasser:	Korda, Milan, Henrion, Didier, Jones, Colin N.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Society for Industrial and Applied Mathematics 01.01.2014
Schlagworte:	Approximation Control systems Dynamical systems Hierarchies Invariants Mathematics Nonlinear dynamics Optimization Optimization and Control Polynomials
ISSN:	0363-0129, 1095-7138
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we describe a hierarchy of finite-dimensional linear matrix inequality (LMI) relaxations whose optimal values converge to the volume of the MCI set; dual to these LMI relaxations are sum-of-squares (SOS) problems providing a converging sequence of outer approximations to the MCI set. The approach is simple and readily applicable in the sense that the approximations are the outcome of a single semidefinite program with no additional input apart from the problem description. A number of numerical examples illustrate the approach.
AbstractList	We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we describe a hierarchy of finite-dimensional linear matrix inequality (LMI) relaxations whose optimal values converge to the volume of the MCI set; dual to these LMI relaxations are sum-of-squares (SOS) problems providing a converging sequence of outer approximations to the MCI set. The approach is simple and readily applicable in the sense that the approximations are the outcome of a single semidefinite program with no additional input apart from the problem description. A number of numerical examples illustrate the approach.
Author	Korda, Milan Henrion, Didier Jones, Colin N.
Author_xml	– sequence: 1 givenname: Milan surname: Korda fullname: Korda, Milan – sequence: 2 givenname: Didier surname: Henrion fullname: Henrion, Didier – sequence: 3 givenname: Colin N. surname: Jones fullname: Jones, Colin N.
BackLink	https://hal.science/hal-00804816$$DView record in HAL
BookMark	eNptkEtLAzEUhYNUsD4W_oMsdTF6b5NMpksp1goVBXXhashkMhjJJDVJS_vvrdQHiKsL537nW5xDMvDBG0JOES4QmbxEBmPkohR7ZIgwFoVEVg3IEFjJCsDR-IAcpvQGgJwjH5KXSfArs6aT0C-WWWUbPA0dza-G3qm17Zf99uVzDM6Zlt76lYpW-UwfTabTEOlDcBsfeqvcN0cfNymbPh2T_U65ZE6-7hF5nl4_TWbF_P7mdnI1LzRjmIuGy04Ijo1sBErg41Zo3opSKWgZVHoEkmsm9ajpmophI1RXQSuYkICab6Mjcr7zvipXL6LtVdzUQdl6djWvPzOACniF5Qq37NmOXcTwvjQp171N2jinvAnLVGM5AuAMS_mr1TGkFE3340aoP6euf6bespd_WG13W-aorPun8QHgp4Aj
CitedBy_id	crossref_primary_10_1109_TCYB_2020_2987326 crossref_primary_10_1109_TSMC_2024_3387434 crossref_primary_10_3390_math10152615 crossref_primary_10_1016_j_automatica_2020_109463 crossref_primary_10_1016_j_ifacol_2024_07_437 crossref_primary_10_1016_j_ifacol_2021_08_480 crossref_primary_10_1016_j_nahs_2017_03_001 crossref_primary_10_1109_LRA_2023_3281930 crossref_primary_10_1016_j_automatica_2021_109900 crossref_primary_10_1007_s10107_019_01434_8 crossref_primary_10_1109_TAC_2020_3024348 crossref_primary_10_1109_TSMC_2020_2980673 crossref_primary_10_1016_j_nahs_2024_101527 crossref_primary_10_1109_TAC_2024_3412594 crossref_primary_10_1016_j_nahs_2020_100993 crossref_primary_10_1109_TAC_2025_3545766 crossref_primary_10_1016_j_nahs_2022_101289 crossref_primary_10_1016_j_automatica_2022_110686 crossref_primary_10_1016_j_epsr_2024_110812 crossref_primary_10_1007_s10898_022_01261_w crossref_primary_10_1016_j_ifacol_2017_08_796 crossref_primary_10_1137_19M1305835 crossref_primary_10_1002_rnc_4280 crossref_primary_10_1002_oca_2709 crossref_primary_10_1016_j_ifacol_2023_10_1058 crossref_primary_10_3390_axioms9020050 crossref_primary_10_1109_LCSYS_2020_3047591 crossref_primary_10_1109_TCST_2017_2772903 crossref_primary_10_1109_LCSYS_2019_2916256 crossref_primary_10_1016_j_automatica_2023_111350 crossref_primary_10_1109_LCSYS_2022_3180110 crossref_primary_10_1007_s10846_018_0955_9 crossref_primary_10_1109_LCSYS_2021_3086585 crossref_primary_10_1002_rnc_7596 crossref_primary_10_1109_TAC_2023_3275305 crossref_primary_10_1109_LCSYS_2017_2704295 crossref_primary_10_3390_fractalfract8040194 crossref_primary_10_1080_00207721_2022_2127341 crossref_primary_10_1109_TPAMI_2024_3443916 crossref_primary_10_1016_j_automatica_2021_110032 crossref_primary_10_1016_j_ejcon_2024_101088 crossref_primary_10_1007_s10107_017_1215_7 crossref_primary_10_1016_j_automatica_2024_111921 crossref_primary_10_1109_LCSYS_2020_3006052 crossref_primary_10_1016_j_sysconle_2016_11_010 crossref_primary_10_1109_LCSYS_2024_3407610 crossref_primary_10_1007_s11253_021_01966_3 crossref_primary_10_1016_j_ifacol_2017_08_244 crossref_primary_10_3390_fractalfract4030031 crossref_primary_10_1016_j_automatica_2020_109243 crossref_primary_10_1109_TAC_2023_3285862 crossref_primary_10_1016_j_automatica_2016_01_022 crossref_primary_10_1109_TPWRS_2018_2867825 crossref_primary_10_1137_19M125220X crossref_primary_10_1016_j_compchemeng_2025_109249 crossref_primary_10_1109_TAC_2022_3209492 crossref_primary_10_1016_j_ifacol_2020_12_1558 crossref_primary_10_1287_moor_2023_0116 crossref_primary_10_1016_j_nahs_2020_100858 crossref_primary_10_1109_TAC_2023_3336819 crossref_primary_10_3390_fractalfract9010046 crossref_primary_10_3390_sym10120667 crossref_primary_10_1007_s00332_020_09658_1 crossref_primary_10_1007_s00332_023_09990_2 crossref_primary_10_3390_math12162512 crossref_primary_10_1109_LCSYS_2017_2710234 crossref_primary_10_1002_rnc_3920 crossref_primary_10_1007_s40995_022_01265_x crossref_primary_10_1109_TAC_2023_3241180 crossref_primary_10_1002_rnc_3728 crossref_primary_10_1007_s12555_016_0745_8 crossref_primary_10_1016_j_ifacol_2018_08_033 crossref_primary_10_1016_j_compchemeng_2025_109162 crossref_primary_10_1109_LCSYS_2025_3572074 crossref_primary_10_1109_LCSYS_2020_3044263 crossref_primary_10_1007_s10208_025_09689_8 crossref_primary_10_1371_journal_pone_0257598 crossref_primary_10_1007_s00498_023_00368_z crossref_primary_10_1016_j_ifacol_2015_09_097 crossref_primary_10_1049_cth2_12422 crossref_primary_10_1109_TAC_2023_3293014 crossref_primary_10_3390_math8101774 crossref_primary_10_1109_TCST_2017_2785833
Cites_doi	10.1080/00207171003692662 10.1080/10556780802699201 10.1016/S0167-6911(00)00087-6 10.1016/S0167-8191(03)00087-5 10.1016/j.cnsns.2008.08.005 10.1023/A:1025364227563 10.1512/iumj.1993.42.42045 10.1109/TAC.1972.1100085 10.1016/S0005-1098(99)00113-2 10.1023/A:1021727806358 10.1109/TAC.1987.1104567 10.1016/j.sysconle.2012.01.004 10.1109/TAC.2010.2042341 10.1137/110825844 10.1007/s10589-013-9590-3 10.1016/j.jmaa.2010.02.032 10.1016/j.automatica.2009.09.020 10.1134/S096554251301003X 10.1109/9.83532 10.1137/080730287 10.1214/aop/1065725192 10.1142/S021812741102963X 10.1142/S0218127407019755 10.1137/070696209 10.1137/080718206 10.1109/TAC.2009.2033751 10.1109/TAC.2011.2105730
ContentType	Journal Article
Copyright	Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml	– notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID	AAYXX CITATION 7SC 8FD H8D JQ2 L7M L~C L~D 1XC VOOES
DOI	10.1137/130914565
DatabaseName	CrossRef Computer and Information Systems Abstracts Technology Research Database Aerospace Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access)
DatabaseTitle	CrossRef Aerospace Database Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Aerospace Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Mathematics
EISSN	1095-7138
EndPage	2969
ExternalDocumentID	oai:HAL:hal-00804816v1 10_1137_130914565
GroupedDBID	--Z -~X .4S .DC 123 4.4 6TJ 7RQ 7WY 7X2 7XC 88I 8CJ 8FE 8FG 8FH 8FL 8G5 8V8 AALVN AASXH AAYXX ABDBF ABDPE ABJCF ABKAD ABMZU ABRTZ ABUWG ACBEA ACGFO ACGOD ACIWK ACNCT ACPRK ACUHS ADBBV AEMOZ AENEX AETEA AFFHD AFFNX AFKRA AFRAH AHQJS AIDUJ AKVCP ALMA_UNASSIGNED_HOLDINGS ANXRF ARAPS ARCSS ATCPS AZQEC BBNVY BENPR BEZIV BGLVJ BHPHI BPHCQ CCPQU CITATION CS3 CZ9 D1I D1J D1K DQ2 DU5 DWQXO E.- EAP EBR EBS EBU EDO EJD EMK EST ESX FRNLG GNUQQ GUQSH H13 HCIFZ H~9 I-F K1G K6- K60 K6V K6~ K7- KB. KC. L6V LK5 LK8 M0C M0K M1Q M2O M2P M7P M7R M7S MVM P1Q P62 PATMY PDBOC PHGZM PHGZT PQBIZ PQBZA PQGLB PQQKQ PROAC PTHSS PYCSY RJG RNS RSI SC5 TH9 TN5 TUS UQL VOH WH7 YNT ZCA ZCG ZY4 7SC 8FD H8D JQ2 L7M L~C L~D 1XC VOOES
ID	FETCH-LOGICAL-c331t-b47f5541b7b517049d5c4d56aa0d308c2074c37c2bfb831b5af80d535701c4b83
ISICitedReferencesCount	118
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000344748000012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0363-0129
IngestDate	Sat Oct 25 06:44:29 EDT 2025 Sun Nov 09 05:04:58 EST 2025 Tue Nov 18 21:47:11 EST 2025 Sat Nov 29 03:31:53 EST 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	5
Language	English
License	Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel	OpenURL
MergedId	FETCHMERGED-LOGICAL-c331t-b47f5541b7b517049d5c4d56aa0d308c2074c37c2bfb831b5af80d535701c4b83
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23
ORCID	0000-0001-6735-7715 0000-0002-5755-8326
OpenAccessLink	https://hal.science/hal-00804816
PQID	1620043167
PQPubID	23500
PageCount	26
ParticipantIDs	hal_primary_oai_HAL_hal_00804816v1 proquest_miscellaneous_1620043167 crossref_primary_10_1137_130914565 crossref_citationtrail_10_1137_130914565
PublicationCentury	2000
PublicationDate	2014-01-01
PublicationDateYYYYMMDD	2014-01-01
PublicationDate_xml	– month: 01 year: 2014 text: 2014-01-01 day: 01
PublicationDecade	2010
PublicationTitle	SIAM journal on control and optimization
PublicationYear	2014
Publisher	Society for Industrial and Applied Mathematics
Publisher_xml	– name: Society for Industrial and Applied Mathematics
References	atypb9 atypb8 Ambrosio L. (atypb2) 2008 atypb49 atypb46 atypb25 atypb47 atypb40 atypb41 atypb20 atypb42 atypb21 atypb43 Yamashita M. (atypb48) 2012 Vidal R. (atypb45) 2000 Kurtz T. G. (atypb29) 2011 atypb15 atypb37 atypb16 atypb38 atypb17 atypb18 atypb11 atypb13 atypb35 atypb36 atypb51 atypb30 Liu M. (atypb32) 2012; 42 atypb53 atypb7 atypb6
References_xml	– ident: atypb11 doi: 10.1080/00207171003692662 – ident: atypb20 doi: 10.1080/10556780802699201 – ident: atypb43 doi: 10.1016/S0167-6911(00)00087-6 – start-page: 113 year: 2011 ident: atypb29 publication-title: Heidelberg – ident: atypb49 doi: 10.1016/S0167-8191(03)00087-5 – start-page: 437 year: 2000 ident: atypb45 publication-title: Berlin – ident: atypb46 doi: 10.1016/j.cnsns.2008.08.005 – ident: atypb36 doi: 10.1023/A:1025364227563 – ident: atypb40 doi: 10.1512/iumj.1993.42.42045 – ident: atypb7 doi: 10.1109/TAC.1972.1100085 – ident: atypb9 doi: 10.1016/S0005-1098(99)00113-2 – ident: atypb13 doi: 10.1023/A:1021727806358 – ident: atypb18 doi: 10.1109/TAC.1987.1104567 – start-page: 1 year: 2008 ident: atypb2 publication-title: Berlin – ident: atypb6 doi: 10.1016/j.sysconle.2012.01.004 – ident: atypb42 doi: 10.1109/TAC.2010.2042341 – ident: atypb38 doi: 10.1137/110825844 – ident: atypb37 doi: 10.1007/s10589-013-9590-3 – ident: atypb41 doi: 10.1016/j.jmaa.2010.02.032 – ident: atypb17 doi: 10.1016/j.automatica.2009.09.020 – ident: atypb30 doi: 10.1134/S096554251301003X – ident: atypb16 doi: 10.1109/9.83532 – start-page: 687 year: 2012 ident: atypb48 publication-title: New York – ident: atypb21 doi: 10.1137/080730287 – ident: atypb8 doi: 10.1214/aop/1065725192 – ident: atypb25 doi: 10.1142/S021812741102963X – ident: atypb47 doi: 10.1142/S0218127407019755 – ident: atypb15 doi: 10.1137/070696209 – ident: atypb53 doi: 10.1137/080718206 – volume: 42 start-page: 1053 year: 2012 ident: atypb32 publication-title: IEEE Trans. Systems Man Cybernet. B – ident: atypb51 doi: 10.1109/TAC.2009.2033751 – ident: atypb35 doi: 10.1109/TAC.2011.2105730
SSID	ssj0014414
Score	2.4821906
Snippet	We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an...
SourceID	hal proquest crossref
SourceType	Open Access Repository Aggregation Database Enrichment Source Index Database
StartPage	2944
SubjectTerms	Approximation Control systems Dynamical systems Hierarchies Invariants Mathematics Nonlinear dynamics Optimization Optimization and Control Polynomials
Title	Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems
URI	https://www.proquest.com/docview/1620043167 https://hal.science/hal-00804816
Volume	52
WOSCitedRecordID	wos000344748000012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: ABI/INFORM Global customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M0C dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: P5Z dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Agricultural Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M0K dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/agriculturejournals providerName: ProQuest – providerCode: PRVPQU databaseName: Biological Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M7P dateStart: 19620101 isFulltext: true titleUrlDefault: http://search.proquest.com/biologicalscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Career & Technical Education Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: 7RQ dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/career providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: K7- dateStart: 19620101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M7S dateStart: 19620101 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Environmental Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: PATMY dateStart: 19620101 isFulltext: true titleUrlDefault: http://search.proquest.com/environmentalscience providerName: ProQuest – providerCode: PRVPQU databaseName: Materials Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: KB. dateStart: 19620101 isFulltext: true titleUrlDefault: http://search.proquest.com/materialsscijournals providerName: ProQuest – providerCode: PRVPQU databaseName: Military Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M1Q dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/military providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest ABI/INFORM Collection数据库 customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: 7WY dateStart: 19760101 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: BENPR dateStart: 19760101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M2O dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVPQU databaseName: Science Database customDbUrl: eissn: 1095-7138 dateEnd: 20140531 omitProxy: false ssIdentifier: ssj0014414 issn: 0363-0129 databaseCode: M2P dateStart: 19760101 isFulltext: true titleUrlDefault: https://search.proquest.com/sciencejournals providerName: ProQuest
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9NAEF4lLQc4IJ4iPKIFIYRUGby212sf05CoqEka2lS0XCyvHyJS4oS8FG78dGbs9do8DuXAZRRvRrGy82l2ZudFyGtpSSYjlxvMTqThhCwxfGkJg4uY-6krTSuN8mETYjTyrq78caPxo6yF2c1Elnn7vb_8r6KGNRA2ls7-g7j1j8ICfAahAwWxA72R4LuYR74_KsY1aIMQ7cthuJ_Ot3Os8sP09FmCmcA7cJZhd0FpbI76ixUmxH3HUuX8UqFIY693NVd27MXHzrDqOpHpjHe8hl-AFpqr8k6tz8HHDYs0_VmFR6yQmBZh_w_TeFolCusJAl2cKaTCRepugjm1u4myJguztdSdRlKoWDDqDHCNvboO5lYNa7yuUP2iPaQ6nC2_GOzyp-IvWgfYYP6gjVqdbmVEf3QW9C8Hg2DSu5q8WX4zcO4YxufVEJYmObQE9708-XOs41BgLDo62g3_Q_Wmgre91-_6xaJpfsV82t-O9dxWmdwjd5WTQTsFOO6TRpI9IHdqrSfhaaj79a4fkusCNLQGGrpIKXBQBRpagYZq0FAADQXQ0Ao0JR9VoHlELvu9SffEUEM3jMi22caQjkjBxGRSSM4E-I8xj5yYu2FoxrbpRRbYnJEtIkum0rOZ5GHqmTG3uTBZ5MDSY3KQAUieEOr6oXRFAg6sx50wFKFwhRBugh2fQsn8FnlbblwQqY70OBhlFuSeqS0Cvcct8kqzLos2LH9lgt3X32Pj9JPOIMA1dIwcj7k71iIvS-EEoEkxPBZmyWK7DpiLagQ7Qzy9Ac8zcrtC_HNysFltkxfkVrTbTNerNmmK809IP1-3yeFxbzQ-h6dTYSA9fgd0aHZzeoqUIe_QOsvpuJ1jMKcXQMf8y09Lu6Cm
linkProvider	ProQuest
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Convex+Computation+of+the+Maximum+Controlled+Invariant+Set+For+Polynomial+Control+Systems&rft.jtitle=SIAM+journal+on+control+and+optimization&rft.au=Korda%2C+Milan&rft.au=Henrion%2C+Didier&rft.au=Jones%2C+Colin+N&rft.date=2014-01-01&rft.issn=0363-0129&rft.eissn=1095-7138&rft.volume=52&rft.issue=5&rft.spage=2944&rft.epage=2969&rft_id=info:doi/10.1137%2F130914565&rft.externalDBID=NO_FULL_TEXT
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0363-0129&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0363-0129&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0363-0129&client=summon