{"entities":{"Q2280884":{"pageid":2291627,"ns":120,"title":"Item:Q2280884","lastrevid":57822765,"modified":"2026-04-02T16:39:16Z","type":"item","id":"Q2280884","labels":{"en":{"language":"en","value":"Compositional synthesis of finite abstractions for networks of systems: a small-gain approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145594"}},"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":"Q2280884$A9F99F4F-FC10-44D5-BEE4-0D28281FA3B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c49f4f8c74b9341edbaa9aa569203b46055f6870","datavalue":{"value":{"text":"Compositional synthesis of finite abstractions for networks of systems: a small-gain approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280884$544F8453-43F5-40B9-A95B-78405D1A2ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d292e265948edb8f9cfdc6e3ff3d9e8b788a4cb7","datavalue":{"value":"1429.93143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$0A2F4158-F1B6-482A-8908-49D98E2C17C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c84fb70a1ca8b4a58137dea7f6d7e808b6b920","datavalue":{"value":{"entity-type":"item","numeric-id":2060870,"id":"Q2060870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$60D1253E-6525-4035-95F5-1746C8D4C864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$83891B5B-5F0E-4A8C-A0A5-87C0C5026D03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$AEA943C5-F0AB-47E7-BB9C-CE1B0A68A33D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-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":"Q2280884$4E237DB3-33CE-4DBA-A12D-CF26306A0CDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"158b57d3018b4ceaf114e81cceaca219d4671d49","datavalue":{"value":"https://arxiv.org/abs/1805.06271","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280884$0D1E053D-E875-4955-8B91-E76AE1B06941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$FAD5E671-7A7D-475E-848C-150C86579270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$E25803EA-E3E1-4D0A-9677-F262A7F9495E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$72DD6735-959C-4F89-AE60-84CB3E6AF1D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"598f763e8ac55d3ae2dca6e60416daf38f006d4e","datavalue":{"value":"7145594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$870218A5-60A9-4659-9563-22314CEFA7B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$23AF2993-7551-4C0E-87EA-0A6ABBCFA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$C4F5C2E7-E03E-492D-BD7B-9F5627948356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39166667397d46932cd6f92483ac19d6e288b3bd","datavalue":{"value":"networks of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$B717522E-792E-4256-A843-D4820B7628C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f69b0a13f9b49cce08df6ca8373b873676fd57","datavalue":{"value":"symbolic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$8D8EB0AA-9D0D-4A62-B651-0DB4BEDD3A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb98b1b0d1260ad3bb232576900e6e1506531b4","datavalue":{"value":"formal synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$B2E1FD16-961C-4890-BED8-57E260855EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d574c56f51bde47b57c757e3c085a0dab00fbf","datavalue":{"value":"small-gain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280884$6FC406BA-4450-4FD3-B2DF-06E1ED505C32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1c691fae64baf81d14e45b8a7e4d6a630c6b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":31993,"id":"Q31993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$1B3680FE-039D-4500-A653-0DB5BAFE1088","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":"Q2280884$00E4016F-9EFC-4354-BBF7-5C6B4CB3F6ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"827333ecb08a21894d7eae0e884d5e2158d33877","datavalue":{"value":"W2964206241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$33F9E9A9-126F-40B8-89D3-82D7E8B3D569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$728464A1-FDFB-430C-9503-2CAEDF119CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df3b3254b96a6a1b0543a294996584ffe2e218","datavalue":{"value":{"entity-type":"item","numeric-id":5310048,"id":"Q5310048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$14AA6470-E1A4-43C6-8A49-3CC4014C0BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae96bf1835bc8159afb0def73c1f3626cdf3000","datavalue":{"value":{"entity-type":"item","numeric-id":2799496,"id":"Q2799496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$81C6D1FF-A4B1-4DAD-961E-B1AA0480823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d189279e3f4609e481cef5e620f06bc32b0a37","datavalue":{"value":{"entity-type":"item","numeric-id":3058497,"id":"Q3058497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$B49019E7-D618-468C-91CA-59578E217184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1a1594ef7b5fc53b2d940db4c64322d27f35eb","datavalue":{"value":{"entity-type":"item","numeric-id":4403026,"id":"Q4403026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$7B38CEB1-7023-493A-A4C7-D5F1DA45DC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dd3237587acde4ab6be0547ecd2958e02b054e","datavalue":{"value":{"entity-type":"item","numeric-id":1012892,"id":"Q1012892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$8AC2F54B-3C98-45FF-A433-D520540D2A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d27dacc5c86087ff2495c99b8279b01d00250f","datavalue":{"value":{"entity-type":"item","numeric-id":2716030,"id":"Q2716030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$9240082E-764B-4933-9909-F148762AB023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06beddfbaa71438e52a3103854e59226aaca1265","datavalue":{"value":{"entity-type":"item","numeric-id":1923055,"id":"Q1923055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$90EF7D2D-4FDD-4361-A6B0-507DC9AD283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a0a87b85428032cf2ee75a368362b246d79e71","datavalue":{"value":{"entity-type":"item","numeric-id":406628,"id":"Q406628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$F9EB2F66-0F24-47B9-A505-82B3D093E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dda8ff4f237d1096e44c6516cc17587f62d030","datavalue":{"value":{"entity-type":"item","numeric-id":4561445,"id":"Q4561445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$5C6C90D4-1B33-48D3-81BD-DB33EF6009FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$66F34A95-EEFD-4338-8D98-A520BFEC06CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515890ca165cc8640106ea5636e2eceb7ca41b9","datavalue":{"value":{"entity-type":"item","numeric-id":5223778,"id":"Q5223778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$D545F86A-2507-4147-B211-5A706EECD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90622f26cb21013c4cea46e94a7687ca074802d1","datavalue":{"value":{"entity-type":"item","numeric-id":5375276,"id":"Q5375276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$80F2AF04-B80E-4D33-8642-76A10A8488D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7077d3c78b5f7183970e586f2f6e01db3d74ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5375210,"id":"Q5375210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$D114E415-7BE1-4F81-8E56-B8A15B6E4E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a3f93d61890a2e7793044ab735b99f204055c8","datavalue":{"value":{"entity-type":"item","numeric-id":2980313,"id":"Q2980313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$D7384741-609A-4BE9-9DE2-DE91FB8A3EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a169a795da781c945c13fee9b634e858df2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$EE2499E2-8019-4618-8B10-1CA39732F172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17440c3a5fcd63c00e2237db83c791bc44633","datavalue":{"value":{"entity-type":"item","numeric-id":2988967,"id":"Q2988967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$7C735BAF-8F10-4DA2-85C4-4799CB4A781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4405757a29168e2d7f22a3338e2f39041151064","datavalue":{"value":{"entity-type":"item","numeric-id":4560092,"id":"Q4560092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$D7AF97B6-4B9E-4AA0-92E8-D1D4C5F16D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$BF761C8E-4A55-43ED-8879-918D84620673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d00a504b786944e867f08361849bff2695a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3523133,"id":"Q3523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$0FBC19DB-C350-4422-ADD3-5CB7B12796AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$C067C2DF-0DBD-4228-8302-4DBFE252C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68eb73640497a027153e3b93caaa3e091576384f","datavalue":{"value":{"entity-type":"item","numeric-id":2982915,"id":"Q2982915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280884$29B175CC-367C-43DB-84DD-8AF989E30FFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b847310ebe1d721cd72c75de077eb14a3087028","datavalue":{"value":"Q127558894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$3F28EC61-4368-4D7A-85C4-78BC1F7AFB52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d77e11ae8f2ba848371251f04af3f6ffd1d71f7","datavalue":{"value":"10.1016/J.AUTOMATICA.2019.06.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280884$F42E4242-D9FF-48CB-91EA-733BD5E9AD73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64b7b478b847d3e731731eb9514c3d319b94675","datavalue":{"value":{"entity-type":"item","numeric-id":2074749,"id":"Q2074749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6acdef0ddbaca2c3a8b0147c23339da52f2ec8","datavalue":{"value":{"amount":"+0.829042375087738","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":"Q2280884$0E623AB0-7E87-48CA-B00D-EF1CD14957A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683bce285d67cb61293777abd6263a3c4729d085","datavalue":{"value":{"entity-type":"item","numeric-id":2123412,"id":"Q2123412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7989d4ec7f3af64485f1f3210c91da23a5cfbe","datavalue":{"value":{"amount":"+0.8254783749580383","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":"Q2280884$4BB7CCA2-394B-4382-B0F1-1374D7F5C0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7bd29ca25d96319e4eee8f8df6f3cad692c711","datavalue":{"value":{"entity-type":"item","numeric-id":2280818,"id":"Q2280818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7be7fc653e2dd996f9df7141759ba0268b82369","datavalue":{"value":{"amount":"+0.8076437711715698","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":"Q2280884$ABF40F2A-C044-42C8-B194-93DBE4CCAA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008520e7bc59876246061bb2dc45866cd8a93d99","datavalue":{"value":{"entity-type":"item","numeric-id":2665387,"id":"Q2665387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2d30ec7c0e348994684fd4b4ff90128d1e566b","datavalue":{"value":{"amount":"+0.802215576171875","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":"Q2280884$4927A703-1806-44A2-88C5-00932100C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2de31f7c98fc2ce21f223403a1d13870d60076","datavalue":{"value":{"entity-type":"item","numeric-id":2220062,"id":"Q2220062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c329d7fbe95ac5466e094f6dd83db317ee3a7b4a","datavalue":{"value":{"amount":"+0.8017979264259338","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":"Q2280884$D63E4710-436A-44EB-AD5C-0E0162DE9421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2280884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2280884"}}}}}