{"entities":{"Q6174049":{"pageid":13308937,"ns":120,"title":"Item:Q6174049","lastrevid":55467121,"modified":"2026-02-17T17:03:52Z","type":"item","id":"Q6174049","labels":{"en":{"language":"en","value":"Probabilistic verification of diagnosability for a certain class of timed stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7712450"}},"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":"Q6174049$5757EFF6-B2CA-4344-BC45-602A37D35F20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa9db83ff249f4120d8dc9b1ab38f1cb0093696","datavalue":{"value":{"text":"Probabilistic verification of diagnosability for a certain class of timed stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174049$0E4719CF-9588-41AB-95A1-10B7F6EE2F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"badc92bcd46e2305cbe4cf764e2c948db1bbe122","datavalue":{"value":{"entity-type":"item","numeric-id":417725,"id":"Q417725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$A053BBAB-4023-4718-B27D-7A2FE7E70765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f838b886625463a4d532ab3eeae7ed5215e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":286506,"id":"Q286506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$1DBB6F85-FB46-41A7-9BF1-DDB28A572616","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":"Q6174049$A273B5A2-ED4D-4D3F-BD45-791BB98633E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0383e481d0e7bffc6ee2f346166a7ba5238ed80b","datavalue":{"value":{"time":"+2023-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174049$1E1824D6-B290-45D6-A22F-FF7F9ADF073D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dd1d21d48c28223d3a8b6c8d7077486012ec229","datavalue":{"value":"The main interest here is in introducing probabilistic information in logical systems. The focus is in providing probabilistic verification of detection and isolation of faults of interest in logical discrete event systems. These detection and isolation are known as diagnosability. In this type of system the diagnoser must detect a fault after a finite number of operations. In timed discrete event systems the diagnosability is related to delays in units of time instead of in the number of operations. The introduction of the probabilistic information in logical systems allows a refinement of the analysis of such systems. In order to address the issues mentioned above, the authors consider labeled continuous-time Markov models. Hence, a section describing continuous-time Markov models (usual and labeled versions) is given together with the basic properties and results related to them. In the same section, the authors introduce the concept of faults pattern (usual and in the context of Markov models). The authors proceed to describe verifiers of labeled continuous-time Markov models. A series of definitions and lemmas are given. The description of the logical verifier design is presented, as well as the description of the probabilistic verifier. Throughout the presentation of these concepts, comprehensive examples are also given. Finally, the results related to the definitions and propositions of conditions for weak notions of diagnosability of faults pattern in a time stochastic framework are given. These are presented in forms of lemmas and propositions. Their proofs are given in detail. At the end of the work, ideas for future work are listed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174049$0C993E1F-1A3C-4F81-AF96-446F81203EBA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c001b36ccb80f1d3f9f6078663c7926d9772d1c4","datavalue":{"value":{"entity-type":"item","numeric-id":468026,"id":"Q468026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$6F524FAE-3377-44F3-8D6D-A441BCD1283D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174049$9AA9F0E1-0DF2-49A6-AD0A-33E0529765F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174049$3413410F-569A-444B-AEBC-C83A01DC43A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5324c54a5b1cbe1a80cf6fd5ed624d38a1676138","datavalue":{"value":"60J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174049$DE78433C-DEA1-4EF9-8A4D-50041A870F00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dee0e1f5b876c190f18511cd55d55e15f8d9262","datavalue":{"value":"7712450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174049$BA6D92A1-E9A7-4FE5-B64A-7755CF26A171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473eaabddf67547b7dd11d6e75702763db11fe78","datavalue":{"value":"continuous-time Markov models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174049$3660543F-F138-4372-92BF-98F27D566964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b07527d082e3140fc83fb8b3c37f110389957a","datavalue":{"value":"fault patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174049$5E13FB4F-1D43-4BAF-BF32-A972ADC29488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb8c5a83af550b1fe8d7a56c9f35b71cc84be46","datavalue":{"value":"verifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174049$8907F259-F93B-4C48-ADA4-608A2E1F5145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eeeb920fbe05254a6d43d30e4e88439b0ec974","datavalue":{"value":"diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174049$6B528DE8-4977-43ED-9E31-7B3E8167B9C4","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":"Q6174049$A248FF8F-ED2F-48A3-B1E0-EAE701940EBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c3736520dac9670a86294c4174e782129d4e74","datavalue":{"value":{"entity-type":"item","numeric-id":897674,"id":"Q897674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$F2F457F1-FB93-4523-A282-42781349B4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ac64ed412127407c7f962676a4cbe245fcadd9","datavalue":{"value":{"entity-type":"item","numeric-id":1678629,"id":"Q1678629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$B9565925-C35B-4E33-99E8-2D44BCE0F58D","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":"Q6174049$5A8C209A-67B4-47CC-B62F-E9B9ACBEB193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceaf19f2d8c9cf201cf35ecbe6a5ad4e8278d020","datavalue":{"value":{"entity-type":"item","numeric-id":1677190,"id":"Q1677190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$0452ACDA-4C35-4B88-B815-6DFF17731AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b7721d285dccc04328fad40a7e3f6e0775cff9","datavalue":{"value":{"entity-type":"item","numeric-id":2280320,"id":"Q2280320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$DD5FE4DC-0C66-4BF0-9190-11B843DF54B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$9A6EE115-D32B-4CC8-BCAE-361455F26462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88adccb9813f683fc56442632142ee1f0d22035a","datavalue":{"value":{"entity-type":"item","numeric-id":5392291,"id":"Q5392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$E3FB4A66-7318-45F1-9D00-68DB2B218F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e19bb52a9c8c241f845cb6f7eb26111667ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":5705876,"id":"Q5705876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$66ACD45D-DBDE-4FEF-8590-7AFF20630469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc833d5e47067a15f5da73f265d1894b177770","datavalue":{"value":{"entity-type":"item","numeric-id":2128087,"id":"Q2128087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$3D8E7C40-C706-46B9-9A6D-F1C04012ED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056d7df2bb97107bffeda7925276e72700733b8f","datavalue":{"value":{"entity-type":"item","numeric-id":702841,"id":"Q702841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$7AAA368E-0268-4D2F-A177-E7EBD4E65FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f5f2a04848b19a3291da9025850189452deea3","datavalue":{"value":{"entity-type":"item","numeric-id":2058490,"id":"Q2058490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$20686474-5FE1-4068-97D3-5BACF47BFD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322b9b04623b040d438f6d5889a786da87337836","datavalue":{"value":{"entity-type":"item","numeric-id":513189,"id":"Q513189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$18CC5FD4-69E2-471C-A672-F76C5174459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3846392df03162352b6465cd6877284af7ce7c40","datavalue":{"value":{"entity-type":"item","numeric-id":5273787,"id":"Q5273787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$4856F6A8-0864-4FED-9700-92B2F8F3A370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e187c29d43f1916763258e56eb41784ed7d07a","datavalue":{"value":{"entity-type":"item","numeric-id":2999115,"id":"Q2999115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$33D36B87-EBB4-4BA0-B0E1-DCDEFB5E2037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b17c976a7d3f22cc5103d732778bb33f9d8252","datavalue":{"value":{"entity-type":"item","numeric-id":5366868,"id":"Q5366868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$5F57ADE0-DB28-4B6E-A020-57D769959402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b45fead44e15b3ba7a1a7537ba79dc4cfa9cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4337696,"id":"Q4337696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$0EC220F7-6370-4A32-A6E9-DE8080402244","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":"Q6174049$CD761D51-8660-493F-9551-54E3513100E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221b39b5eb2511e3abdbe22cb2f253f38abc9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5243063,"id":"Q5243063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$13A3A8F9-874D-4BF0-8B1E-7FA41D9A0D23","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":"Q6174049$DC9F495F-A00C-49A9-8825-9740DC11E885","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":"Q6174049$5963538F-8394-47B5-963F-3887BFF2BEF2","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":"Q6174049$DAC78E15-E5D5-4594-9102-43518AE7C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b6dd32e510c5283d360641ef4584891e71bf72","datavalue":{"value":{"entity-type":"item","numeric-id":2197587,"id":"Q2197587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$5269AAED-3E9F-442C-B496-62514F053284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66b1a97fafee4b3da3404a72e7458fcc973617c","datavalue":{"value":{"entity-type":"item","numeric-id":5033877,"id":"Q5033877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$DB2D3C16-4C5A-4E40-B1EF-F1F816CFD509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6962465e8a74ef6ce0107dc058bfe99433131c4","datavalue":{"value":{"entity-type":"item","numeric-id":2798748,"id":"Q2798748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$5FDB75B2-9678-452B-8A49-12EAAB3BC777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0172b29586786a75738d1cffdfc2a0666bf9e","datavalue":{"value":{"entity-type":"item","numeric-id":4635617,"id":"Q4635617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174049$D1D4EBFC-F823-428B-8AC6-36B347C163C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a05512668b5ff7de685088795f3213eb75481dd","datavalue":{"value":"10.1016/J.SYSCONLE.2023.105531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174049$696369BA-4C58-473B-821F-C64733DBC320","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317877602bb483d9126513755ffa2ebcc5cd8a47","datavalue":{"value":{"entity-type":"item","numeric-id":6190046,"id":"Q6190046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486c85ad45a639d895032ed00ed3c4acc84b9c1b","datavalue":{"value":{"amount":"+0.9041049480438232","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":"Q6174049$DC22935B-DFEF-406F-AEF8-56AF5C9CC373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588926cba181cee46c11a83bf266ebe4a08311ed","datavalue":{"value":{"entity-type":"item","numeric-id":5027364,"id":"Q5027364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d9659f5494a149631a579c07ed6aef9f04a2c3","datavalue":{"value":{"amount":"+0.8131441473960876","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":"Q6174049$7070D6A9-5CF3-49E1-A4B0-3368A58D69DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf460e9fb97e3eacc8694523aece395632bcb18b","datavalue":{"value":{"entity-type":"item","numeric-id":6581168,"id":"Q6581168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342fd50e7ac791603ec4471692f30aa5031f6e6e","datavalue":{"value":{"amount":"+0.7930814623832703","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":"Q6174049$38C56205-C7A3-43E5-AFB9-0914820EDE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5136bcdb18d6bf9b84936bb106639263bb88d55c","datavalue":{"value":{"entity-type":"item","numeric-id":1677190,"id":"Q1677190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d985f34dc14fd5ace8e98f4c2cc399f593680b","datavalue":{"value":{"amount":"+0.7915276288986206","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":"Q6174049$295EBF0F-221B-42C5-B121-1DB98F68C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e050bd1bd93970e9e9c7ca444225f62cf6516de","datavalue":{"value":{"entity-type":"item","numeric-id":2280320,"id":"Q2280320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261afc9799f30bd6496e5fb8c23ecbbc5f124423","datavalue":{"value":{"amount":"+0.7891549468040466","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":"Q6174049$47183D73-59C3-4E07-A207-1DABE9C8A61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174049"}}}}}