{"entities":{"Q391117":{"pageid":392884,"ns":120,"title":"Item:Q391117","lastrevid":61528272,"modified":"2026-04-10T23:57:21Z","type":"item","id":"Q391117","labels":{"en":{"language":"en","value":"Automatic synthesis of switching controllers for linear hybrid systems: safety control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244025"}},"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":"Q391117$6D1EDE26-6129-45A9-B0B5-D42E36336219","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad0600bc01786fe69c869cb177df8c7d09286e7","datavalue":{"value":{"text":"Automatic synthesis of switching controllers for linear hybrid systems: safety control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391117$2744B6D5-3938-49F4-BF89-9038A8FD4FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bfa4d8220a8a903f65effed56cfcc1721128cc5","datavalue":{"value":"1294.93041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$658B52F0-2481-494E-B6E9-36B79D061F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$7E250EE4-A7D0-45D4-A5EB-71FEC6DDDD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79eb43ca4898bf0c605980468e2cfd77498bc71","datavalue":{"value":{"entity-type":"item","numeric-id":386609,"id":"Q386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$309249F9-177F-4971-BA6B-2E775513E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6fa82ffc271e6dec09947def4ec4f24c145995","datavalue":{"value":{"entity-type":"item","numeric-id":391116,"id":"Q391116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$AB2B7C83-2DCF-4D10-B8E8-92E048B57A2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$78ADDA37-CA78-4B0E-AD8E-0E7B648A14DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q391117$38719623-4ADE-450E-80C1-68A4F79F9ABD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf7169db75060ab1e413fac00d4d36e2451b854","datavalue":{"value":"https://arxiv.org/abs/1103.4584","type":"string"},"datatype":"url"},"type":"statement","id":"Q391117$F423024F-9768-47D5-B3CC-DD91A5BCF57F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$5B3D96F2-16C8-49CE-973D-33BD49B0CE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$9A17F639-5768-4409-9558-8BB1EE4C4CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$088F2CDB-A5A5-4F06-ACD5-A30971C0314A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$C007A884-1D4F-4ED9-91E2-FB0B2E005ABB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d311e8c982a77f2362ba361cf8d4984a070b4774","datavalue":{"value":"6244025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$7303FB1E-64B4-4098-9EB8-E55F59CA7933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q391117$A598E41C-5FEF-43A9-93D9-90BB7A971AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q391117$E51CF801-49A5-4FF9-AD34-D99E2F901D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f1baf772c120022d33fca51f1bc6d89b6da42","datavalue":{"value":"safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q391117$07C155F1-0708-4F28-864B-274F9421EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53877dd388cc8cb5911f50e4b4531d40f6abbdcc","datavalue":{"value":"linear hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q391117$D15B5272-3D2F-4F8F-86F3-E32EF549054D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$F93122A7-76B9-43E3-B3D7-DF6981F16814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$C73A5223-5002-4903-B5F3-A159542775C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$1D9A1B72-60D9-4ED1-8121-5B853A0CB06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$7AF605B0-E047-43A8-A113-709E8F8C0B2B","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":"Q391117$D37E097F-7364-4629-BDEC-D7C6AC38D0C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"680c7c9f57dfe53922885a7dd4e81ca28ffcfcdc","datavalue":{"value":"W4206053810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$72A43E96-78F8-47B3-A1FD-E80B5555691E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27580d7c158cea272ece70c4c667195bc2d13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4810934,"id":"Q4810934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$C18855CD-F919-41B3-8619-84FDD933B97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e71414912062461b63dcc6abf685164d11957ab","datavalue":{"value":{"entity-type":"item","numeric-id":5623505,"id":"Q5623505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$919BAF24-E939-4445-B374-B5378E067427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$458BE2EE-3B4C-4E4E-8DF5-CB9D1F88513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$3673BD96-3E0B-4E51-8E50-372B70DD696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2d7ceb32c4c067a6e1ce53b9857a5f9be192f3","datavalue":{"value":{"entity-type":"item","numeric-id":5281859,"id":"Q5281859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$23DD3AE7-0A04-4D8C-90B0-5CCD8F530971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$43ABEACD-C862-4B80-AFAB-FF56D2C12E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f744953abe92fee7ebcca2ae553853038af50297","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$85F0A4B8-2E89-4D94-A69D-56E532343C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$341E4981-8F99-4A6A-850A-751A602914C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$85D54D7C-BE17-4BE0-93AE-1AE2FA1E6AD9","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":"Q391117$914E3AF5-2209-49BE-8363-4B5B0965FEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391117$9F3418FD-1DFE-4581-9124-FAD09B6E9BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05589907b792fd2fffdb85840595ea0ebbe302d1","datavalue":{"value":"10.1016/J.TCS.2012.10.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391117$F0CBDB4A-8F63-44B0-AA66-260584BC9770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62224478b8af43f1a2d436757172dcb751089a4","datavalue":{"value":{"entity-type":"item","numeric-id":4964733,"id":"Q4964733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bb79582836a2a90d15c9f7e07c16d1d2e7b358","datavalue":{"value":{"amount":"+0.8166465163230896","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":"Q391117$3B239D54-57F5-49D1-A4F4-64C89342FF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e548dfc883d85892098d452834afb686e5d8fbc","datavalue":{"value":{"entity-type":"item","numeric-id":3600482,"id":"Q3600482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25aa017519826bba263809f855b1347645b10942","datavalue":{"value":{"amount":"+0.8047879338264465","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":"Q391117$B6A1061A-F98A-48C9-ABE3-C0D181A95AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26559626d29bd9784d2cdd313c4ed2dc14edf775","datavalue":{"value":{"entity-type":"item","numeric-id":2842646,"id":"Q2842646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f5c4ec1a5ef0632e38a87dde0c1069cdac693d","datavalue":{"value":{"amount":"+0.7889236807823181","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":"Q391117$28123320-6E4C-49AD-A898-20D59AA39EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd860a8267bd874ee77b30484e80f6806e25dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4953382,"id":"Q4953382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b492964b6c6a432e71fb62b4ef683b2af0847c6e","datavalue":{"value":{"amount":"+0.7875775694847107","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":"Q391117$A85034E5-57AB-4804-AA09-ABE9526DE524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46f70670b588c42ab19a900391a001f00551f5e","datavalue":{"value":{"entity-type":"item","numeric-id":464595,"id":"Q464595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f952d83acbcc3033b6cb750a532663efc49e3339","datavalue":{"value":{"amount":"+0.7787891030311584","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":"Q391117$3371CE2C-B7E6-40D0-BF54-2734EF1B0873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of switching controllers for linear hybrid systems: safety control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_switching_controllers_for_linear_hybrid_systems:_safety_control"}}}}}