{"entities":{"Q6930740":{"pageid":21087796,"ns":120,"title":"Item:Q6930740","lastrevid":97059245,"modified":"2026-06-05T13:09:51Z","type":"item","id":"Q6930740","labels":{"en":{"language":"en","value":"A smooth Conley-Lyapunov function for hybrid inclusions on \\(\\mathbb{R}^n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8092504"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$775582A5-F43C-458C-A837-4BE4671EE640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59abd98e45c025c71ad99323bf255c3a37f459a5","datavalue":{"value":{"text":"A smooth Conley-Lyapunov function for hybrid inclusions on \\(\\mathbb{R}^n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930740$32CF4454-1241-47A5-83A4-66401775D463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e04d2540786fc76c362543364578fa28639dfd36","datavalue":{"value":"10.1016/J.SYSCONLE.2025.106204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930740$E3D3090F-EA0A-46B7-AA05-380244A19287","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc03a8d4907d7eb7d6de6be36ccdd9a8419d37e6","datavalue":{"value":{"entity-type":"item","numeric-id":6575439,"id":"Q6575439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$2E55849C-9D55-439F-997E-92260E35F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"492a6263882bc6a46890b9eea2a6a1b68be941b2","datavalue":{"value":{"entity-type":"item","numeric-id":184749,"id":"Q184749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$D277B7D7-399E-4670-BE21-0F7B7AA37BD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$CFF1250C-1591-45E3-B572-6B9CB01BE380","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae66bdf753b92b0f5163be13afadf445ae97ec1","datavalue":{"value":{"time":"+2025-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930740$5A6A5DE7-CE4F-418D-86D8-2129C8F2DD39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"048438d855c53eda2b7e314d8b44e9d9fcc898f7","datavalue":{"value":"This paper provides a rigorous construction of smooth Conley-Lyapunov functions for hybrid inclusions on \\(\\mathbb{R}^n\\). The authors consider both an invariant compact set and the basin of attraction of an attractor, establishing the existence of a \\(C^{\\infty}\\) function that strictly decreases outside the chain-recurrent part of the set, as characterized by Lyapunov inequalities.\\N\\NThe work extends existing Conley-type decomposition results -- originally developed for continuous flows -- to the setting of hybrid inclusions, which combine differential and difference inclusions with state constraints. The proofs are technically sophisticated, carefully handling the summation of infinitely many smooth Lyapunov-like functions while preserving smoothness and inequality conditions. A notable application is given in Section 4, where the authors use the constructed Lyapunov function to analyze the convergence of bounded solutions of a discrete-time simulator with square-summable step sizes, showing convergence to the chain-recurrent part of the attractor.\\N\\NOverall, this work provides a valuable addition to the theory of smooth Lyapunov functions for hybrid dynamics, with constructive proofs and a non-trivial application to numerical approximations. It will be of interest to both theorists and those working on computational or applied aspects of hybrid systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930740$42C873E8-C26E-46A2-9645-1C477D8C4658","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c0575a1525a82b09d283babed664893d6186c6e","datavalue":{"value":{"entity-type":"item","numeric-id":284046,"id":"Q284046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$2EF62EE8-D985-4A1F-B6A1-168B89C4201C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930740$B593DC2B-71C7-46D7-B33B-F2F7C1791FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930740$B27BB11D-7F15-4526-B87E-FF454565E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b10cf2d5239892c99d90d9e906d609a7e9ecb44c","datavalue":{"value":"34A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930740$A6175D08-DF6A-4762-BAD0-36761E779E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da375953b2c9a38e13eb3c41d025ddff1b871a59","datavalue":{"value":"8092504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930740$DC28EAB5-B5C6-47A5-8F2D-B269B187A8FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b83b6fff54a9e7aedcd5f90d91862227cb64a80","datavalue":{"value":"hybrid inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930740$C1A9B385-317B-4F12-86E2-9F04EB57738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ceb3175a370558e55f38632d56fc7a42999866","datavalue":{"value":"Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930740$0ECD313B-D7AA-4372-B70D-1645805C7912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792d74962669eaab5f3cd186b54122c2a161e020","datavalue":{"value":"chain recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930740$BFA86D56-A9C6-421D-80C7-3C30DA966B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd683d2badaebfc312e5da1c869b967de5b63b88","datavalue":{"value":"Conley decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930740$C277EDA4-6196-4753-9DB7-609B38CFB01A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$96F945A7-2B91-4693-9CBC-17862C0DF9F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"006105d6cc35a4c0c56f5ce79a9166a8101fd845","datavalue":{"value":{"entity-type":"item","numeric-id":3224358,"id":"Q3224358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$97775E2B-E67F-441C-B095-A9D5B64CB5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc84d7dabbd19066d4807bd2505625aa596c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138769,"id":"Q3138769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$26C40F7E-9839-4B8E-BD3F-8B68D170EFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0993623db2f2e5c64147e260021283ac8587cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1268083,"id":"Q1268083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$3C692B51-682E-4DAE-B45D-AA3CFAD28282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599cab89737459cbb17d0f1a939df9fe9b5f08e3","datavalue":{"value":{"entity-type":"item","numeric-id":2503638,"id":"Q2503638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$D6202F7E-E47D-439C-8710-9A98F038CAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a4f9db77d223b8f3140e9331f9a94839818ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4974177,"id":"Q4974177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$A8022BF7-F845-4CCA-A5F3-206AD6DFBC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2059ce4eb6b0f8c3be4476ba68a593415403bd0","datavalue":{"value":{"entity-type":"item","numeric-id":258389,"id":"Q258389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$AF2E7A61-0C21-47D2-A925-25B7454C2183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7227b3602c0ed8561bea6df6bc10f54025b940","datavalue":{"value":{"entity-type":"item","numeric-id":4180600,"id":"Q4180600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$E08D0B52-B4D3-4160-8DE0-0A0029DE1925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f144c10af3c054fb328a4037afea495821f9048","datavalue":{"value":{"entity-type":"item","numeric-id":4856936,"id":"Q4856936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$CD732FB6-1CA9-4178-ADC6-425376AC87B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b87f9112f3f31a6c884b28b9f42845db132973","datavalue":{"value":{"entity-type":"item","numeric-id":5004524,"id":"Q5004524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$0B735FF3-EBC9-4FD0-B814-72A060AEB4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00017d52c6d08f7a1070fd835fcc7ce046f18079","datavalue":{"value":{"entity-type":"item","numeric-id":6084724,"id":"Q6084724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$E12D82A9-3324-42DC-B11A-CC7902D72B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5bf55beea72020a2c0fe67b28a03fc484e1484","datavalue":{"value":{"entity-type":"item","numeric-id":3135846,"id":"Q3135846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$759A7C06-DA7A-4A5B-8300-1316BE1EF9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd34bd4be122be305607b682e2828bf751cf4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4644945,"id":"Q4644945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$94D9C04F-4FF2-43BE-9283-6BD42038E25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c8ed434bc5f96a51e53f7d4f2b564ea487abef","datavalue":{"value":{"entity-type":"item","numeric-id":2660462,"id":"Q2660462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$612078C7-0A88-41C6-B8A7-4272530AFF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba38986d6c0aa43d1056ca52ed2f780c88e0009","datavalue":{"value":{"entity-type":"item","numeric-id":2696119,"id":"Q2696119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$A3FA8E78-82F7-4230-A8EB-85661D41EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ea24a7a9a51229fa829075a660b50cd2161163","datavalue":{"value":{"entity-type":"item","numeric-id":4632229,"id":"Q4632229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$F4B5FB47-137F-4D85-9BD6-67C3E5B854FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a433c97deb980c372b126cb96a1775fa72822efc","datavalue":{"value":{"entity-type":"item","numeric-id":2072116,"id":"Q2072116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$A0220F43-4084-49B4-BC21-AF8EFEAD6363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f70917b43b354ec9c0ff7d403cc89cb8204c77","datavalue":{"value":{"entity-type":"item","numeric-id":5879239,"id":"Q5879239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$24103EC2-C90C-4406-B879-9AE5304489AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49feda997d178939676b98a93bbbce714fee45f2","datavalue":{"value":{"entity-type":"item","numeric-id":4007819,"id":"Q4007819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$B16091CC-B634-43CF-B9AE-E50F985D2EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c56dd04db160d988e35d3b7cfa4a6e78005cea","datavalue":{"value":{"entity-type":"item","numeric-id":2026611,"id":"Q2026611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$EF78B174-D0F6-4B49-B12D-573BBE17E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6564bd09466a484854fafa15fa9a33ff20da54e","datavalue":{"value":{"entity-type":"item","numeric-id":2884600,"id":"Q2884600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$D04F0E5A-B4A3-41A6-B975-22D604527AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1d5fd50a04b7aa589462ee2f1d83faccf92ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5317133,"id":"Q5317133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$9BC775EC-4002-466F-A8F6-BE29A8279313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fc1ebd72311c6bd86f820fa81d0f54181755a1","datavalue":{"value":{"entity-type":"item","numeric-id":4375190,"id":"Q4375190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930740$7F2BA531-9281-4A39-9C69-64F13E4DFB7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6930740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6930740"}}}}}