{"entities":{"Q1129683":{"pageid":1140432,"ns":120,"title":"Item:Q1129683","lastrevid":80434484,"modified":"2026-05-06T16:11:17Z","type":"item","id":"Q1129683","labels":{"en":{"language":"en","value":"Formulae relating controllability, observability, and co-observability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1192920"}},"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":"Q1129683$68DE3C1F-9852-4A06-B915-49C39D38FDE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"751194c8ca5d3ab77a4a1a582ed19d9c15f250d0","datavalue":{"value":{"text":"Formulae relating controllability, observability, and co-observability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129683$8CDCC9EE-B3A7-4446-A508-108E10401968","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed6e0748450a340758feab346d6077715aa4a7be","datavalue":{"value":"0911.93020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$16240183-2984-493A-98D3-82358AB3E4DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a2ea2ba4cb6020a9ff4838a916a4918fb04fd84","datavalue":{"value":"10.1016/S0005-1098(97)00164-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$3FEABC68-B62F-49B2-9ACE-82C4EA993220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc86ddb24621ffe390dca2a4daa7ffc245ec9c4","datavalue":{"value":{"entity-type":"item","numeric-id":434479,"id":"Q434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$EE3693F8-3DB7-4866-9D80-F9201F342F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4506ef92515e2162ad57661474bc21ef40e60c9f","datavalue":{"value":{"entity-type":"item","numeric-id":786296,"id":"Q786296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$4648C6D8-D2E5-4C56-A332-24412E2DBF4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$2F8C8228-F724-4EE6-B224-2289EAC87EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce9eb40adb74b382c861d5feaecff7704ef9dd2e","datavalue":{"value":{"time":"+1999-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129683$2ED58632-8574-47F7-9D78-9FEF003390CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b39555b9853954b4baf00a77c4b7702b87ea34a5","datavalue":{"value":"In the context of supervisory control of discrete-event systems, the notion of controllability can be used to establish necessary and sufficient conditions for the existence of a supervisor that achieves a desired controlled behavior of a given discrete-event plant under complete observation of events. If the events are not completely observed by the supervisor, but rather their observations are filtered by an observation mask, then an additional condition of observability is needed to guarantee its existence. In the more general case of decentralized supervision, more than one supervisor control the plant; the uncontrollable event set for the \\(i\\)-th supervisor is \\(\\Sigma_{ui}\\), and its observation is filtered through the mask \\(M_i\\). In this setting, the existence condition for co-observability has been established for the case when the controlled behaviour is given as a prefix-closed language; it can also be generalized to the non-prefix-closed case.    In the paper under review, the authors first obtain a relationship between controllability, observability and co-observability. Given a plant \\(G\\) with event set \\(\\Sigma\\), uncontrollable event sets \\(\\Sigma_{ui}\\), and observation masks \\(M_i\\) for the \\(i\\)-th supervisor, they prove that the infimal, prefix-closed, \\((L(G),\\bigcap_i \\Sigma_{ui})\\)-controllable and \\((L(G),\\Sigma_{ui},M_i)\\)-co-observable superlanguage of the specification language equals the intersection (taken over all \\(i\\)'s) of infimal prefix-closed \\((L(G),\\Sigma_{ui})\\)-controllable and \\((L(G),M_i)\\)-observable superlanguages. This result can be used to obtain the individual supervisors for decentralized control, where the \\(i\\)-th supervisor generates the infimal prefix-closed, \\((L(G),\\Sigma_{ui})\\)-controllable and \\((L(G),M_i)\\)-observable superlanguage of the given specification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$C2A266F0-318F-449B-A46C-3395B6BF4F6A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a1fd77bb8cc17bbf35fb1b707a66c35e3341d6c2","datavalue":{"value":{"entity-type":"item","numeric-id":168820,"id":"Q168820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$2D664017-0634-47A6-BB72-F873E598D3B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$F57DD7C5-8BA0-408A-A445-FEA88DF93F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$ACC06E85-4D72-46FB-81EB-9C8BAF66D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$99FC0833-B368-4791-9EF7-C73A57082E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$1B2B85DC-3E9F-40B3-96DA-00A2961C65B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$DAE76D90-860F-48EB-AF8F-05326BECFD8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa3b3cbe562437efea38ec3306929c78d4d58faa","datavalue":{"value":"1192920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$C4D8A31D-2848-4BDC-9BD6-B1D3EAA8A191","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbeabd5dacdbef6dda50421c3d8237aa64f110b4","datavalue":{"value":"discrete-event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$00FF0C24-4806-44EC-8320-3AE5574DFE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$910072A8-7349-4382-81AE-FE51D5CEBCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$D4158479-0BB2-423F-9715-979B6886B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dfb4ddcb0fd0d83b75bb7aea00eff560b8ca59","datavalue":{"value":"observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$0DC5BF47-840F-4D16-BB31-8B47F04C9362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471d0b58d5eeb0040b4b4fb0fa2134fef4e28ce6","datavalue":{"value":"centralized control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$C4EDF34A-60AF-4AED-A283-E080B3483643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac4f5d3e65428399908ef1797dea7380dddc97b","datavalue":{"value":"decentralized control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$9B8CD274-707B-4FCE-AAC6-8983658A6B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6625ec8dc872aad4cc6a96e2e18d2b581e6eaec","datavalue":{"value":"co-observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129683$D1D74F61-ED67-48A6-A089-CB6EBDB362A9","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":"Q1129683$55CA82CC-2254-40F2-AC56-B1BB9B7A783D","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":"Q1129683$122129FF-2B4B-45B0-BE60-BAE885C02826","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":"Q1129683$D0173E5D-B93D-48FD-9D0B-7A0E9B2BFB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$887317EE-94DE-499D-93A3-41945C3D92F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7b5124b70fb76984ffe5a0b7aa33dad827e140","datavalue":{"value":{"entity-type":"item","numeric-id":3493235,"id":"Q3493235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$16C7A26E-36E4-44C7-AC87-C33AA791FC5D","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":"Q1129683$086B419A-3ED7-4BF3-A95A-04BDFAE88CF6","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":"Q1129683$2166D944-6735-4843-8CFE-AB505FED9AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878616f08107edd3d5328e6172bf2b798db3c5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4850272,"id":"Q4850272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$6DA4DB34-93EB-4936-837C-FA3E521C5474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e50f6a7a6fa4a36a57d7df7ec9adb2f322ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1814432,"id":"Q1814432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$3B044C72-4A03-45BA-86B3-B531B0217A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129683$79CACB64-F1E4-4CE3-928F-52D51688837D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"963f967a9303ce45125609b7c3428b1f95ec1444","datavalue":{"value":"https://doi.org/10.1016/s0005-1098(97)00164-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1129683$243E2B28-8D02-4269-BCBD-E64BC95918C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b540793aabdee752262fa4509d89e50f8867ac5","datavalue":{"value":"W2017692825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129683$EB5526C1-0096-474C-9FD0-8EA1A494F6A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29339f9ab49cad2549e7f008bee5011ccf14a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4967658,"id":"Q4967658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116064260a955d9627102603ccb1fb5c9a72f19d","datavalue":{"value":{"amount":"+0.802701473236084","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":"Q1129683$7A832325-9158-4375-8790-B487B6080A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e628b56a1a7d431c0a3842ead9d9b5602ef8891","datavalue":{"value":{"entity-type":"item","numeric-id":1686848,"id":"Q1686848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180ef0e104abd7f0604fec2726efbfe5179171ef","datavalue":{"value":{"amount":"+0.769646406173706","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":"Q1129683$899CC806-BDC1-46D1-B3D2-BD51D9D2537E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45a9532d44fa0fa49c3f2265c827888e4fa740d","datavalue":{"value":{"entity-type":"item","numeric-id":1773097,"id":"Q1773097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69667cf979379ec2adbc7a676bceed4478310c3d","datavalue":{"value":{"amount":"+0.7695866823196411","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":"Q1129683$4A2645C3-04E6-4DC1-B779-6651A7B2E437","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":"bcef4f8dc5bb6eecdef3ab74061cfff7c8ff7dad","datavalue":{"value":{"amount":"+0.7694306969642639","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":"Q1129683$89E9CE2D-2998-4E59-9343-4B68FB870DD3","rank":"normal"},{"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":"87ba224979d5ab40ca7fe41ffa3b415816076663","datavalue":{"value":{"amount":"+0.7692248821258545","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":"Q1129683$FA987299-ABAA-4509-8B43-99EE98B05325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formulae relating controllability, observability, and co-observability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formulae_relating_controllability,_observability,_and_co-observability"}}}}}