Constructive Necessary and Sufficient Condition for the Stability of Quasi-Periodic Linear Impulsive Systems
The technical note provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose impulsions are assumed to occur quasi-periodically. Based on the set-theoretic conditions for robust stability of uncertain linear systems, th...
Uložené v:
| Vydané v: | IEEE transactions on automatic control Ročník 61; číslo 9; s. 2512 - 2517 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
New York
IEEE
01.09.2016
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers |
| Predmet: | |
| ISSN: | 0018-9286, 1558-2523 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The technical note provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose impulsions are assumed to occur quasi-periodically. Based on the set-theoretic conditions for robust stability of uncertain linear systems, the existence of polyhedral Lyapunov functions is proved to be necessary and sufficient for global exponential stability of quasi-periodic linear impulsive systems. A constructive method is developed for testing the stability of the system and for computing set-induced polyhedral Lyapunov functions. The method leads to an algorithm whose complexity is similar to the standard algorithm related to discrete-time parametric uncertain systems with the state matrix belonging to a convex polytopic set. |
|---|---|
| AbstractList | The paper provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose impulsions are assumed to occur quasi-periodically. Based on the set-theoretic conditions for robust stability of uncertain linear systems, the existence of polyhedral Lyapunov functions is proved to be necessary and sufficient for global exponential stability of quasi-periodic linear impulsive systems. A constructive method is developed for testing the stability of the system and for computing set-induced polyhedral Lyapunov functions. The method leads to an algorithm whose complexity is similar to the standard algorithm related to discrete-time parametric uncertain systems with the state matrix belonging to a convex polytopic set. The technical note provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose impulsions are assumed to occur quasi-periodically. Based on the set-theoretic conditions for robust stability of uncertain linear systems, the existence of polyhedral Lyapunov functions is proved to be necessary and sufficient for global exponential stability of quasi-periodic linear impulsive systems. A constructive method is developed for testing the stability of the system and for computing set-induced polyhedral Lyapunov functions. The method leads to an algorithm whose complexity is similar to the standard algorithm related to discrete-time parametric uncertain systems with the state matrix belonging to a convex polytopic set. |
| Author | Fiacchini, Mirko Morarescu, Irinel-Constantin |
| Author_xml | – sequence: 1 givenname: Mirko surname: Fiacchini fullname: Fiacchini, Mirko email: mirko.fiacchini@gipsa-lab.fr organization: GIPSA-Lab., Univ. Grenoble Alpes, Grenoble, France – sequence: 2 givenname: Irinel-Constantin surname: Morarescu fullname: Morarescu, Irinel-Constantin email: constantin.morarescu@univ-lorraine.fr organization: CRAN, Univ. de Lorraine, Vandœuvre-lès-Nancy, France |
| BackLink | https://hal.science/hal-01379018$$DView record in HAL |
| BookMark | eNp9kUFr3DAQhUVJoZu090Ivgl7ag7caWbLs47K0TWBJWzY9C1keEwWvtJXkwP77ymzIIYecBg3fG828d0kufPBIyEdgawDWfbvbbNecgVxz0TWq42_ICqRsKy55fUFWjEFbdbxt3pHLlB7KsxECVmTaBp9ynG12j0hv0WJKJp6o8QPdz-PorEOfaaEGl13wdAyR5nuk-2x6N7l8omGkf2aTXPUbowuDs3TnPJpIbw7HeUrL3P0pZTyk9-TtaKaEH57qFfn74_vd9rra_fp5s93sKisYy2XNvkYmml4xgA4E77lCa0WtBIwNSJTKmmboWd-CsZYpYVjPse0kMyMbxvqKfD3PvTeTPkZ3KBfpYJy-3uz00mNQq6448giF_XJmjzH8mzFlfXDJ4jQZj2FOGtq62CiUVAX9_AJ9CHP05ZJCgYSWQy0Kxc6UjSGliOPzBsD0EpUuUeklKv0UVZE0LyTWZbPYnaNx02vCT2ehQ8Tnf1QNkvGu_g8vCaH3 |
| CODEN | IETAA9 |
| CitedBy_id | crossref_primary_10_1109_TAC_2017_2753938 crossref_primary_10_1109_TAC_2019_2893149 crossref_primary_10_1016_j_jfranklin_2019_12_008 crossref_primary_10_1002_rnc_5502 crossref_primary_10_1080_00207721_2018_1536233 crossref_primary_10_1016_j_automatica_2017_08_023 crossref_primary_10_1093_imamci_dny040 crossref_primary_10_1016_j_nahs_2016_08_007 crossref_primary_10_1049_iet_cta_2018_5777 crossref_primary_10_1109_TAC_2021_3064988 crossref_primary_10_1109_LCSYS_2021_3066132 crossref_primary_10_1016_j_ejcon_2023_100890 crossref_primary_10_1016_j_automatica_2022_110490 |
| Cites_doi | 10.1109/TAI.1958.6367399 10.1017/CBO9780511526282 10.1016/j.automatica.2008.03.021 10.1007/978-3-642-02431-3 10.1016/S0005-1098(99)00113-2 10.1016/j.automatica.2013.08.022 10.1016/0167-6911(89)90021-2 10.1109/9.272351 10.1016/j.automatica.2004.01.004 10.1016/j.automatica.2007.11.014 10.1016/j.nahs.2012.06.001 10.1007/978-0-8176-4606-6 10.1016/0005-1098(94)00133-4 10.1109/CDC.2014.7039616 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 licence_http://creativecommons.org/publicdomain/zero |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 – notice: licence_http://creativecommons.org/publicdomain/zero |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D F28 1XC VOOES |
| DOI | 10.1109/TAC.2015.2496792 |
| DatabaseName | IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ANTE: Abstracts in New Technology & Engineering Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional ANTE: Abstracts in New Technology & Engineering |
| DatabaseTitleList | Technology Research Database Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1558-2523 |
| EndPage | 2517 |
| ExternalDocumentID | oai:HAL:hal-01379018v1 4164715341 10_1109_TAC_2015_2496792 7315029 |
| Genre | orig-research |
| GrantInformation_xml | – fundername: French project ANR-13-BS03-004 “COMPACS, Computation Aware Control Systems” |
| GroupedDBID | -~X .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 VH1 VJK ~02 AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D RIG F28 1XC VOOES |
| ID | FETCH-LOGICAL-c400t-92b3e046b70119142b27ecc43741f615e57ca6db0b81acc074a0b2e8950af0df3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 17 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000382686800014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0018-9286 |
| IngestDate | Wed Nov 05 08:10:15 EST 2025 Sun Sep 28 08:15:36 EDT 2025 Mon Jun 30 10:20:06 EDT 2025 Sat Nov 29 05:40:16 EST 2025 Tue Nov 18 22:41:40 EST 2025 Wed Aug 27 02:52:06 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 9 |
| Keywords | stability analysis Reset systems set theory |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c400t-92b3e046b70119142b27ecc43741f615e57ca6db0b81acc074a0b2e8950af0df3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23 |
| ORCID | 0000-0002-8950-8112 0000-0002-3601-0302 |
| OpenAccessLink | https://hal.science/hal-01379018 |
| PQID | 1815182134 |
| PQPubID | 85475 |
| PageCount | 6 |
| ParticipantIDs | crossref_primary_10_1109_TAC_2015_2496792 proquest_journals_1815182134 hal_primary_oai_HAL_hal_01379018v1 ieee_primary_7315029 proquest_miscellaneous_1835584757 crossref_citationtrail_10_1109_TAC_2015_2496792 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-Sept. 2016-9-00 20160901 2016-09 |
| PublicationDateYYYYMMDD | 2016-09-01 |
| PublicationDate_xml | – month: 09 year: 2016 text: 2016-Sept. |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on automatic control |
| PublicationTitleAbbrev | TAC |
| PublicationYear | 2016 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) – name: Institute of Electrical and Electronics Engineers |
| References | ref13 ref12 neši? (ref3) 2008; 44 fraga (ref9) 2009 ref14 goebel (ref6) 2012 fiacchini (ref15) 2015 ref10 luenberger (ref16) 1969 ref2 ref17 ref8 rockafellar (ref18) 1998 ref7 ref4 blanchini (ref11) 2008 ref5 yang (ref1) 2001; 272 blanchini (ref19) 1999; 35 |
| References_xml | – ident: ref4 doi: 10.1109/TAI.1958.6367399 – ident: ref17 doi: 10.1017/CBO9780511526282 – ident: ref5 doi: 10.1016/j.automatica.2008.03.021 – year: 1969 ident: ref16 publication-title: Optimization by vector space methods – year: 2015 ident: ref15 publication-title: Notes on constructive necessary and sufficient condition for the stability of quasi-periodic linear impulsive systems – year: 1998 ident: ref18 publication-title: Variational Analysis doi: 10.1007/978-3-642-02431-3 – volume: 35 start-page: 1747 year: 1999 ident: ref19 article-title: Set invariance in control publication-title: Automatica doi: 10.1016/S0005-1098(99)00113-2 – ident: ref8 doi: 10.1016/j.automatica.2013.08.022 – ident: ref12 doi: 10.1016/0167-6911(89)90021-2 – ident: ref13 doi: 10.1109/9.272351 – year: 2009 ident: ref9 publication-title: Impulsive Feedback Control A Constructive Approach – ident: ref2 doi: 10.1016/j.automatica.2004.01.004 – volume: 44 start-page: 2019 year: 2008 ident: ref3 article-title: Stability properties of reset systems publication-title: Automatica doi: 10.1016/j.automatica.2007.11.014 – ident: ref7 doi: 10.1016/j.nahs.2012.06.001 – year: 2008 ident: ref11 publication-title: Set-Theoretic Methods in Control doi: 10.1007/978-0-8176-4606-6 – volume: 272 year: 2001 ident: ref1 publication-title: Impulsive Control Theory – ident: ref14 doi: 10.1016/0005-1098(94)00133-4 – year: 2012 ident: ref6 publication-title: Hybrid Dynamical Systems Modeling Stability and Robustness – ident: ref10 doi: 10.1109/CDC.2014.7039616 |
| SSID | ssj0016441 |
| Score | 2.311716 |
| Snippet | The technical note provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose... The paper provides a computation-oriented necessary and sufficient condition for the global exponential stability of linear impulsive systems, whose impulsions... |
| SourceID | hal proquest crossref ieee |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 2512 |
| SubjectTerms | Algorithms Approximation methods Automatic Control Engineering Computation Computer Science Construction methods Linear systems Lyapunov functions Lyapunov methods Numerical stability Reset systems set theory Stability Stability analysis Test procedures Uncertain systems Yttrium |
| Title | Constructive Necessary and Sufficient Condition for the Stability of Quasi-Periodic Linear Impulsive Systems |
| URI | https://ieeexplore.ieee.org/document/7315029 https://www.proquest.com/docview/1815182134 https://www.proquest.com/docview/1835584757 https://hal.science/hal-01379018 |
| Volume | 61 |
| WOSCitedRecordID | wos000382686800014&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: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-2523 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016441 issn: 0018-9286 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fS-NAEB6s-KAPnp6KuVPZO3wRLjY_u5vHIoqCFA8VfAu7mwkWaiLWFPzvb2YTg3Ii-NYm02XJ19n5Jjv7DcBhUsgwkRH6ZhRxCzMMyOcU-nQxREsxltYH12xCTibq7i67WoI__VkYRHTFZ3jMH91eflHbhl-VDWVM9CXKBjCQUrZntfodA47r7apLDhypfksyyIY34xOu4UqPKdUYySx6F4IG91wA6Tqr_Lccuxhz9u1rs9uA9Y5LinEL_iYsYfUd1t4oDG7BjBtythKxCxQT5EMB-ulF6KoQ142Tj6BBBVkVrnZLEIcVxAkFkVBXNvsi6lL8bfR86l_RmHUxtYLyV_IPcfHw2My4-l10sufbcHt2enNy7ncNFnxLrvtMz8nESAmykYHTeYtMJAnSJCaaURLVwVRaPSpMYFSorSW2oQMTocrSQJdBUcY7sFzVFe6C0ARrQgFXJZziSKNUakrFp17pG2axB8PXZ57bTn2cm2DMcpeFBFlOKOWMUt6h5MFR_4vHVnnjE9vfBGNvxpLZ5-PLnK-xpCJxHrUIPdhi0HqrDi8P9l5Rzzv_nefEe1LKvMI48eBXf5s8j7dTdIV1wzYsTZ_IVP74eOSfsEqTHLUVaXuwTGjjPqzYxfN0_nTg_r7_ABmD61g |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fa9swED7abrDuofvRjXrrNm3sZTA3tixH8mMoKynLQscy6JuQZJkFMrs0daD__e5k17R0DPaW2Bch_OV031mn7wA-ilKmQnIf2zGnFmY-QZ9TPsaLqXcYY3F9CM0m5Hyuzs-Lsy34PJyF8d6H4jN_RB_DXn7ZuJZelY1khvSFF9vwIBeCp91prWHPgCJ7t-6iC3M1bEomxWgxOaYqrvwIk42xLPidILT9i0ogQ2-VewtyiDInT_5vfk9hr2eTbNLB_wy2fP0cHt_SGNyHFbXk7ERiN57NPR0LMJfXzNQl-9EGAQkclKFVGaq3GLJYhqyQIQ0NhbPXrKnY99asl_EZjtmUS8cwg0UPYae_L9oV1b-zXvj8Bfw8-bI4nsZ9i4XYofNe4XOymccU2cokKL1xyyWCKjIkGhWSHZ9LZ8alTaxKjXPIN0xiuVdFnpgqKavsJezUTe0PgBkEVmDIVYKSHGmVym2l6NwrfvNFFsHo5plr1-uPUxuMlQ55SFJoREkTSrpHKYJPwy8uOu2Nf9h-QBgHMxLNnk5mmq6RqCKyHrVJI9gn0AarHq8IDm9Q170HrzUynxxzrzQTEbwfbqPv0YaKqX3Tkg2J0wuZy1d_H_kdPJouvs307HT-9TXs4oTHXX3aIewg8v4NPHSbq-X68m34K_8BeqDunw |
| 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=Constructive+Necessary+and+Sufficient+Condition+for+the+Stability+of+Quasi-Periodic+Linear+Impulsive+Systems&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Fiacchini%2C+Mirko&rft.au=Morarescu%2C+Irinel-Constantin&rft.date=2016-09-01&rft.issn=0018-9286&rft.eissn=1558-2523&rft.volume=61&rft.issue=9&rft.spage=2512&rft.epage=2517&rft_id=info:doi/10.1109%2FTAC.2015.2496792&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon |