{"entities":{"Q4260002":{"pageid":6289603,"ns":120,"title":"Item:Q4260002","lastrevid":108500681,"modified":"2026-11-06T17:54:49Z","type":"item","id":"Q4260002","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1332686"}},"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":"Q4260002$18882F52-4449-4B9D-9842-7FE78E785EBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"192a2a6635c0ce7a278c4689fffe33b59b6aa03d","datavalue":{"value":"0933.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260002$235C8F21-B3D2-49B9-994B-070EFF27EDA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87fce944e30ab8040698a9e305d348489d555a2b","datavalue":{"value":{"entity-type":"item","numeric-id":4260001,"id":"Q4260001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260002$ABF2F5E6-14F9-41F9-8ECC-96F7F731DCCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3912e1b601670f66723cd4735b5759f89324c5b1","datavalue":{"value":{"time":"+1999-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4260002$788B0D0E-6F6A-492E-AC36-625C2D54DE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260002$0C6532E6-ED94-4998-A1CD-EA15B94D5366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260002$3DC2D323-2BDA-4B02-88F4-9DA850EEDC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260002$70EF3CB7-DA70-4CB3-A99C-DA4E594D9D3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f01ed10833ba6e0836734f2327680d2e924336","datavalue":{"value":"1332686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260002$8C34147F-E355-4CC8-AA71-F9A97534D289","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260002$9C23FC6E-0095-4190-8B61-4E0C45FA9C91","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":"Q4260002$A3EF7D4E-01F8-4E5D-BDCC-E14711C0DA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1eb0135ad52d7a2007dd71863c79e7943f3621","datavalue":{"value":{"amount":"+0.7747411727905273","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":"Q4260002$AAF6791A-D269-4C6F-8F86-C0C9AAABCEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa86de10144a4010f88c0aeab80cb20d4b77374","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a341588c520d4c98c5cfaf9b7fcaf45faa42a9c7","datavalue":{"value":{"amount":"+0.7605912089347839","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":"Q4260002$024B1FE1-33A9-4864-B991-4F4A6845B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97f48a7187ce4d23ce662303cc70dacded6a109","datavalue":{"value":{"amount":"+0.7569649815559387","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":"Q4260002$05444EC2-88F0-418C-9D0C-C24856E74302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f1fbc786b6caacbd164f3782f39181653cca1","datavalue":{"value":{"entity-type":"item","numeric-id":4649297,"id":"Q4649297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5578e41704aba90aa3adc2bf91f466f9b7f5a9","datavalue":{"value":{"amount":"+0.7569484114646912","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":"Q4260002$0C712B6B-790A-41ED-A5C8-E3951562967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b381ed77a894d73da0db9b40987e6d0ee3816197","datavalue":{"value":{"amount":"+0.7549331188201904","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":"Q4260002$EB34B923-9BF4-4F72-AFF0-F52AF130A806","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f8105a31007026b6da48b7f7fc68150f861c08c","datavalue":{"value":"In dieser Arbeit wird ein neuer Synthesealgorithmus entwickelt, der aus einer temporal logischen Formel einen B\u00fcchi Automaten erzeugt, so da\u00df dieser die durch die Formel definierte (\\(\\omega\\)-regul\u00e4re Sprache erkennt. Im Gegensatz zu dem tableau-basierten Synthesealgorithmus arbeitet die hier entwickelte Methode induktiv \u00fcber der Formelstruktur. F\u00fcr eine anwendungsorientierte, praxisrelevante Teilklasse temporal logischer Formeln wird in dieser Arbeit bewiesen, da\u00df die Komplexit\u00e4t der Synthese im wesentlichen linear in der Gr\u00f6\u00dfe der Eingabeformel ist. Gem\u00e4\u00df dem Titel der Arbeit werden mehrere Anwendungen aus den Bereichen System -- Level Synthese und formale Verifikation so aufgebaut, da\u00df sie die g\u00fcnstigen Komplexit\u00e4tseigenschaften des Synthesealgorithmus optimal nutzen. Der Synthesealgorithmus und die Anwendungen wurden im Prototyp ICOS (Interface COntroller Synthesis and Verifikation System) implementiert, so da\u00df mit dessen Hilfe die praktische Relevanz des Synthesealgorithmus und der Anwendungen demonstriert werden konnten. Anhand einer kontrollbasierten, typischen Anwendung, die im industriellen Kontext angesiedelt ist, stellt diese Arbeit den Einsatz der hier entwickelten Anwendungen und Algorithmen exemplarisch dar.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260002$7A7E734D-D974-445A-84E3-F3ACD3051132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4260002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4260002"}}}}}