{"entities":{"Q6535637":{"pageid":14146780,"ns":120,"title":"Item:Q6535637","lastrevid":57343668,"modified":"2026-03-30T14:04:24Z","type":"item","id":"Q6535637","labels":{"en":{"language":"en","value":"Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798069"}},"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":"Q6535637$6DC74ECA-DF04-4FFB-A36B-7E4B5766F474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ae8aa220680ef9d829c421871d8ad42ce2de33","datavalue":{"value":{"text":"Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535637$2ACC81F3-EE38-4064-8785-11B2970AE886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98583a4e25f96cabd07d9721df1e3fa9046dac88","datavalue":{"value":"1548.93037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$8C68381C-ADDD-48D2-B343-81470FBECB06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb4ce88e7550e066b155b11eb74defef2f6f176","datavalue":{"value":"10.1007/978-3-031-37706-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$E2FE9AC4-4A1F-41FF-B686-C4C219B0A067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f92286191682914f0be7fb749cfc94b5e0bbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":654029,"id":"Q654029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$246E81C3-8727-47E3-865A-1C4C726BE82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11b6e246c5b2ba567d067828a56b321de5aedde3","datavalue":{"value":{"entity-type":"item","numeric-id":988615,"id":"Q988615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$2E454ABF-7CF8-410B-AB72-EE660FAD80D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5743df715f92cb22a5e564344a9e59340a0788f5","datavalue":{"value":{"entity-type":"item","numeric-id":832196,"id":"Q832196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$0A036CF1-E3A4-4170-9CCB-42AB2F5C40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6706906ff254e2a2de4e2802dc44df31c2c96d4","datavalue":{"value":{"entity-type":"item","numeric-id":832197,"id":"Q832197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$D0E101F8-A5C9-41E0-B654-F4A855B5ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624df74c0cd3934f42226ab7bd74559bbc3e1ce","datavalue":{"value":{"entity-type":"item","numeric-id":249874,"id":"Q249874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$F2C11ECD-B41C-4D70-AAB4-6301E0409720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbcf9ac1ba76a06a48faf533f4bb13c409546036","datavalue":{"value":{"entity-type":"item","numeric-id":450300,"id":"Q450300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$EDC5FF1A-3847-45BF-B81C-4A0088CB1D52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535637$B5974482-3DE5-40D2-A554-2053941561C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$486802B8-2311-43E7-8FAD-A7D6FE093FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$F1E020ED-29AC-4AD4-821D-1916455ED7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$8EAD2A12-DB9D-41EF-9D97-A8B1FA681AC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d9bd375b481454123dacec599879b3e4b9fd229","datavalue":{"value":"7798069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535637$4FFB2F0C-A428-40EE-A439-67E5C69A9C51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535637$418FDB83-A12A-474B-9F2D-9232D05A0869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535637$2834CC2B-9406-484E-A3BA-CDA0C4FD6C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535637$7A709E1A-3B34-460C-AA5A-327FC5956D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04fbdd0685793ff9399d35eefaa19f37c3d6177","datavalue":{"value":"barrier certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535637$0AEF4762-626D-4C9C-84B9-365F77FF2150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303edf16569c802ba7215e2a848a6736dd2a0363","datavalue":{"value":"Lyapunov-like function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535637$A597E502-B047-4869-8DE2-EB13BD9C1670","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":"Q6535637$95228930-0DC1-440C-B1B0-4403E8CB40BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$955EE550-D2BD-4B16-8768-DF3D0818C31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9741db629636d7920adc0b71e21feeaffca818b","datavalue":{"value":{"entity-type":"item","numeric-id":290823,"id":"Q290823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$A4C60AB8-04D4-4C4E-A6D9-BB5A26C6D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"369d1f6a92077a6c816c1d0a68b0f3306308300d","datavalue":{"value":{"entity-type":"item","numeric-id":2225131,"id":"Q2225131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$8AAF41BB-4A94-450C-8AD4-E5BA9A6E58DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94fe8560e4a6a2ddee4f33b048cabf6487a9271","datavalue":{"value":{"entity-type":"item","numeric-id":2988910,"id":"Q2988910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$2E72EC38-9E09-4594-8B0D-0BF63E75F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbd0823fa5b5a36751278925bae4f67a5044c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$9F8A253A-556B-4344-82D8-786BFACA7FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc84d7dabbd19066d4807bd2505625aa596c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138769,"id":"Q3138769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$F078A2D2-8072-4E80-B48C-F3CFA703FB87","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":"Q6535637$19DAD886-DFDA-49F6-AB1D-C7730B0A847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c279a4f816034454a7ed9bcaaef3022383364bc","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535637$54990C64-A7C1-4506-97D1-4BE60D56CDC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfea692762b61d0088ffe9ec7661f2382e5991ff","datavalue":{"value":{"entity-type":"item","numeric-id":2677109,"id":"Q2677109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb45be0a126d8afba448a36648d1a89d6209b87e","datavalue":{"value":{"amount":"+0.7928560972213745","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":"Q6535637$EC062454-D045-4B70-939C-65BBA02468CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a0db5250e1ba29b0d018836f3a89fc1f55842","datavalue":{"value":{"entity-type":"item","numeric-id":832198,"id":"Q832198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2b27b2f5351033d713cb6fe373a4fca54f00c0","datavalue":{"value":{"amount":"+0.7767226696014404","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":"Q6535637$8F4FAB6C-9ED8-474B-8AF3-D893C92813E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c0d9bbb2e84e54d5d77c51d76b08cf8b960bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5918787,"id":"Q5918787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9b215ff9fadf57f5932ec0e1e0b03f91db7401","datavalue":{"value":{"amount":"+0.7553597092628479","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":"Q6535637$E4B4B46E-E7D8-4E99-8637-9BA020ED64F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a39b8346a701dca94fccc131df022344915ff","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377af9470f091b4029a9ad365f584305745102a2","datavalue":{"value":{"amount":"+0.7460530400276184","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":"Q6535637$DC0984A2-6342-477A-83D5-FC100AB15F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feaa7ec5edf02b2cb19c5beaec82bfff09f3d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":2225131,"id":"Q2225131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844ca732b993cb34369a3e6d4ab001ec83162bb6","datavalue":{"value":{"amount":"+0.7417965531349182","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":"Q6535637$6EF6F60E-CC34-43A4-B20C-9DA65851D34F","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":"Q6535637$F94D9E9E-FFF1-481B-B351-5AB30CF23551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535637"}}}}}