{"entities":{"Q4240486":{"pageid":6270087,"ns":120,"title":"Item:Q4240486","lastrevid":108439892,"modified":"2026-11-06T11:47:01Z","type":"item","id":"Q4240486","labels":{"en":{"language":"en","value":"Control synthesis for discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1284133"}},"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":"Q4240486$3A51775D-8F2D-4492-B31E-6FF93CE4532A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2db2982240e316f5a9a5701f91b48a39aac652d","datavalue":{"value":"0920.93022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240486$02F1BE77-8F38-4467-8F97-6D503478DBC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"923c6f4e19e084b43691603fe9216fcb5dfbde1a","datavalue":{"value":{"entity-type":"item","numeric-id":1128703,"id":"Q1128703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240486$2FCA7E0D-3920-4E15-B044-F4DED9726931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4240486$66BA6A3F-D1CF-4ACE-8C0B-C1194BA5C285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240486$DF5E9591-3625-49B6-987E-8A3C5568C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240486$B0E4CE99-9F66-4317-9738-C4BD2274DEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240486$11FC5C55-34E5-4A70-A278-E21DDFD8CDA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"184ade8a6c24353f6ad23c5aca2c3f372fc4d3ed","datavalue":{"value":"1284133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240486$203B8D67-120A-460F-915F-9C65D197CEE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e0ac4c7167694ecfb61306942210c0ecb5a910","datavalue":{"value":"monolithic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$84A15FDF-8F29-45AE-9E10-302DFBA7C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$E33AC906-18E2-40D3-9E45-116EB61EB3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$B210B842-8F4E-4F02-A8E4-7DCB2E3767F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91de1fe75a5000f1901849a2973488a25f89ac8","datavalue":{"value":"problem decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$120C9EEA-56D1-4ED5-8C89-43649F9C0502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc13e0797b4183ddc6a54cf25727f43f88b8bf97","datavalue":{"value":"discrete event control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$4D59E3F5-EDC3-4F35-A256-6B489E244562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$10744252-7BD6-4507-A1C5-333D08DDD77A","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":"Q4240486$0ED04ADA-1110-4AFE-8AFE-B0B4345869DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9c2d27cb82dd81a5b1c23e3975587498e7ff25","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325e9058fa60ff21c739b3874fc5a2614579a008","datavalue":{"value":{"amount":"+0.888226330280304","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":"Q4240486$C4EC2EF0-C3CB-4745-8E2A-53994DC675B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73a5aab3af7aa2efefd1b31a35a92da5280c208","datavalue":{"value":{"entity-type":"item","numeric-id":5288508,"id":"Q5288508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd0a0051529262a77cf56740c974a5b0df7e1ec","datavalue":{"value":{"amount":"+0.8559622764587402","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":"Q4240486$4A827C62-2C57-4595-8317-54B4E897FC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920be8bcd2f0811e631ff82a3cef80e8f2a02e03","datavalue":{"value":{"amount":"+0.8461100459098816","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":"Q4240486$BBAB8A37-1377-416F-B556-E7409FCD4C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412d34457b81028286335a7fa164ae08e3446995","datavalue":{"value":{"entity-type":"item","numeric-id":3780918,"id":"Q3780918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f9eab5374438c4ddefb5176075f5a47cee8c3c","datavalue":{"value":{"amount":"+0.8431993722915649","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":"Q4240486$B2BFB999-6FA7-41EE-8C42-5F1C532628A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"241daa1f32eae01fc03712ca62bb85f795e0e773","datavalue":{"value":{"text":"Control synthesis for discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4240486$5767BFBD-3590-4313-AD77-95AA8066163B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b766e89ba2e1ca1663e1fa6d5324b239d44c3c4","datavalue":{"value":"The author investigates supervisory control of problem decomposition and he describes some of the computational aspects of the monolithic subproblems that such a decomposition yields. The paper considers algorithms for the synthesis of supervisory control observations in the case where all pertinent formal languages are represented by finite automata. The main section of the paper gives an overview of discrete event control synthesis in the case of complete observations, introducing the \\(\\mu\\)-calculus and illustrating its use in control. Finally, the author discusses related work on formal synthesis and verification of computer systems, and applications to control synthesis for hybrid systems with simple dynamics, namely, timed discrete-event systems. For the entire collection see [Zbl 0911.00015].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240486$67869365-04BE-453B-B2FF-58CB2EA6E346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control synthesis for discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Control_synthesis_for_discrete_event_systems"}}}}}