{"entities":{"Q2658452":{"pageid":2669195,"ns":120,"title":"Item:Q2658452","lastrevid":57227421,"modified":"2026-03-27T13:29:35Z","type":"item","id":"Q2658452","labels":{"en":{"language":"en","value":"Minimal diagnosis and diagnosability of discrete-event systems modeled by automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326697"}},"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":"Q2658452$3F6555A0-C725-454E-867E-47F77C8D7105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19894c5247c55382d85b45b692b183f358022396","datavalue":{"value":{"text":"Minimal diagnosis and diagnosability of discrete-event systems modeled by automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2658452$7CD7DD78-9AA9-43EB-8B9C-D514AA525D71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76bfd691c3c3e17c6a65ffcb84a827dace42fa34","datavalue":{"value":"1506.93060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658452$8CD6662A-CB5D-46E9-8AE4-36647F2806DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8240b751e5daaab86947b02d83ab9c8912ecfc0","datavalue":{"value":"10.1155/2020/4306261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658452$EFD773E0-0FC2-401B-84A1-C0E8E6D39573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21011ff298ace1d375be5d21223edb0f5010d081","datavalue":{"value":{"entity-type":"item","numeric-id":1993129,"id":"Q1993129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$3FEDFAE2-F5C4-460E-8F13-56EB315D54E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20d29b846dc692f6a131fd628c250dc9544b096","datavalue":{"value":{"entity-type":"item","numeric-id":1398076,"id":"Q1398076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$23087804-C25D-4848-8FFB-49D44DD5E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a232391a49e93bc609a32f34a6ef5abc3e3362","datavalue":{"value":{"entity-type":"item","numeric-id":660951,"id":"Q660951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$9B13F65B-E05D-43A5-A5FB-EBC6B1514098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1aae57a32ad8beddd17e6125f94360e5a579a85","datavalue":{"value":{"entity-type":"item","numeric-id":2658451,"id":"Q2658451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$B5DF6492-A843-4A35-AD63-08F3F247B038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1dec05d6eca21826ddc25d78a5bfbbb3575f964c","datavalue":{"value":{"entity-type":"item","numeric-id":86231,"id":"Q86231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$0F913FF9-BC54-4CF4-ABF1-3711E5CE6C9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2067f7f088cca4935ef807ba74bfb4fdb4f794","datavalue":{"value":{"time":"+2021-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2658452$213F33CD-876D-46BF-917A-A312EF77C771","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0936459d8998fdb467e1327cac2794d5874cca93","datavalue":{"value":"Summary: In the last several decades, the model-based diagnosis of discrete-event systems (DESs) has increasingly become an active research topic in both control engineering and artificial intelligence. However, in contrast with the widely applied minimal diagnosis of static systems, in most approaches to the diagnosis of DESs, all possible candidate diagnoses are computed, including nonminimal candidates, which may cause intractable complexity when the number of nonminimal diagnoses is very large. According to the principle of parsimony and the principle of joint-probability distribution, generally, the minimal diagnosis of DESs is preferable to a nonminimal diagnosis. To generate more likely diagnoses, the notion of the minimal diagnosis of DESs is presented, which is supported by a minimal diagnoser for the generation of minimal diagnoses. Moreover, to either strongly or weakly decide whether a minimal set of faulty events has definitely occurred or not, two notions of minimal diagnosability are proposed. Necessary and sufficient conditions for determining the minimal diagnosability of DESs are proven. The relationships between the two types of minimal diagnosability and the classical diagnosability are analysed in depth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658452$26A7328C-476A-46DD-BFFE-BB6014D30C71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658452$B97EB120-8606-4E81-AF1F-63A9110CF8DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea6279538e9b1352b61e8d0418ab3935c1374787","datavalue":{"value":"7326697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658452$EC6FCF78-53A6-4BEF-A786-5F6D8C35F54A","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":"Q2658452$B07449F6-EF53-4B9B-AE6A-F72D41BE95F0","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":"Q2658452$13BD35B3-98EC-441A-AC48-3EAB5E9FCDB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ede31253866c40edd24d6f3ae0316dd7dd0fd1","datavalue":{"value":"https://doi.org/10.1155/2020/4306261","type":"string"},"datatype":"url"},"type":"statement","id":"Q2658452$27A3F5E9-B75E-4422-ABAB-AF0D997C19A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8106632b0adc71ef44c2dbeaf0aca825804d86e4","datavalue":{"value":"W3006828438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658452$6A50C945-A53A-43D9-BC02-C4F9FEEB7D8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fbaf2bb909654b7e0fd9be28d2d2f1ab458ad82","datavalue":{"value":{"entity-type":"item","numeric-id":726379,"id":"Q726379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$B1DED823-CD8E-4EF2-926F-F880620CAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac3f60a7f42e1d0caf19c44fdd844e6915bb8eb","datavalue":{"value":{"entity-type":"item","numeric-id":545357,"id":"Q545357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$C4DFEF61-0994-442A-B525-4D0EFC410081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0f38aee70bb733547d789103859c2709c9e8cd","datavalue":{"value":{"entity-type":"item","numeric-id":2296465,"id":"Q2296465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$746FBC3A-79CA-433F-9BDF-543DEC15FD4E","rank":"normal"},{"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":"Q2658452$F5E2045C-4A24-448E-B93E-98136E849FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d306da3b8d7e4b54de8f8fc78e217e93c02cb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329141,"id":"Q1329141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$6DD2ADB2-0345-48AC-B390-A591346FFE24","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":"Q2658452$B54D82BB-ACA1-4A18-BFA3-E575402805E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fa42e9acd913b8d4868e8d64c9eccd1ea21cbb","datavalue":{"value":{"entity-type":"item","numeric-id":5352628,"id":"Q5352628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$16292BFF-813B-4229-B4FC-C522C644555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eff68e2b29483dd56982dc23262b1d83cafb51a","datavalue":{"value":{"entity-type":"item","numeric-id":5211178,"id":"Q5211178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$BED8C68C-C4F1-4A3C-89C4-4270396B1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52dd2e440e1940fdbc117f15dea2d4836a0acd20","datavalue":{"value":{"entity-type":"item","numeric-id":4558902,"id":"Q4558902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$BC8D6239-3989-42B3-BF38-EA46AC3A722D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5f114a73313ea78ce04b4f43b1418b22dec214","datavalue":{"value":{"entity-type":"item","numeric-id":2799301,"id":"Q2799301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$28EF7D6E-927B-4A71-8087-8157886A9EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fab29ecea8d512ceaf133f30d293d785a55150","datavalue":{"value":{"entity-type":"item","numeric-id":4562307,"id":"Q4562307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$73550008-EF60-434B-87B1-5DA21E5039F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad945b9deb515cd54b06309453884ba08cd8d121","datavalue":{"value":{"entity-type":"item","numeric-id":5211195,"id":"Q5211195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$A35E9BB3-EB84-4BDA-B433-DDAB69C242A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb6cb7cafc6ab365fa6e5fec2adce433ef41863","datavalue":{"value":{"entity-type":"item","numeric-id":1716461,"id":"Q1716461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$E60ECB65-47D2-4379-8BA3-F312A4C12AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a147a26fe1dbd3b8c8a7014d3d3a8cd3cdab180b","datavalue":{"value":{"entity-type":"item","numeric-id":1404386,"id":"Q1404386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$C8F240C1-E4EA-46C2-B791-A75CEACDDB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16989376212873acc6a450c7163c45860debedc","datavalue":{"value":{"entity-type":"item","numeric-id":2457674,"id":"Q2457674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$2E5A2DE1-42CA-4A95-B0AA-CA3B23180796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605b0840f8a4bd16bf877d43dc84aa08e38a1413","datavalue":{"value":{"entity-type":"item","numeric-id":425552,"id":"Q425552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$BB7EE49D-2DCD-456A-AF2F-C3719527C45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27c10bb8427bdb1c58bc6e73348a613c2658bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5274032,"id":"Q5274032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$C23FB344-39AA-4429-A371-AC56ABAA63ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12411821b1d85c9cb53ab19c41ee999c39d00498","datavalue":{"value":{"entity-type":"item","numeric-id":2982701,"id":"Q2982701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$993142DC-A6FB-4C8C-99E0-E2E1E42DA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903970ce7f4feabbc8d818778099ff0c108cafbb","datavalue":{"value":{"entity-type":"item","numeric-id":2457639,"id":"Q2457639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$835FE7CB-84A9-429B-93C7-A64A8C1479B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$09EDB6DC-1D0D-466A-9305-02FD1BCE3B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$4475C3A4-C59C-4987-9CFC-C6F1EF08FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$9CBD43EE-0CF6-485E-B4C0-27D4C6782BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4e39cac1be71c6762af84fd87f4243af5695b4","datavalue":{"value":{"entity-type":"item","numeric-id":5267079,"id":"Q5267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$D90EAEB3-9DE7-41A7-B98B-DF2323181EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad9a12288037035b29068d66caa22d1b35acd1","datavalue":{"value":{"entity-type":"item","numeric-id":5274234,"id":"Q5274234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658452$0144207D-E50D-4AA4-B852-BCD8983A77E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a668ba2820f5e015a3cc6a28f7351af65252c470","datavalue":{"value":{"entity-type":"item","numeric-id":692381,"id":"Q692381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b531e376165ae79cb05ffb53d8bf923719ba33","datavalue":{"value":{"amount":"+0.826457142829895","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":"Q2658452$E6F16165-9EA7-4A87-8B01-5C8E48A6F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294bfd301ea24550e8c7660290ff7b285822c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d29ff9e2c55d4827c0c9fc23c074c5a060776d","datavalue":{"value":{"amount":"+0.8249582052230835","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":"Q2658452$27A60104-D746-4DB6-BF00-BECEF9B51F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8b700222c4c294e46057a559b6a81d53351334","datavalue":{"value":{"entity-type":"item","numeric-id":510094,"id":"Q510094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27de5123772a2e10efe74f14a6550cbd542e6200","datavalue":{"value":{"amount":"+0.8238235116004944","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":"Q2658452$1A24CCE1-CA33-496E-8D65-BBEBA4021592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58a1c6780435c36676607f7f6cc35557f935798","datavalue":{"value":{"entity-type":"item","numeric-id":5237329,"id":"Q5237329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cdd21a4f69a2b17eb3262c73edb91941f2e707","datavalue":{"value":{"amount":"+0.8102114200592041","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":"Q2658452$45A9CAAF-5E9E-4945-A38B-5E2D79AC35CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78250d7b709183db803c9edfc6965e0c8e8662f2","datavalue":{"value":{"entity-type":"item","numeric-id":4506495,"id":"Q4506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745e891103e735d007e85b9bbfaf98ecd91ee372","datavalue":{"value":{"amount":"+0.8011337518692017","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":"Q2658452$CCB3B31F-7BC8-49C7-945F-4DAFC1D101F5","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":"Q2658452$1863DAB6-1883-4DD9-907F-38E5C7EC6AA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2658452","badges":[]}}}}}