{"entities":{"Q2706143":{"pageid":2716882,"ns":120,"title":"Item:Q2706143","lastrevid":82781609,"modified":"2026-05-06T21:55:51Z","type":"item","id":"Q2706143","labels":{"en":{"language":"en","value":"Existence of Lipschitz and semiconcave control-Lyapunov functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1578779"}},"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":"Q2706143$601F4BD7-9F8F-48C1-9589-9F5AE225962D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47be651cec8973559bc4ca279a2b6f62c1f55c07","datavalue":{"value":"0982.93068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$60AB12A4-62A8-4FC2-98EA-8F2759ECF0E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99a5669207b00106f873444ad5d466c7e4ef60de","datavalue":{"value":"10.1137/S0363012999356039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$FC3C05A4-EDF2-47C5-A2B2-D042C895A4DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d6dd97963a4607f6ebf96aa05ff44a682c059c","datavalue":{"value":{"entity-type":"item","numeric-id":317005,"id":"Q317005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2706143$D7BD9E66-DA9F-4C69-B066-8D6552DA1290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2706143$8EA9CD63-255C-4C7C-BFA8-FC8B3338A02D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2706143$5B7048A5-F1DF-487A-9895-8E303B57460E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$22B2E015-2598-4264-BD9C-8FCC0B73E0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"406c80d213b264ba577b5aab979b8ac352491ba7","datavalue":{"value":"93D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$E815BD02-2BED-4F71-B1A3-10BE625A9943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$546C6850-98A0-4BB4-BD44-D039F907AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cc0a69df9833551a36455c96769c276a21473cc","datavalue":{"value":"49J52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$5FBF686C-6040-4F24-A9D5-8C376925B5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9d50fc16a6b95cec3fa658cff51f4e1587dfcfd","datavalue":{"value":"49L25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$A5414D2B-D63A-46E5-8176-76B8FD87F233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2975ac950eeadb7fe95d5dc8a6cc45de857873b9","datavalue":{"value":"1578779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$FA2B1866-0417-4B3D-AC01-DD74522AC67D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc212f3d49a6f579f6f1d823322c354438595fe3","datavalue":{"value":"asymptotic stabilizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$38B7799F-8CD0-4AF8-91F5-D2952F6CC538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835b7a0ed65ea19f2e3ed2c610deb8c4846fd840","datavalue":{"value":"semiconcave Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$02C7914B-F99D-4BE2-93A7-0FD2D87CE8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb548fdfbf47797fa46c267e5bb7bcf09d978aad","datavalue":{"value":"nonsmooth analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$EF17E171-71A2-4B81-8584-506A35CED5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfc4093d69f50373ca547a8ba96a191b35632f3","datavalue":{"value":"viscosity solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$CAB9A456-6C5E-442E-966C-4AF2CB4075F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ae9872d8e74248764f95aef3b0edf3f504ab4e","datavalue":{"value":"semi-concave Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$1E9EB66D-FB71-4970-94CC-BBB5DCE3C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f11f6f367af047411582b2708ecb59cc82e76d","datavalue":{"value":"proximal subdifferentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$8A08CEB4-DCA8-4C3B-9FC3-AB3641153501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3c7ca3baf0e31b202ac4a54ce6ee05e5f2d5a2","datavalue":{"value":"viability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$A3C635A2-8013-4F4E-8CCF-2338F2FAA00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad88657d1c6fb3eabc519c4882a6a0bf9aeb158","datavalue":{"value":"weak-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$2B70182C-E629-4E93-A82F-4D434246DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78016798d3eed73095b7c28ec4ec3194df1998e2","datavalue":{"value":"inf-convolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$56791C96-125D-41C4-8022-013B98305030","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":"Q2706143$2158CF8B-9B25-4D69-9A1E-DA812C2DA4FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39242720ecb7811152138cec244c1670dfce49af","datavalue":{"value":"https://doi.org/10.1137/s0363012999356039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2706143$4C869B24-3320-425A-84C5-6F8BF94EE7D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc84b3982b823c48389ae52964633e81c88d45a5","datavalue":{"value":"W4319776160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2706143$944D9B39-9321-4698-8C9F-214F6935C25D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59e328cc75c0bd72413a30b8ebae334bb5d001e7","datavalue":{"value":{"text":"Existence of Lipschitz and semiconcave control-Lyapunov functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2706143$0AD2BC34-5EE1-46A6-876F-FD8A02259F40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4441e5a696fcff566e4fd1eb63c8e30731bdb04","datavalue":{"value":"The author constructs a Lyapunov function for globally asymptotically controllable nonlinear control systems. The controllability to the origin is studied via Lyapunov functions satisfying a differential inequality with proximal subdifferentials. This is one possible way for studying nonsmooth Lyapunov functions (see also \\textit{E. Sontag} and \\textit{H. Sussman}, Nonsmooth control Lyapunov function Proceedings of the IEEE Conference, 2799-2805 (1995) and \\textit{J. P. Aubin}, Viability Theory, Birkh\u00e4user (1992; Zbl 0755.93003)]). The main point consists in noticing that the epigraph of the Lyapunov function has some viability -- or weak-invariance -- property. This property can be equivalently characterized through proximal subdifferentials, or the contingent derivative, or viscosity supersolutions, or Dini derivatives (in the Lipschitz case).NEWLINENEWLINENEWLINEAfter constructing a Lipschitz control-Lyapunov function, the author proves that there is also another control-Lyapunov function that is semiconcave. This fact is proved by using inf-convolutions and nonsmooth analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2706143$2F69D2E5-A06D-4EC0-8797-8F373C54F6FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc605ab5f77e4b327b1648b9ac88da637fef89ca","datavalue":{"value":{"entity-type":"item","numeric-id":291203,"id":"Q291203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2706143$375BFB67-5AED-4133-AEE8-F89A5AC55374","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3702a3889af453ed8c9f28743ee8a3b89c097a","datavalue":{"value":{"entity-type":"item","numeric-id":4331449,"id":"Q4331449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3354c7b9e5c75dc7736e6751621a9a3651f25cb0","datavalue":{"value":{"amount":"+0.8380448222160339","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":"Q2706143$64F8061A-9B65-4C71-AB6F-37E4952CA48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726952477a7857f24db19572ae28758ec0583e41","datavalue":{"value":{"entity-type":"item","numeric-id":4652504,"id":"Q4652504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02245537930dc2782472a7ee924f597dc417e087","datavalue":{"value":{"amount":"+0.8299608826637268","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":"Q2706143$5E5228D5-9DB3-4805-B007-419CBAE295DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8030d85cd0dd6c141f6f6afb14ce2aaff57c767","datavalue":{"value":{"entity-type":"item","numeric-id":3614795,"id":"Q3614795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f276ab1eeb624eb1047fc341fd9b5a049299527","datavalue":{"value":{"amount":"+0.820793092250824","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":"Q2706143$31F35252-22A5-452E-B7F2-1D07E9052E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdf68074ec29cb1d7791d304de7004f9dee3653","datavalue":{"value":{"entity-type":"item","numeric-id":2485740,"id":"Q2485740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5148e451278b4e102537c07c8f2bd5db985a4d4f","datavalue":{"value":{"amount":"+0.8137843012809753","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":"Q2706143$3F6378AA-E846-4F8D-B7CF-7362CF171E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19c27b2829c10b231a3ec751f4d35a3506d7137","datavalue":{"value":{"entity-type":"item","numeric-id":4636348,"id":"Q4636348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877594b6ae10366c2e8c98416966956b67610f00","datavalue":{"value":{"amount":"+0.8133982419967651","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":"Q2706143$10D54C3C-933E-44FF-8CAD-F0F55B4C894D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence of Lipschitz and semiconcave control-Lyapunov functions","badges":[]}}}}}