{"entities":{"Q4393083":{"pageid":6422682,"ns":120,"title":"Item:Q4393083","lastrevid":46933965,"modified":"2025-12-25T21:26:40Z","type":"item","id":"Q4393083","labels":{"en":{"language":"en","value":"Synthesis of supervisory controllers for hybrid systems based on approximating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160987"}},"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":"Q4393083$AD1335A2-B025-447C-8463-821167DD8F9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32ebda1c4da182248e7981e2165f7c61b6604195","datavalue":{"value":{"text":"Synthesis of supervisory controllers for hybrid systems based on approximating automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4393083$7CAB4F42-1F6D-45E0-B30C-433C5088E6AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faab5c460899d4837d330dcb3834e500c526778a","datavalue":{"value":"0905.93023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$9A032866-02AC-4305-926E-62E687B45702","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce81e7514a4bc8174428e09e121eedf519fac2f9","datavalue":{"value":"10.1109/9.664159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$C401C8AF-2801-4B21-9C20-7B0F62222CBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c4a9f44fefdb881a2ef43409e626f030cce849f","datavalue":{"value":{"entity-type":"item","numeric-id":539489,"id":"Q539489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393083$F78E4CBB-42AE-4684-B519-73BA1EA502F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae1d7b538830003cc4840663d7c9bcac1f23813","datavalue":{"value":{"entity-type":"item","numeric-id":4355820,"id":"Q4355820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393083$9B75F761-CA3E-4E69-861D-FC278A3B799B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4393083$13CB8B6B-E99E-4829-88FB-24984F1C770D","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":"Q4393083$20CADF58-86A5-4118-BCAE-FA5BC588887B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fda7d68dde2ce269daa4d7eb5af1d4726eca7412","datavalue":{"value":{"time":"+1998-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4393083$D08D0C18-8C8B-45B2-B33A-7776331826BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$E7736743-B917-42B2-ADEA-47DE21FE2849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$61D45463-DD90-4F94-8FE5-68275C181A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$FDC79E4A-FFE0-4D51-8844-4E06010B195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$5CD9328F-4D9F-4EDF-8DE5-E3C989EB9D26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf1a9e47eab7ec603b6423c4246827bb962e34d","datavalue":{"value":"1160987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$DBE49B5D-A946-4F93-835E-0892A94E2D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c829c338c74fa21cf0a8fb758258f97691554ec","datavalue":{"value":"synthesis of supervisory controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$C1940AC6-A147-4802-8F73-D79D36F94755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$1FC2A4CA-885E-435F-A60C-5C6B2CCD3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04f4e81218e7f1e03abdc69a0fb354232bf9648","datavalue":{"value":"finite-state Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$F085DFE2-07AA-4B18-904D-B2F5DFDEF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3aeec12a117b5cef3267abe5c9815dded61c7f","datavalue":{"value":"outer approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$C7EEDBE6-25D6-4988-9FC6-9DF9D740654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c2af882ed1da008c08fbfdf1751292b3e9dc03e","datavalue":{"value":"controlled threshold-event language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$CDDAA49E-C97A-48B8-B7EC-008D549AB92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4393083$AE9C1433-8983-428F-9B15-ED824EFEDFDD","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":"Q4393083$BDEF3590-428F-47EB-9251-F35B84009DE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d31f45df3bd1ba984c5ed11b00c2afc215e03e8","datavalue":{"value":"https://doi.org/10.1109/9.664159","type":"string"},"datatype":"url"},"type":"statement","id":"Q4393083$7C9D4E62-49FA-4D7D-84F8-66E6E9AF865E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c67da1bcd80d6881f15e26762a60f2174cc7dc31","datavalue":{"value":"W2163458574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4393083$80E6B7C6-E7D6-4A75-A000-34608CF4AEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b8f9bca9750e984e0e8d3b3b43e7587fc7668","datavalue":{"value":{"entity-type":"item","numeric-id":4552471,"id":"Q4552471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37082f18da0167a0496bf113452c0d722b902969","datavalue":{"value":{"amount":"+0.886455237865448","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":"Q4393083$01571A8B-201C-4E7E-B21F-1E328045D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfdc78a412d0c087ec883406aa57a6f6e67282","datavalue":{"value":{"entity-type":"item","numeric-id":1978485,"id":"Q1978485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d7adeb4520183853950a3d5941db5fc4497144","datavalue":{"value":{"amount":"+0.8517735600471497","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":"Q4393083$8814F820-3F63-4431-BF11-C3A8FB7733B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be407c8d03924ce594e12162a5c38fb1451ec8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5959843,"id":"Q5959843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f04fbb396e42ae03bae06f4895e45dd9151259","datavalue":{"value":{"amount":"+0.8426854014396667","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":"Q4393083$5492CCC5-B9F8-4FEF-9E33-5F53116E8512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c5a53e969c6024d4418d90f7c215856bee9616","datavalue":{"value":{"entity-type":"item","numeric-id":4393084,"id":"Q4393084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c50dbafd2cdb72c46cb0f9192bb7b8b3c663e2","datavalue":{"value":{"amount":"+0.824910044670105","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":"Q4393083$825F13CD-967A-4C0F-927B-AB8164B2AA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bbc97f7185abd79314eea31afd196d94161204","datavalue":{"value":{"entity-type":"item","numeric-id":4459051,"id":"Q4459051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becf1930cece25b68e68ca921c40f0d227bf6e9e","datavalue":{"value":{"amount":"+0.8108465671539307","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":"Q4393083$14A37A3B-4714-4F8B-BAEF-C2A02957B44C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4393083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4393083"}}}}}