{"entities":{"Q1102899":{"pageid":1113651,"ns":120,"title":"Item:Q1102899","lastrevid":69646407,"modified":"2026-04-13T08:26:17Z","type":"item","id":"Q1102899","labels":{"en":{"language":"en","value":"On observability of discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051429"}},"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":"Q1102899$4D08022F-E3CA-409D-A27C-3D54ADEC8A4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a19f28fa11c57cb9d54a13e7c8d7364cc9cbe46f","datavalue":{"value":{"text":"On observability of discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102899$3CC6EFAE-1235-4EF0-B54E-50AA631841F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eba850b3c1e6f4cb083b7cc610874539419b146b","datavalue":{"value":"0644.93008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$CAFD1196-9AFB-478C-8823-B971D8678C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c50208e50c63f82fe9b98f654d474d54ca8582b","datavalue":{"value":"10.1016/0020-0255(88)90001-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$8581E871-053C-4798-A005-D0A70C38BB43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$C38BE27A-1FD5-4E6D-BE0F-D6D13B50A3CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102899$889A1C76-BC31-4613-9FFE-F95FCD2F57A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbbc533eb23fbfec3935fbb83218e24327851a3e","datavalue":{"value":"The supervised discrete-event system is considered. The set of possible events is partitioned into the sets of controllable and observable events. State transitions are governed by the language generated by the transition function and the alphabet of event labels. The system control consists of on-off enabling and disabling of controllable events according to the changes in a sequence of observable events. Such a closed-loop feedback structure is formalized as a finite state automaton. The existence problem for a supervisory controller, respecting both controllability and observability constraints, is solved abstractly. The presented work heavily depends on previous papers published by the authors [see, e.g., SIAM J. Control Optimization 25, 206-230 (1987; Zbl 0618.93033); and, Analysis and optimization of systems, Proc. 7th Int. Conf., Antibes/France 1986, Lect. Notes Control Inf. Sci. 83, 202-214 (1986; Zbl 0595.93047)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102899$6D02079D-0936-4199-B75C-5189628575BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$E7C69436-B2DC-440D-A266-0DD9DE9FAEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$A605D032-0FC4-4336-9362-432FF840D1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$A4FDD1E6-8DBF-4393-986F-0801FB9523FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$A697F466-DB98-42A1-A505-9EDDF97F5C14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f894e7502fa20f78a011ae48dc5038e0ef031d00","datavalue":{"value":"4051429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$F29EFB64-4068-47B0-86C6-059DA4BAA362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbeabd5dacdbef6dda50421c3d8237aa64f110b4","datavalue":{"value":"discrete-event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102899$4D760B1B-431F-4423-A988-ED12D4849682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835a9f640a5802ba4de2f17219c48ab346b1ab8e","datavalue":{"value":"closed-loop feedback structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102899$396EF7AC-90AE-46FC-B50D-35EB4B73BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cdcccdfcc6b313ffd420e82d594cc27db4468d","datavalue":{"value":"finite state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102899$B10F1E54-99CA-439C-9DBC-F089117B05D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7af08b2e72875f4e1f9907064342c7ea976a43","datavalue":{"value":"supervisory controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102899$60C1FB57-8A53-4834-9046-68E984DE4C2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e773f68da8658f60713e049cee0eb2fdccc8f78","datavalue":{"value":{"entity-type":"item","numeric-id":460379,"id":"Q460379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$E6670CAF-FBE4-407D-92D1-0C37FF61F880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$161DF569-3413-43F1-A5A1-96F1C23ABD77","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":"Q1102899$139E7A30-8B42-4D09-A7FC-0401171C8D5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3228dd54413e786770a87c3e87062a6e3f54cbf","datavalue":{"value":"https://doi.org/10.1016/0020-0255(88)90001-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102899$48E7F733-8919-4873-8D01-CF30A1FC5CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9ee7d6435f8da8ba8938e86683114de35b31df6","datavalue":{"value":"W2068354234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102899$A64F5DE4-69E1-4E39-B150-FBE9CA5D94F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5441432e615870edf9f9d039b863a12742bd4fce","datavalue":{"value":{"entity-type":"item","numeric-id":3792210,"id":"Q3792210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$EBDB10C4-E2F5-4CAA-B012-88097D5165A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c61d1b3282c512f46b01009aba0d464384cc4a","datavalue":{"value":{"entity-type":"item","numeric-id":3660864,"id":"Q3660864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$BACD2523-38D6-434E-B925-CC8F895B5D5F","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":"Q1102899$DA0A5B4B-C29A-4588-B3DC-3F4F2EA3CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dc07534eba676d59722b415a0bd27b41786f77","datavalue":{"value":{"entity-type":"item","numeric-id":5593643,"id":"Q5593643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$A9FA7C78-DD3A-4DD4-B9C7-C1CD33C61FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$E8989E9A-B92A-47B5-AA8A-565CB3EFB751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$76A008BA-46D0-4AA7-AAA5-1E73310410DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$B414074D-2402-47AE-A0FD-2C43B93ED10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1a3b4fb08237b3017f38d6db4160f7a4997209","datavalue":{"value":{"entity-type":"item","numeric-id":3222064,"id":"Q3222064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$83E6CEF3-AC44-4447-B61B-0201D0C0FE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$CEB84226-38AB-4691-AC41-6F05F493671D","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":"Q1102899$FD6CE5A0-A69D-49D6-88AB-F9A29C0E2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d716af7c172127a68e395fe59d6f05cf1ebefd","datavalue":{"value":{"entity-type":"item","numeric-id":3720512,"id":"Q3720512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$5A59E3CB-02CC-4D2E-A1EF-643B81A9AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa01750ddc8778b7449075b61c7a86fef9167941","datavalue":{"value":{"entity-type":"item","numeric-id":3681970,"id":"Q3681970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102899$A0197DAF-DAEC-49C8-9EB4-86B10001893C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7cc5da151083e40d92b26635be0acaca826a94","datavalue":{"value":{"entity-type":"item","numeric-id":3827852,"id":"Q3827852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3ff8ab903168ca613d89edbe1d3b7ed08b3ace","datavalue":{"value":{"amount":"+0.9254056215286256","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":"Q1102899$F84F34A1-6E18-4D98-B02B-5E89D27435EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da670204fb36c519da46561b3db31964efc4485b","datavalue":{"value":{"entity-type":"item","numeric-id":5496922,"id":"Q5496922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da00380dc205672a7281f7377412a696cb4aaf7","datavalue":{"value":{"amount":"+0.8900367617607117","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":"Q1102899$9A1C55D6-BE3B-4963-A492-873849145774","rank":"normal"},{"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":"5e1cb12c69686fdadda9030b88359aa2f1f18ae1","datavalue":{"value":{"amount":"+0.8684256672859192","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":"Q1102899$38E19195-E6FA-4E55-9B2A-634C17B64183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17433f96bb79d656168b84081593d021fd6f25c7","datavalue":{"value":{"entity-type":"item","numeric-id":3169492,"id":"Q3169492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99210ba788bcba45774bd50e156f36434bc498b4","datavalue":{"value":{"amount":"+0.8603193163871765","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":"Q1102899$8BA0B17D-AD1D-49B6-8A80-16A9361330A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdef44677e15d2c7ef8e4e27acc1e99092809408","datavalue":{"value":{"entity-type":"item","numeric-id":4373067,"id":"Q4373067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448f8ae5f12fb1718552a748939401c068c0eae2","datavalue":{"value":{"amount":"+0.8580835461616516","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":"Q1102899$A34ECBA3-EFD1-4CFA-8ACC-DC1CB1997E03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On observability of discrete-event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_observability_of_discrete-event_systems"}}}}}