{"entities":{"Q2375627":{"pageid":2386370,"ns":120,"title":"Item:Q2375627","lastrevid":56700723,"modified":"2026-03-19T00:12:07Z","type":"item","id":"Q2375627","labels":{"en":{"language":"en","value":"Verification of opacity and diagnosability for pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175905"}},"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":"Q2375627$F4F2A57A-DF61-4B92-84D4-3CBB7428FC88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f50d5908c941e751a15c137fb6bb296fac669ec","datavalue":{"value":{"text":"Verification of opacity and diagnosability for pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375627$C43524FD-6B47-4FED-98E1-6A419AA5AF80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f1e6d3d65f4a0e6c0b2f35cac57ac2b6fcdf7f","datavalue":{"value":"1266.93096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$87C0C2DF-A825-4D24-9CA6-F1D898E098C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e552b1f4db56deeb334abbca61e48d84637c608","datavalue":{"value":"10.1155/2013/654059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$A1A00E7D-9439-4872-AF0F-15E40DA8C41B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"238c6e129854e8d6d993e30bfcf7c9e6b932655b","datavalue":{"value":{"entity-type":"item","numeric-id":297821,"id":"Q297821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$0E680B0D-39BF-4376-A0A7-465198F45BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5149aa1b558725100c1181f703d354fb9572f","datavalue":{"value":{"entity-type":"item","numeric-id":202269,"id":"Q202269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$23330998-09A1-4A53-B0AD-DBB21693965E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$868E56B9-6C86-4EB4-AFBE-9E808AA00D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375627$D7C9429E-7AAD-40B8-8439-FD7FCF115C07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b09a6656457556795958f855f9d967faa8225f56","datavalue":{"value":"Summary: In control theory of discrete event systems (DESs), one of the challenging topics is the extension of theory of finite-state DESs to that of infinite-state DESs. In this paper, we discuss verification of opacity and diagnosability for infinite-state DESs modeled by pushdown automata (called here pushdown systems). First, we discuss opacity of pushdown systems and prove that opacity of pushdown systems is in general undecidable. In addition, a decidable class is clarified. Next, in diagnosability, we prove that under a certain assumption, which is different from the assumption in the existing result, diagnosability of pushdown systems is decidable. Furthermore, a necessary condition and a sufficient condition using finite-state approximations are derived. Finally, as one of the applications, we consider data integration using XML (Extensible Markup Language). The obtained result is useful for developing control theory of infinite-state DESs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375627$77F29D0F-9749-47AA-93B9-A429BA5F0F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$DB867321-DEDC-40C7-9DE5-F878C92DCDE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95deed706c71cd8a2f09e07b6711a3e64b830d9d","datavalue":{"value":"6175905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$E0B0D236-2EE2-44FE-BBCD-217F8716E638","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$FA7B9F8D-52C6-49FA-90DA-7355E4D19BE5","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":"Q2375627$AA73A927-CD5D-49A1-A491-62B1B8407400","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"80f8ea986b177601bf4f8cc8df1709bcddd2e6bf","datavalue":{"value":"Q59003587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$EF539E16-9D19-4345-B73C-273E40E5C988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3129d494ec37cc5d6ff6a42c901e69a0cada7e30","datavalue":{"value":"https://doi.org/10.1155/2013/654059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375627$BCF05923-3231-4832-9E63-54095820737D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"364ba41add2cd39a1b1c8a80854a119de1171d85","datavalue":{"value":"W1992896862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$B9195D18-43D9-47A5-A0A8-27F986625CBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$8067AFE0-FD9E-47CF-B365-776FBB3CE2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be31c0f9dc5e223f207789029486d8cd4684c88","datavalue":{"value":{"entity-type":"item","numeric-id":4737901,"id":"Q4737901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$43C4FC96-EE1E-4A4A-A9FE-4389C9031305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b361780de92b5ea43d26093fedf46a8bad47e2","datavalue":{"value":{"entity-type":"item","numeric-id":5353040,"id":"Q5353040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$7EBC5C1E-EBFB-49FB-AEBC-1D07753201A4","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":"Q2375627$2C3E45DE-A233-4992-98B3-B06A1DB655BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81063e0001135f36876aa04e7b3df8c47842cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5716856,"id":"Q5716856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$58741886-889E-43B4-8107-7166ED3ED6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfa5b94d3e0dae8450a05e5692f1368d918d271","datavalue":{"value":{"entity-type":"item","numeric-id":3564892,"id":"Q3564892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$1ECA03A3-53A7-4E35-8C67-C358B65108D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b2eb9845503c59c7b3e136f8b88580b145149a","datavalue":{"value":{"entity-type":"item","numeric-id":719268,"id":"Q719268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$46965859-1E9F-44A0-B78A-1CF86410F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16e6595f09d6fce26e720542138e4be20794fed","datavalue":{"value":{"entity-type":"item","numeric-id":4974190,"id":"Q4974190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$61C3AA1A-B9E5-462B-B94A-C6B1A586C8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$D9787F66-2280-4A20-819E-0DF0266FFE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0667116075fbbce5ae792b2ea8e22750d9386d","datavalue":{"value":{"entity-type":"item","numeric-id":453510,"id":"Q453510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$58EA8399-8AAA-4D1E-B21F-1D5BD9E1ED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa3eeeeb3c8a3a6066b8c40815a510ff335cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5352820,"id":"Q5352820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$723D6827-AB18-450E-A23E-F4DB27E26BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9dd414a6b3b2c58f60a1e339698f5282df1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3912024,"id":"Q3912024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$FDA15E71-3511-499D-AA53-41E0E8C5418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d454ae1478152ca3cb4797e95fe0a9fcec92c30","datavalue":{"value":{"entity-type":"item","numeric-id":2776249,"id":"Q2776249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$99531799-A268-4A4A-8DA2-858777B465CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$517F6B5D-F973-4533-AF33-4711144DFDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf0f0749b2746c1be30d3341a0733fb908e4cd","datavalue":{"value":{"entity-type":"item","numeric-id":5266908,"id":"Q5266908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$EB7887B3-4D6B-4A6F-B144-6105C0108502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb18ca6f4a6e9669356d5e747359c166c3825fc","datavalue":{"value":{"entity-type":"item","numeric-id":5267080,"id":"Q5267080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$7332A028-E87C-4CD1-B80B-78461D30405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced9f6d89d276754d685a53731ebb3ec51d3d90e","datavalue":{"value":{"entity-type":"item","numeric-id":5191510,"id":"Q5191510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$285588A3-49B4-4922-8B47-C171EC023787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$14E6EB2F-8966-4054-825C-09719999EB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d787b0e5094845630de82784288c748c297a4708","datavalue":{"value":{"entity-type":"item","numeric-id":2348371,"id":"Q2348371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$E76F8B33-7A21-425C-B811-E79FE2E09405","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4f7c1739c020b74114c6c3a232f8b1ab36db216f","datavalue":{"value":"journals/jam/KobayashiH13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375627$A62038B5-0D61-4B31-BB26-A23B9D622D69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993f032fed8d66cbf68866e2c8e52799474ab011","datavalue":{"value":{"entity-type":"item","numeric-id":2348371,"id":"Q2348371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afa8b4c09cdb0c31fbcbff093021c235a6875b0","datavalue":{"value":{"amount":"+0.7641537189483643","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":"Q2375627$CCB56D57-B333-46BB-BA9B-06021552F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1c954a91c5df56cec6d263c7af69799550c650","datavalue":{"value":{"entity-type":"item","numeric-id":1662539,"id":"Q1662539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb3a4c5c93b16c4a1da7ac195884c3d2c01f523","datavalue":{"value":{"amount":"+0.7633064985275269","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":"Q2375627$A5731A44-B088-4DBE-AC24-46A8A5036DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f564fc5eca29ae99c6b789f7ac80119a813617a7","datavalue":{"value":{"entity-type":"item","numeric-id":4686521,"id":"Q4686521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7166b7ba0f8b843ca9404624b22c53a49360b28","datavalue":{"value":{"amount":"+0.763077974319458","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":"Q2375627$95803533-A6A8-43D5-89F7-AF2C4094248B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0454ff5d66de6f755d6a3a51eebaaa4c8d2aa488","datavalue":{"value":{"entity-type":"item","numeric-id":4608690,"id":"Q4608690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde3f1952449a0235bd225557e1543d76f7935af","datavalue":{"value":{"amount":"+0.7507075667381287","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":"Q2375627$67491878-CC73-42B1-A7EC-E71C39B00F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0da1069d8819e52cab4bc1b0a36baeeb5444fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2065174,"id":"Q2065174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa29bb466cd8b2e84e6add00b9e5dc07e21d979c","datavalue":{"value":{"amount":"+0.7293276786804199","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":"Q2375627$606A49F2-DFE9-42CD-BA7D-817240A15A51","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375627$7080593F-9A7B-4518-9A10-7D1C2E40FE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2375627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2375627"}}}}}