{"entities":{"Q1801642":{"pageid":1812384,"ns":120,"title":"Item:Q1801642","lastrevid":77961959,"modified":"2026-05-06T10:27:39Z","type":"item","id":"Q1801642","labels":{"en":{"language":"en","value":"Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 205548"}},"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":"Q1801642$119DB35A-869F-49E6-B9A7-C3344B0E1B44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac7228249d359a70a9de6d108620123810a24813","datavalue":{"value":{"text":"Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801642$E6A34F68-39F5-4952-991F-4093F6759272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14432885fb87adf95e0dd0d1b7cf9f710c5292d9","datavalue":{"value":"0776.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$70ACA8E5-3C55-47DA-8B45-C9342FC02F85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"499ee6f9fb988e1a239d4ce116a73e40933bff94","datavalue":{"value":"10.1016/0167-6911(93)90082-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$C563D99E-96CE-42B1-9AC3-939BD35FCA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fef88c11dfd44c270b207df4224a5e94534be6c","datavalue":{"value":{"entity-type":"item","numeric-id":1801640,"id":"Q1801640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$FEF5765D-3BA3-41DC-91C7-F6653F41518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e5661109623bb7433ed6443d461e6fcd8aaf0f","datavalue":{"value":{"entity-type":"item","numeric-id":871827,"id":"Q871827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$98B456DB-4615-4FC2-A491-612A4D4029DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"325cf6bf10bb53ac3b70406f449d7fea20f20521","datavalue":{"value":{"entity-type":"item","numeric-id":800839,"id":"Q800839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$83845178-CEA9-4382-A3DB-5A593C18FD52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$AC2AF2FA-28D9-49FB-8D37-495BBFC9D044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763f3da1e304038771efa4c00079fb11f667f6ae","datavalue":{"value":{"time":"+1993-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801642$324DC048-297D-4C56-94D8-C74AD7626130","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03498ad5db3bae700329cda8bc952f5e3878253b","datavalue":{"value":"The article continues the research made by \\textit{W. M. Wonham} and \\textit{P. J. Ramadge} [On the supremal controllable sublanguage of a given language, SIAM J. Control. Optim. 25(3), 635-659 (1987)], \\textit{R. Creslak}, \\textit{C. Desclaux}, \\textit{A. Fawaz} and \\textit{P. Varaiya} [Supervisory control of discrete-event processes with partial observations, IEEE Trans. Automat. Control 33(3), 249-260 (1988)], \\textit{F. Lin} and \\textit{W. M. Wonham} [On observability of discrete event systems, Inform. Sci. 44(3), 173-198 (1988; Zbl 0644.93008)], \\textit{P. S. Ramadge} and \\textit{W. M. Wonham} [The control of discrete event systems, Proc IEEE 77(1), 81-98 (1984)], \\textit{R. D. Brandt}, \\textit{V. Garg}, \\textit{R. Kumar}, \\textit{F. Lin}, \\textit{S. I. Marcus} and \\textit{W. M. Wonham} [Formulas for calculating supremal controllable and normal sublanguages, Systems Control Lett. 15, 111-117 (1990; Zbl 0715.93044)] and \\textit{R. Kumar}, \\textit{V. Garg}, \\textit{S. I. Marcus} [On controllability and normality of discrete event dynamical systems, Systems Control Lett. 17, 157-168 (1991; Zbl 0759.93013)].   The authors give some explicit formulas for a class of closed, controllable and observable sublanguages larger than the supremal closed, controllable and normal language. It is proved that these algorithms keep regularity invariant, and can be computed effectively; but any one of the languages obtained from these algorithms may not be the maximal controllable and observable sublanguage, so the computation of the regular maximal controllable and observable sublanguages is still an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$4227A5E9-ED33-4DCA-9BDE-9C0C57B41161","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eb34e2045a12422ff603f99f017c5d13b29fd0ef","datavalue":{"value":{"entity-type":"item","numeric-id":178323,"id":"Q178323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$E356F97A-6744-412D-8B58-6012B453FF42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$B8444895-67AA-429E-BC35-A6FBED0B92D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$B418193F-7222-4AA0-94F8-F49EA743AA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a5c91b710d921e9ace398f00d49e0f96aacd6c6","datavalue":{"value":"34H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$309F443C-2AFC-47BE-B280-0A0B73596F09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d327bc7851e5c131323e78376bdc092009a594","datavalue":{"value":"205548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$13A6D5DA-85E6-44BD-A695-EE6EF33E66B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$9BC51F58-99ED-4810-8BC6-AFAD4C6B284E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$CA4CE398-4014-436B-AEBF-BDAE7328F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cddcabf41878067652cf2c4b95126b38483a3","datavalue":{"value":"partial observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$A691B7C2-4F77-464D-912E-9F9D59A28135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605a40517a041438f40ed70204eff804c8ed2170","datavalue":{"value":"controllable and observable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$A93BD30F-04B7-4BC1-9E25-D66779E52370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801642$5939C240-666D-494A-BF84-8CB6A67DC118","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":"Q1801642$0D315C78-D5D9-4098-9E70-92683058F449","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa31839a50f544b3987967f6d5aad4ba22607f2","datavalue":{"value":{"entity-type":"item","numeric-id":752649,"id":"Q752649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$BBA36325-7340-4890-AF1D-33F8C336E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302cee69ff16e8fc86589e63697fd38f6997bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$F0C12B58-28AA-440F-80B2-ECF695C92394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff1159a40bc8c39e3e9d828345f40916f8884ff","datavalue":{"value":{"entity-type":"item","numeric-id":4733422,"id":"Q4733422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$CC50663D-4383-433D-A71A-86E5C13731DC","rank":"normal"},{"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":"Q1801642$7B4E3D88-D2DD-4268-875E-F87774681801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3b0e40e760115c3ba93fc5858e3d8f8ba1ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":1190393,"id":"Q1190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$8296F0D3-33FE-49A9-AA45-32F9917A6AB9","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":"Q1801642$41083610-9DC0-42E0-A31E-0660F6C62973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801642$A8C8B630-F1DE-4C6F-B2B4-C68C9BEEBED9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30a40824e630b25ef41a691f9debc579a6b33270","datavalue":{"value":"https://doi.org/10.1016/0167-6911(93)90082-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q1801642$66F5ACFC-1903-4413-9A52-4856898815DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a335ffe2e6c3282e865731efd22460ca5a85b6c7","datavalue":{"value":"W2166174161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801642$9ECC0476-33C3-4054-9188-21795BD9AB6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab986b038271001137ab328e10d40ae5e30e158","datavalue":{"value":{"entity-type":"item","numeric-id":752649,"id":"Q752649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2103134e64c9dd0c8b68d7879ee56b95c45d5ec7","datavalue":{"value":{"amount":"+0.879172146320343","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":"Q1801642$23017C71-534F-4F98-9CDE-5739A64A6178","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":"6f1cbeeffedc70bc3f6e1a3c146664e71b9e210d","datavalue":{"value":{"amount":"+0.8424485325813293","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":"Q1801642$6F7FB5F8-AFB9-4ADD-B5BA-F8123FA962E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a43c9aebb47f1df3f380be8030e0948a3ee6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2504587,"id":"Q2504587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c9f30a34563aecfe3775ee9dd00c24ffad7685","datavalue":{"value":{"amount":"+0.84135901927948","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":"Q1801642$4CB68C51-2F32-474A-8B47-FC5482AD6206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a32b0157eeab19b7ecdcd2f484b3d8947828af","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"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":"Q1801642$16684E4C-DA54-411B-BF32-BE68AF859D4D","rank":"normal"},{"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":"cb3433067d423ca343c2ee1b4ac9f407b151d8ff","datavalue":{"value":{"amount":"+0.8264870047569275","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":"Q1801642$74745784-D171-4587-9515-0FE86203B7B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formulas_for_a_class_of_controllable_and_observable_sublanguages_larger_than_the_supremal_controllable_and_normal_sublanguage"}}}}}