{"entities":{"Q2665407":{"pageid":2676150,"ns":120,"title":"Item:Q2665407","lastrevid":54152270,"modified":"2026-01-26T08:46:14Z","type":"item","id":"Q2665407","labels":{"en":{"language":"en","value":"Formal controller synthesis from specifications given by discrete-time hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7430179"}},"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":"Q2665407$A4F54F5C-188C-46B5-B81E-BCAAF3D00B29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a11a71a08d04eb04cab9ef3aa5df4087979eb370","datavalue":{"value":{"text":"Formal controller synthesis from specifications given by discrete-time hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2665407$AF5EC040-4C86-49C8-B53E-EFEDEE1DF748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"334200c8c4b080d1087691c0ddfb3e55ac6bb6c6","datavalue":{"value":"1478.93189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$D0BA0F6F-AC7C-4B52-8166-7B29B06F926D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04ef97a008cc922892752edd02e18f1f9827a79b","datavalue":{"value":{"entity-type":"item","numeric-id":2665406,"id":"Q2665406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$E2CBB24F-EC75-4A6F-A4C5-6EDE630502B9","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":"Q2665407$2F0F4197-2FF6-46F7-9167-CB398E86C80A","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":"Q2665407$17DFDEED-3765-407C-96BC-A74730C77406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367677b6c5d204ad2ea10438908eaecdeb1495e8","datavalue":{"value":{"time":"+2021-11-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":"Q2665407$5ABAA7AC-6F93-43FF-BC0A-A262B82BDF08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$42AC27BE-1FF9-43D3-B2EC-9759F76971F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$20914711-3DFA-42C5-80BB-4138F893DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$DD65815D-8762-4B33-A243-B51D58D3B4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$A0691643-940A-4EF0-AA50-20D8426D85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$459AAD58-29EE-449A-8BCB-716B08D534AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ac403d363f69949687203fa8f87e9db8d61b34a","datavalue":{"value":"7430179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$03DF605C-8C7F-4CA3-B992-3E6529A53029","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc0921e528eb6e18c84e9b7097d68186cd07147","datavalue":{"value":"formal controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665407$C9C70C09-CC42-4083-8E7B-5CC9F46B52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed8aba375250339bd9c78ff660b196e8c7fab6e","datavalue":{"value":"alternating simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665407$47324AB4-B10B-4C76-B3C7-5E20B356D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e5efcc4510f37fa2a678d740c19ee3c722d671","datavalue":{"value":"symbolic abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665407$E890B686-8D26-45F2-B651-6B9E05CF266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2665407$B461F458-90BB-482D-A6BA-5FCEE7FC0FFA","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":"Q2665407$5A394678-CFE9-4CC0-9C9F-5DFE14EBB473","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7e67f4e9f593fcc96fe4282ad8fd156fb62ca7b","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2021.109768","type":"string"},"datatype":"url"},"type":"statement","id":"Q2665407$4D579FD7-9AB0-4E8D-9FCC-8C81EBA20779","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"082e20eda419023e8efddf4c397b6c01b0694b2a","datavalue":{"value":"W2989041661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$8347461E-805D-4D8B-B4A1-6181431DF833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$062D090A-BBE8-40E0-82D7-2891E02C6DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$B020E3AA-7AFA-4746-B6BD-5CDAA210916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$D78B8971-8AA1-44CC-88FC-5C9138FA6815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$B8F154EC-7F2C-439E-BF0A-67FCECC33A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a741b6b6f8df8b34b6e7574abd731899fb8bea","datavalue":{"value":{"entity-type":"item","numeric-id":2988916,"id":"Q2988916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$8463E0D2-379F-4E8C-835D-5BC6ED8709CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$E7537D4D-C81B-48FD-B4C0-F2DA0C8FFF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$5B19D478-4B6F-41CA-BFFA-6F9CE2C7E203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1d40a2722f1aba27b1801727e4c3b77754316","datavalue":{"value":{"entity-type":"item","numeric-id":2983163,"id":"Q2983163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$F169381A-9C2F-4F8D-92C4-67FFEC5E5D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab5324fc8b352baa0553571873f04acbfc4b0d1","datavalue":{"value":{"entity-type":"item","numeric-id":313326,"id":"Q313326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$276CC12C-57DD-415E-91C1-47E0D537CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$A7EFFA24-4256-407A-B1B3-4483BFB3CD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998a03aa8eb41fed5482cb1126317fbd0004a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":5266959,"id":"Q5266959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$F57F2637-2161-43EF-962D-2133F4F00CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd95515e3bef894f1c685bc811dce6e3e7c9ed70","datavalue":{"value":{"entity-type":"item","numeric-id":2410471,"id":"Q2410471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$E3C1DF31-4E06-40D7-8FD3-96EEFB4BC1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2cb793e40f4cc9ecc89222c5f708059b8316a6","datavalue":{"value":{"entity-type":"item","numeric-id":5352729,"id":"Q5352729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$A0533B7B-BA0B-47CA-A5B0-934DED2669BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b49aad203437b4ab2f72a4c84f5d15ab65d01a0","datavalue":{"value":{"entity-type":"item","numeric-id":5347889,"id":"Q5347889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$F6047900-2B57-462B-B717-0E20DDC3EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$F51B2822-DFB8-4102-BFEE-DD3E7233D22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3681a2f391ed00eb1a316fa0eea8d165a094a47","datavalue":{"value":{"entity-type":"item","numeric-id":4736605,"id":"Q4736605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$06230760-5F1F-4A05-8A35-6F9E93B9D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$FFEA4EF1-BED3-40A9-A4BC-D4E033F9B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$8280BD4F-90CD-4D7F-9059-86F2CC745D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d75886087cce277c27b3783261f0778e19f2f45","datavalue":{"value":{"entity-type":"item","numeric-id":5347706,"id":"Q5347706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$7314A929-B32B-4141-90D4-734526F6FBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2665407$95E87D00-96AA-426F-B167-2EE247902A0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8de4940a81be8469cd73dd349433e05a869815","datavalue":{"value":"10.1016/J.AUTOMATICA.2021.109768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2665407$C3C889FC-9066-476D-9EA1-B2A2F1AE85E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e6c14312e120afd21142a531f1ed099d49ac10","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905ff6a3a0f6bdabe3ec4e6c325050673716f7d3","datavalue":{"value":{"amount":"+0.7985391616821289","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":"Q2665407$7B661965-025C-4825-8B99-D36913DD03E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a87d7b3029b20b70299b6564dd73d769f1349929","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17b2b296158eafaa0303a0e9389e934f1a2226f","datavalue":{"value":{"amount":"+0.7931959629058838","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":"Q2665407$F78D16E5-84FE-49CA-920D-C8A692C02E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17b2b296158eafaa0303a0e9389e934f1a2226f","datavalue":{"value":{"amount":"+0.7931959629058838","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":"Q2665407$F77B9B44-C1D3-4EC9-9EDD-3431880A5058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa825c76b95eecaa7b92a45286a26fc90c32dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3612972,"id":"Q3612972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397751e9a359760f9a5f0494c34857f73dec85e6","datavalue":{"value":{"amount":"+0.7899993062019348","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":"Q2665407$BD2455EF-07D0-4CE2-BF0A-F767F3DDE191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2005c18e26e95e7d084c958ad5ae06c5ac3c7795","datavalue":{"value":{"entity-type":"item","numeric-id":4561462,"id":"Q4561462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0a60097e1a6aadca048bfb4e51df50fb84adb9","datavalue":{"value":{"amount":"+0.7840750813484192","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":"Q2665407$41C60CBA-7E08-414F-AB2C-3F2472BB4B3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2665407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2665407"}}}}}