{"entities":{"Q6077133":{"pageid":13211441,"ns":120,"title":"Item:Q6077133","lastrevid":93872975,"modified":"2026-06-05T05:19:55Z","type":"item","id":"Q6077133","labels":{"en":{"language":"en","value":"From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741750"}},"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":"Q6077133$6F2DB7AB-9B19-48FB-81CC-227EFF5A11F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b6b2e7121bf29775cd56c304e8938485f4c0976","datavalue":{"value":{"text":"From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077133$A5FFEEE8-CE08-4F2E-A86C-02687DC812CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3a2e1b2dce053a6fefce5ff3697fb7d2e25085","datavalue":{"value":{"entity-type":"item","numeric-id":6077132,"id":"Q6077132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077133$87C96323-F108-4324-BF7F-E562E2845F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bf57d30ec888b0692bbfbe98ecb4dcd3426636f","datavalue":{"value":{"entity-type":"item","numeric-id":2061248,"id":"Q2061248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077133$052649C6-53D6-482E-86CD-FEB90AF4C963","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":"Q6077133$AD0BFF58-D614-4C91-A935-365573EAD5A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077133$D6E12A16-EBB7-46C9-A5D9-F81738FF045D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"802247e7cd8aa6e767376a099ca7544dd63eec7f","datavalue":{"value":{"time":"+2023-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077133$3E118FB4-8BC0-4150-ADC5-85F4F92DC5AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9542c24d63110e9e73b1354c6bac252fc12e9645","datavalue":{"value":"https://arxiv.org/abs/2101.06916","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077133$B859CE13-8568-40F0-BA03-750F15F19879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077133$00A833E7-BC89-40F2-A9D8-4CC9617A903C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68290bb9f6d764385b4d824d5445ad4d02d46940","datavalue":{"value":"7741750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077133$45B2BAC4-455F-4C3E-8121-2E6AE4CF40B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$6591AC68-B6BC-4D18-A4F1-5DD5DD31E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9ba329f03338dd0221c9873b751a0b8b763372","datavalue":{"value":"control barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$4ED93DCC-EE85-40B7-B3F7-2EC49E91A3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$977EDFC8-1871-4C04-82B4-03C1ACF486BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc0921e528eb6e18c84e9b7097d68186cd07147","datavalue":{"value":"formal controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$D32FDB03-EA18-4B1A-A5CC-26DFC24D459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a598026ffa38b648a0db224999ce5a764c6d781f","datavalue":{"value":"large-scale stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$774ECC5E-EB5B-40DF-A3E8-D4D95F94E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20092a53b1946805fd49ddb0a9b5a9dbc5263bb4","datavalue":{"value":"small-gain conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077133$EDF52C08-E8B4-4A94-9590-0C27496D828F","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":"Q6077133$474D91EB-291C-4B7E-A0FB-96D87A58C9C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03902d007eaab322894843aff6b2865ca7eb30de","datavalue":{"value":"W3123324479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077133$601DDAC9-5562-4A09-BCC9-780D48CC1A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aabc9d921df279332f89f6af7213ec91824b6f0","datavalue":{"value":"10.1109/TAC.2022.3183032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077133$681D3EA7-34BA-4F37-8A83-0A977E003125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems","badges":[]}}}}}