{"entities":{"Q1108988":{"pageid":1119737,"ns":120,"title":"Item:Q1108988","lastrevid":77898572,"modified":"2026-05-06T10:19:07Z","type":"item","id":"Q1108988","labels":{"en":{"language":"en","value":"On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068733"}},"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":"Q1108988$6B10B816-D185-402D-AFA0-5A1AB98134F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"291437bb9f0ce3c1274ad471b4c21045d93a4395","datavalue":{"value":{"text":"On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108988$C4CF8621-2E6D-4ECA-BC30-B81DB8CF73A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a46b3576d726516057f3d175152e3ef288796668","datavalue":{"value":"0654.93046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$1A37B91C-7908-436E-99FE-08355930AD85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d231f78a7509d55897e807a9b3bac7b8d079437","datavalue":{"value":"10.1007/BF02551361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$DCE1BC22-60FA-4799-B57B-8029991FCA03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f454bc232a56aa9a0fb4d1c268c7e7d27f0e92","datavalue":{"value":{"entity-type":"item","numeric-id":1108987,"id":"Q1108987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$5DAFFCD9-66A5-4826-A497-5193A4057D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aea9e72fca281113bd461c67e0f2e8956cd73fe","datavalue":{"value":{"entity-type":"item","numeric-id":300755,"id":"Q300755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$A6F44CE8-7008-4ECC-949B-7FD90684E9CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83c55f09dfa869c2dbb8e5587cb9fee3e3fbc7c5","datavalue":{"value":{"entity-type":"item","numeric-id":186563,"id":"Q186563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$3D05CD58-96FD-4E0B-B6C0-4F3244435A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1108988$2CEEBC6D-BC48-43D3-B865-B9275B2504BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"654fdffe731be5775807a58b324d30fde7772404","datavalue":{"value":"This paper characterizes the class of closed and (M,N)-recognizable languages in terms of certain structural aspects of relevant automata. This characterization leads to algorithms that effectively compute the supremal (M,N)-recognizable sublanguage of a given language. One of these algorithms is used, in an alternating manner with an algorithm which yields the supremal \\((\\Sigma_ u,N)\\)-invariant sublanguage, to compute the supremal sublanguage of a given language that is both \\((\\Sigma_ u,N)\\)-invariant and (M,N)-recognizable. Finite convergence of the resulting algorithm is proved. An example illustrates the use of these algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$1580291A-7FA0-4B83-AEAD-F84FBAD4910B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$D7C6CCAC-A7E9-46A0-B68D-9DE89F8182F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$FECCC595-19D4-4CC5-B8D2-3577DEACD45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$61DA63B4-F82A-4F5C-807A-059375D83F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$933EEA6E-AC8C-425E-AA0F-3304CB63432D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f86e56c5c174a019f6e87296b6f6941db201dc4d","datavalue":{"value":"4068733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108988$7F85180C-9522-4A99-B75F-495B57D3CDC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$3909FD62-0300-43F3-B003-A4835A1001F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e312ad5a33c54d111262125f205fcd5f4dbf012a","datavalue":{"value":"supervisor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$91C5870F-4C1D-4934-B514-4F6A0520DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8672d55036cc55dfdf1b83f3573875b1b170d","datavalue":{"value":"partial observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$FF5CD478-E540-4C79-A4FD-128F594114E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde1dfa99d1cbd08aec8d0026129ef8a157b8d6","datavalue":{"value":"recognizable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$82B37DDC-3B8D-4999-83A5-219CCD6C005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108988$134284AF-1E01-4597-8006-F4DBF9DCD2B0","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":"Q1108988$3101D077-65F4-4811-8CF7-32E1ABDD3D5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$91ABF26B-E128-4D4A-B509-58FDD1C09876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$78AEB3EB-2F7A-457D-AF1C-63CDC0F31394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$5A61ADDC-3BB6-4A10-ABAF-29DCFFA80E8C","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":"Q1108988$283C4398-9291-4A03-8E23-13BFB89C8D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26220edd53d52d338faadb4fbee32f5fa765ae00","datavalue":{"value":{"entity-type":"item","numeric-id":3787870,"id":"Q3787870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$2A86545A-E22E-4232-9C3C-9A43BC30D962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108988$92BBA7D1-9F25-4D4B-9191-08237FF292DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33145fc4faf3a301a2fee9a97a77e4cc107ad827","datavalue":{"value":{"entity-type":"item","numeric-id":4733422,"id":"Q4733422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362624dc40bb2d6d6a87f5adcd07906a3c63c86c","datavalue":{"value":{"amount":"+0.9274032711982728","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":"Q1108988$10C35DD1-4D3C-44B7-A2E9-C0B6280FBD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fb2d2c1a515873184ff25c0cffd65133589552","datavalue":{"value":{"entity-type":"item","numeric-id":2503503,"id":"Q2503503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333bed51b318422118eaa8b77a8edd14bf55280a","datavalue":{"value":{"amount":"+0.8543971180915833","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":"Q1108988$158A4DF7-7786-4CF0-B954-1B3CBDBB406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4857455f913514e95a21aafb4665bfd232473543","datavalue":{"value":{"entity-type":"item","numeric-id":1788694,"id":"Q1788694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbbcdbb47cfdc4665931f5105cdceb63c92fe6b","datavalue":{"value":{"amount":"+0.840115487575531","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":"Q1108988$3575E72D-389A-46CF-932A-1288527133D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9240011261d8e04e69a4d3ef85057ee2fa79ee95","datavalue":{"value":{"entity-type":"item","numeric-id":1801642,"id":"Q1801642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a66fe6075e0717335d2f1f997fef615591b3140","datavalue":{"value":{"amount":"+0.8351677656173706","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":"Q1108988$2C7298C8-B76B-4AFC-9330-81DCF0F6B3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54df53297d060b038ccfccf2804b71d5347c503","datavalue":{"value":{"entity-type":"item","numeric-id":4841524,"id":"Q4841524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a66fe6075e0717335d2f1f997fef615591b3140","datavalue":{"value":{"amount":"+0.8351677656173706","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":"Q1108988$5C680369-A1EE-41A9-AE29-BC5EFEAEB11F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_supremal_languages_of_classes_of_sublanguages_that_arise_in_supervisor_synthesis_problems_with_partial_observation"}}}}}