{"entities":{"Q1433445":{"pageid":1444185,"ns":120,"title":"Item:Q1433445","lastrevid":67465560,"modified":"2026-04-12T18:08:03Z","type":"item","id":"Q1433445","labels":{"en":{"language":"en","value":"A constructive converse Lyapunov theorem on exponential stability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2075936"}},"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":"Q1433445$31A434A3-DD8C-42A1-A5AD-8443FA482A84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477de1eed794b24138696b33ac7f96bbe40bf762","datavalue":{"value":{"text":"A constructive converse Lyapunov theorem on exponential stability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1433445$6E5486F8-1466-456D-AAF3-D8D1CD88A80B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15074d7480669ca9ee5111f17ba2f352b60bc938","datavalue":{"value":"1070.93044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$358EDD3E-02F2-443A-949D-94B18A7A930F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12360f81ee541e586ca46b53d6a0b87af7080802","datavalue":{"value":{"entity-type":"item","numeric-id":187060,"id":"Q187060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433445$01FFCBD6-77FB-4B7B-9691-3E94A5B1F457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1e446d95480f437be9c7dc7e9441d788492d13","datavalue":{"value":{"time":"+2004-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1433445$65919774-9E8B-445A-82F8-D443B3184238","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d601f096cce54b9aff3d2f747432b5c7909118a","datavalue":{"value":"The paper is based on a software proposal for constructing candidate Lyapunov functions which are piecewise affine. These Lyapunov functions are interpolations on some grid points obtained by running the software based on linear programming. It is shown that, for a system whose equilibrium at the origin is exponentially stable, one may obtain a piecewise affine Lyapunov function by running the software (the run is \\`\\` successful'' or \\`\\` feasible''), i.e., an inversion of the Lyapunov theorem on exponential stability is given which allows the Lyapunov function to be obtained from a computer program. Some examples are given and comments on complexity are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$17A45669-99C4-4814-B01E-BE66DE0C2B4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$5AEEB2B1-707A-4E29-8BC8-BD2BE86BBE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$17CDDD3A-F906-4F12-B900-4149D4B800B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae0a986d607d9b0c7df46eb597d9aa7ca19fc1f","datavalue":{"value":"93D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$8FE4EEED-2777-49AF-9389-95B41165971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$01FB1574-3123-49C4-9D17-DC2ED40EE05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$3EEEDBEA-8D98-434D-AE50-BE75709AD4B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e55e7d014d6ef4177a0c16d2f0cbf51f41ad05","datavalue":{"value":"2075936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$037F0FAB-6BCF-4BC1-B59D-F598ECD9D2FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67b2f3cea0284732f172d4f8e51d8a3ae449ab","datavalue":{"value":"Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$24F469E1-A66E-41FC-91C9-A6A4F80F177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce0b71a002f52df705a5857e681988cc2c85c949","datavalue":{"value":"converse theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$BCAB8601-352B-43C8-8CD7-D82ABA497AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ede3fdd65349664ed32fe576a596a63800f79b8","datavalue":{"value":"exponential stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$8CCD17B1-7A05-4E1C-AA09-202C473C8137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d71507f2ed2edacf3bb5d42233bf1a178a69b919","datavalue":{"value":"software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$97637E4D-0B3C-4B14-A7C3-BE8BDF9F0154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cdf94012ac7a8399f4b12eeea806dd6c5b4d0bd","datavalue":{"value":"interpolations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$DC38234F-892A-40FF-85F0-02FF7790581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433445$5BCE4E30-0111-41F6-A439-103918FB81F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7122159c60ce448df935d562e9b428a0931b38","datavalue":{"value":{"entity-type":"item","numeric-id":764995,"id":"Q764995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433445$4E9DC904-A21C-44B9-AB7A-4796C80AAEFD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a40ec2ad9b08f991e4bd8fe72a20c513ce0de376","datavalue":{"value":{"entity-type":"item","numeric-id":397432,"id":"Q397432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433445$714E3E7A-5FEA-4922-A664-F1265ECDEE29","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":"Q1433445$5BB3DA40-6006-490E-953E-70E722E6C3C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3152edf3c9153109b0a4d0914f01a60d235e1e68","datavalue":{"value":"https://doi.org/10.3934/dcds.2004.10.657","type":"string"},"datatype":"url"},"type":"statement","id":"Q1433445$63EC4AED-56FF-4EC7-A0E8-B7E3FF11E954","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ee6772ff4d57570dfc3eeb360067a6ad96c22a","datavalue":{"value":"W2161142397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$E46D5FCB-9C6F-4603-8E2C-7BEC1BAE0B84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"100dad34f42bfafc7fc298bb47ab800de021416c","datavalue":{"value":"10.3934/DCDS.2004.10.657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433445$E99F7D67-BED2-4AB0-91DE-AB61C021BE3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a2940d38b8adb9ca07a506602d6aff5c857e40","datavalue":{"value":{"entity-type":"item","numeric-id":662089,"id":"Q662089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7791ccf5af3de9075530037f6ee9aa42aaa4971f","datavalue":{"value":{"amount":"+0.8466974496841431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1433445$81EE4573-9E00-40F2-A2BE-F0D65E095DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a7b6006648735f80896d3d17a209fc026797c2","datavalue":{"value":{"entity-type":"item","numeric-id":5256297,"id":"Q5256297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f637d9ac8dab3d96c019b39f716f1591b4d18e","datavalue":{"value":{"amount":"+0.813542366027832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1433445$CFCEA70D-E07B-4810-9FE9-748A7BF3053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebe1004557338f2f4b1f04b5d9ca9210ae28d37","datavalue":{"value":{"entity-type":"item","numeric-id":515790,"id":"Q515790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2079c7df1941e91202f0936945612709f35c5d","datavalue":{"value":{"amount":"+0.7950580716133118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1433445$E00F13B7-2C1C-4B7C-A145-049981B34732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c13b2d60c581e9e4c3159483bfed103ec4d0f9","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b969368173f0fae325b7f8275153552a671ef5","datavalue":{"value":{"amount":"+0.7925841808319092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1433445$DADD7695-6968-4438-AD04-04FB11D5193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6b2a49da31c44ac4c106add42d916316af92a7","datavalue":{"value":{"entity-type":"item","numeric-id":3148712,"id":"Q3148712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46a8ce6d364995db39f2d3452ad4bb0336a5ec6","datavalue":{"value":{"amount":"+0.7900910973548889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1433445$5F03DAB4-C63F-44BA-A68A-41478FA7EACF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433445$C72C8F56-24E6-46A7-801F-433F43C80F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive converse Lyapunov theorem on exponential stability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_converse_Lyapunov_theorem_on_exponential_stability"}}}}}