{"entities":{"Q1793125":{"pageid":1803867,"ns":120,"title":"Item:Q1793125","lastrevid":68970918,"modified":"2026-04-13T03:26:51Z","type":"item","id":"Q1793125","labels":{"en":{"language":"en","value":"Safety verification of interconnected hybrid systems using barrier certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6953165"}},"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":"Q1793125$14F4DE6F-ACDC-4341-9EFA-6AA555FDB4A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec6150ec52197897abf25a29101e75c3dd21bbb7","datavalue":{"value":{"text":"Safety verification of interconnected hybrid systems using barrier certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1793125$F06E7D56-1C1B-4AEB-9CA8-23E8E655910B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f377a4e4e62093dfff92138a1504d94944a3b96","datavalue":{"value":"1400.93025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$FD621071-BA44-4B59-8462-12664AB5B220","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2ab909e82a6c9ca22de699c54a420c5eb2c02c","datavalue":{"value":"10.1155/2016/4149059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$E5C5A593-49DF-43FB-8902-A86662BB470F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"966f021480dfcdcd84aa7213344ca1e2b7c381eb","datavalue":{"value":{"entity-type":"item","numeric-id":920612,"id":"Q920612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$680F3D19-52BA-47B2-A2F1-8D1347885323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$97B96928-2D2F-4191-BB4D-9C0AA199AC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8993472ed5c5c37e7b833b0602bb4818e0888f58","datavalue":{"value":{"entity-type":"item","numeric-id":212724,"id":"Q212724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$28218AED-8FFB-40C9-9301-284F6CB29113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab2fb15c9b93af32fa06584c147f6ef3ab99e56","datavalue":{"value":{"entity-type":"item","numeric-id":454906,"id":"Q454906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$5E153501-75F2-4BC3-953D-D3B76089237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384676ebb4d87649106ce60efa6723ab9b759806","datavalue":{"value":{"entity-type":"item","numeric-id":1793124,"id":"Q1793124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$3CD6F5D5-7068-4050-A248-D7AC4FF145A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3432f6ad8a0166a87930dea9eb3f7df5985c5dd","datavalue":{"value":{"entity-type":"item","numeric-id":712673,"id":"Q712673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$7D7EDA3C-DD55-450F-A34C-17DF61A3DCFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$188A714E-BFA3-41E3-A214-59D20EFA85EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ea484e5e450d8c28bd391c202097b7b63c8e2aa","datavalue":{"value":{"time":"+2018-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1793125$5E33C1DC-44AD-4137-9EE1-3E1F8831D02A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b165e97bd3b26151b1f7f3a518772174e78d1a6","datavalue":{"value":"Summary: Safety verification determines whether any trajectory starting from admissible initial states would intersect with a set of unsafe states. In this paper, we propose a numerical method for verifying safety of a network of interconnected hybrid dynamical systems with a state constraint based on bilinear sum-of-squares programming. The safety verification is conducted by the construction of a function of states called barrier certificate. We consider a finite number of interconnected hybrid systems satisfying the input-to-state property and the networked interconnections satisfying a dissipativity property. Through constructing a barrier certificate for each subsystem and imposing dissipation-inequality-like constraints on the interconnections, safety verification is formulated as a bilinear sum-of-squares feasibility problem. As a result, safety of the interconnected hybrid systems could be determined by solving an optimization problem, rather than solving differential equations. The proposed method makes it possible to verify the safety of interconnected hybrid systems, which is demonstrated by a numerical example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1793125$CA2B0726-43D8-4D58-B1E7-57329A629AD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$0EB3B099-4380-46B9-AA14-96962DF47E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$A85A5BB2-EC20-4C37-AA2D-D24D33BB36A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$00733049-A124-4DA3-BC67-AEFB38DA4161","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd22897c9a521960e347a6ad7bc18b97d7228d2f","datavalue":{"value":"6953165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$2728B959-176D-4F39-AF27-783255D57D64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$0D52F5FD-1DD4-4082-86A2-5FF3E5CFE336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89a21d1aafac005a4b83ce736ce9f263b4159e3a","datavalue":{"value":{"entity-type":"item","numeric-id":25321,"id":"Q25321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$82D226AC-066B-4D73-A7FE-3D7E0632512B","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":"Q1793125$6BB088C1-C9AE-4D77-96DD-9D5F2879A580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe5b396e2c48750545cb65595d1d014dee8c39db","datavalue":{"value":"https://doi.org/10.1155/2016/4149059","type":"string"},"datatype":"url"},"type":"statement","id":"Q1793125$07EE2B33-7C33-40A6-922F-A02574576A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4954f1ec85610f23d1b40736bd37b08619ed492a","datavalue":{"value":"W2304970226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$2921DE66-9972-4984-A2EA-6902C5C8E235","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d3a5111ec25477b4d6e24a493486fc8af5361a4e","datavalue":{"value":"Q59131257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1793125$A8E67D68-C0B0-47E9-A1C4-611F4D3071B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$5FADF3B2-161F-45C7-88F9-DF547CA771CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c4bb06b46d5ecb984f6ec10ad5bffc5ebdc076","datavalue":{"value":{"entity-type":"item","numeric-id":5008655,"id":"Q5008655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$B05BA17D-96BD-4F53-8E18-0922E4CEDD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$279471CC-C6B4-4155-B9E0-C37C8CA73FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97b423288db2cace6f38c3624e32868ede2ec55","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$80FBB8E3-27F8-4E69-B0FA-2C28B3FC94A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334e67e9482e264bdd65149cb10cc8102a06b12","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$F6156809-3590-4ADE-ACA1-B8D056B34464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458437b4a68dd73b9a9f0fca091c099c2700e77c","datavalue":{"value":{"entity-type":"item","numeric-id":4974566,"id":"Q4974566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$9656E787-E79E-4CD0-AB0F-1C6615BC5365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$D38596B2-6255-4518-ACAA-A61695240B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971cfb334c7b4c36e49f91832ad37e198261a527","datavalue":{"value":{"entity-type":"item","numeric-id":2986748,"id":"Q2986748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$BFA9F2CF-91A9-44F5-8D62-FAB121FC3F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7daad86460a55a0be27ed5c7e464156916c758f","datavalue":{"value":{"entity-type":"item","numeric-id":2982729,"id":"Q2982729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$FCEC7949-09A5-41C1-8901-9DAEFA0A5FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56857fa974a5fbcf2b2a473eefe1393cfd1f0a7b","datavalue":{"value":{"entity-type":"item","numeric-id":644256,"id":"Q644256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$FA8A18E9-3145-4034-8416-50F28CD01CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$D5CDA255-5DD5-4C52-B496-AB5A42CE58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415595d49b8aa3d9200a35f01776912365839293","datavalue":{"value":{"entity-type":"item","numeric-id":4681644,"id":"Q4681644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1793125$50ADF97E-88EA-4BAA-A874-B97D2376BD08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709489836aa571e31c568eca1db9ce72f4809728","datavalue":{"value":{"amount":"+0.8619268536567688","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":"Q1793125$990D62D3-D727-4771-9203-94AB230DB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08c24474344a13c8bf3747a0c5a254afb050f99","datavalue":{"value":{"entity-type":"item","numeric-id":2116647,"id":"Q2116647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf01f089f19bd95b1c83205bc3627dec40b05c33","datavalue":{"value":{"amount":"+0.8091588616371155","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":"Q1793125$789A729C-D50F-4551-A3DC-040926666D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4551b6b5ec698a29be044db47d15b5059ac553","datavalue":{"value":{"entity-type":"item","numeric-id":2986748,"id":"Q2986748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e444d40f6083131c7244c19b7581016dfcd37f","datavalue":{"value":{"amount":"+0.8047022819519043","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":"Q1793125$9FC0AFCA-F62C-4E2B-98A2-57F52DF28B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5136aee46e995505c9e9526b90164781e361d","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4407da3347ac1f848e0dbb60d00a8c9fe2e09cf","datavalue":{"value":{"amount":"+0.7762473821640015","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":"Q1793125$D085EEE5-F9A3-426C-B799-5E75EFC5781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6881910b014a8c87958cbfb4ad74b20af58849","datavalue":{"value":{"entity-type":"item","numeric-id":3454562,"id":"Q3454562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1977a0ae6dfcfa3f53c86728c2392ba4ce0b8a92","datavalue":{"value":{"amount":"+0.7750492095947266","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":"Q1793125$AB73ABC1-88D1-4ACD-9610-BE7313BECE09","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":"Q1793125$71392D92-6846-4D5A-BC43-122601C8778F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety verification of interconnected hybrid systems using barrier certificates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_verification_of_interconnected_hybrid_systems_using_barrier_certificates"}}}}}