{"entities":{"Q2406963":{"pageid":2417706,"ns":120,"title":"Item:Q2406963","lastrevid":74215866,"modified":"2026-04-14T19:00:44Z","type":"item","id":"Q2406963","labels":{"en":{"language":"en","value":"Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6785677"}},"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":"Q2406963$E728C6FD-296C-42E3-94B4-D5E9443E3D77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25848203323fedc772b44aaa48f1e873a25c4cf2","datavalue":{"value":{"text":"Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2406963$B60CD308-07EE-490D-B927-ABE5A7EBEBBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfbece95ef59a15f7f3d5dfe1a7b66d04939a9a0","datavalue":{"value":"1378.93099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$9F9F36EE-9071-4DFA-970F-EAF1C8D952D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2277a6cdd3b0a7659ae07581422425259f6b9b11","datavalue":{"value":{"entity-type":"item","numeric-id":2406962,"id":"Q2406962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$C337CA8F-D56D-4D6D-9A56-58922559FE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$477B4A28-04C8-447A-9691-1E942059F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$15AE313A-27CD-48AB-9E73-B4C3F594DAAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$8B7BCCE2-C6D9-44EA-B365-0A9AD7CA5DC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d580e5f15780943a787bfc2ad327c64edeb4b9d4","datavalue":{"value":{"time":"+2017-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2406963$EF0F9C73-10D7-4A84-BB3E-BB1B6C4B36A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fc648f2b3cbfd7ca947171669dbba40874dba93b","datavalue":{"value":"93D09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$D9072AB7-0DD9-4628-B588-8BBAC0A2F838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$9824523A-9BAA-4293-B952-29EBD41F66C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e618dbb03cde2dc4cd11d1f0029844ebecd0df3","datavalue":{"value":"34K45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$D71F422F-D95C-4070-A4BD-5DEE693A0B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$62B22107-0AF7-47BB-ADF7-CB37CF7ADB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$DD69F48E-BE38-49EB-8750-C83B9173B40E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"033e11240053f27f8aa0d258f706ace4f880fb46","datavalue":{"value":"6785677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$E811B2E9-9E91-49C2-B4B2-319210A3D531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a02c7186c3e2e4a58ec75cb1fb3fc7d294e88c","datavalue":{"value":"stability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2406963$C7391841-45F5-4C90-B00C-6EA82D0CEC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2406963$8A255A31-A846-4324-A000-FFFEA2B370F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8071781c6d86b901ed9ae8efbeaaabd13a55e867","datavalue":{"value":"linear impulsive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2406963$7F8F945A-A212-4E21-B8BE-71226C320D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c608dcf70f4099b4d207ea3b6055cdcf4d8029","datavalue":{"value":"difference inclusions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2406963$6DD3DFCF-CD52-4C20-AAA9-512C2DB746AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2406963$7A870DDA-6CC0-4634-B7C5-D393550FC66D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$0D166B9A-AD12-4D14-A09D-D391A3C9556B","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":"Q2406963$FC6FC0B4-4420-4E61-863F-FAA30A16DC37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eda314b2e9f68c9bd2c27d75c98c67995b987869","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2016.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2406963$B7D6E506-297A-49E7-95CA-18B8BD162DB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"139e6f17d9f33eb6422e21aef47668cfbc2cd90d","datavalue":{"value":"W2432052254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$344DE880-656E-47A2-8010-5E638FCE2811","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea3cc4c7f4ae3ac46511b8e015d7e0183077aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2350815,"id":"Q2350815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$AABE9D99-7AE0-4DF1-84C9-889F2C2163D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da9f633885702bf04f764542d8cf6ed2a701a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5347837,"id":"Q5347837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$7E307D4E-AA39-4CC4-A704-01EB6C5C9B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d3976d4ba1a0c44dfb2b1a3ce5ea95a990be59","datavalue":{"value":{"entity-type":"item","numeric-id":905778,"id":"Q905778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$302F5820-54C2-4A11-8FA8-680C33A3934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9daf5316b39f03f8766d1012d133f50501664494","datavalue":{"value":{"entity-type":"item","numeric-id":4974459,"id":"Q4974459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$DD9CC280-15B5-45EA-9EA4-529EB7E201A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$36C7D6C0-04C6-492C-A5CD-475F1D4C0A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd71b8bf2a2be49fac6edf146a370242b98e623f","datavalue":{"value":{"entity-type":"item","numeric-id":3557068,"id":"Q3557068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$D926DDE6-5478-4A94-9130-B0EBD73C6995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3333173e608e1ea11152f585437da45ef5ef82f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988969,"id":"Q2988969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$A536A230-BD4E-4EEE-A071-C77841854BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6ab07623acbf2a6e4dc7aee74c655b19a1c3e3","datavalue":{"value":{"entity-type":"item","numeric-id":2980395,"id":"Q2980395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$3D34727A-1946-412E-9D4D-37C18B40E1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9298e63ce692a8837f9cee559371f52e99b1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":360633,"id":"Q360633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$CA342F54-555B-4C57-B789-244D891F12EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc26d4693cab7a6d898954dd61f4b2028f9b96c","datavalue":{"value":{"entity-type":"item","numeric-id":445056,"id":"Q445056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$19F6F6F4-3C7D-4365-BF52-BD82E324379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ee90be7865180866928a7ba364e91bdf33079d","datavalue":{"value":{"entity-type":"item","numeric-id":5353255,"id":"Q5353255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$3E8611A2-3ED0-4221-8669-6A3EE083476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73650fd014d921ad829662a555c64b185d5cc0f0","datavalue":{"value":{"entity-type":"item","numeric-id":983956,"id":"Q983956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$CDE637BD-1072-4498-8DB2-CA78143460EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516da1526fc137d6f687e540d09c304c6eb544d6","datavalue":{"value":{"entity-type":"item","numeric-id":705171,"id":"Q705171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$0918BBAC-3F11-4779-8B1A-342DFC1C1B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd26449ae26a0470ba682ae7c8c39819e5825f73","datavalue":{"value":{"entity-type":"item","numeric-id":3074520,"id":"Q3074520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$42EB61A7-CA2D-4AD8-ABBF-8011604ED7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbcc2bb4408fa2fc33bb6ec5cfaa9368abe7328","datavalue":{"value":{"entity-type":"item","numeric-id":2427470,"id":"Q2427470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$7EE88216-895E-4428-82CC-D236884EED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88500ed5c1eb6949f9f1d10bd3a7c042bc8f0c85","datavalue":{"value":{"entity-type":"item","numeric-id":4953384,"id":"Q4953384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$EB0B8190-67FE-4505-A412-86805171061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$2DA65E05-C8E4-4F13-BE91-051582E8E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6718e41d4e26b21b04e76a329f84fefa265f58fc","datavalue":{"value":{"entity-type":"item","numeric-id":988780,"id":"Q988780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2406963$1FBFC046-2C24-44A7-87E6-4A2A6283A016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"021e01500a0f13a0fe5370b6abfa29b0339638b2","datavalue":{"value":"10.1016/J.NAHS.2016.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2406963$8C13655C-30B4-44B6-A33B-988A96FC9B77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8134d85e0af69adade9d96ac601f9a688f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2988969,"id":"Q2988969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fff4b11720e47bbbe41ba72adf47e9faa30ac4","datavalue":{"value":{"amount":"+0.8355581760406494","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":"Q2406963$E0F15343-1B6B-49F9-9EA5-980E97FA38CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70601677ee738933d161c6e3b295a64f7c3538b","datavalue":{"value":{"entity-type":"item","numeric-id":4556332,"id":"Q4556332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd71bbf84522aa5ab97546223e7a28c2b0722b2","datavalue":{"value":{"amount":"+0.7544668912887573","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":"Q2406963$312A487C-586C-417E-8C3F-D8A9E7EAA68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ac3d2607a5b04c4878ed03dc0be3e1ebf2931e","datavalue":{"value":{"entity-type":"item","numeric-id":2350815,"id":"Q2350815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb6a7356a7b47c8ffa0ebe6c92a9f7cac007be7","datavalue":{"value":{"amount":"+0.7392993569374084","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":"Q2406963$92BE8F4C-1758-403A-9430-11388EED4A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c5af40edee3321679c7c9ea7b553f128086131","datavalue":{"value":{"entity-type":"item","numeric-id":2391338,"id":"Q2391338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be48db2d745862efc1650ac7580ff13e76935c26","datavalue":{"value":{"amount":"+0.7304149270057678","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":"Q2406963$570F9363-84B5-4508-9BDF-32D89CAE5FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa256b8109a61fed396da14785f93b7620c299d","datavalue":{"value":{"entity-type":"item","numeric-id":360686,"id":"Q360686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5085611e98ac83d0b2bc79d67ac99af925e3653e","datavalue":{"value":{"amount":"+0.7298164963722229","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":"Q2406963$9D8D2FD2-E75B-4307-B29F-D6A08195AA8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stability_verification_and_timing_contract_synthesis_for_linear_impulsive_systems_using_reachability_analysis"}}}}}