{"entities":{"Q2298809":{"pageid":2309552,"ns":120,"title":"Item:Q2298809","lastrevid":57259332,"modified":"2026-03-27T16:38:55Z","type":"item","id":"Q2298809","labels":{"en":{"language":"en","value":"Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171290"}},"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":"Q2298809$5EC5B37D-6C3D-4414-954F-C4EDE357C9F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f176fe7c13bd468edf7f60841ce250190e2070aa","datavalue":{"value":{"text":"Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2298809$7E636156-092E-47D9-9211-B9F5694E90DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e604c4e89c5f6deff4a65673fe7bf34caf2cd534","datavalue":{"value":"1435.93157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$E41F474D-E0C3-48DD-9DE1-E39FC3E91897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0631810151755b2a58427273704571ca44d65e42","datavalue":{"value":"10.1155/2019/8021750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$4F58B140-264F-4A3E-8C8B-3580AB19CEA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d39f5e42d880f23542534f52789a523961fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":826789,"id":"Q826789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$1E89537A-E906-4AE3-9BBD-C8FD4AC38C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a909bbbb691e9ad5a1a805d0a5475e271af3d79d","datavalue":{"value":{"entity-type":"item","numeric-id":274010,"id":"Q274010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$CDE74429-4373-4881-B696-C0B1189FCBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c355b590268e0df986e79277ea8524188208f173","datavalue":{"value":{"entity-type":"item","numeric-id":1784846,"id":"Q1784846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$0D94051D-9188-4244-9A25-8DBCAA8FD5C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$0C7244DA-53F7-4494-85C2-7D14CFBEB392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2298809$67A8B4A2-4199-441F-834D-0D2C6CA765B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e50edb6b229d19804d2cccb3086d0301b0cce0f2","datavalue":{"value":"Summary: This paper proposes a matrix-based approach to investigate the controllability, reachability, and stabilizability of probabilistic finite automata (PFA). Firstly, the state transition probabilistic structure matrix is constructed for PFA, based on which a kind of controllability matrix is defined for PFA. Secondly, some necessary and sufficient conditions are presented for the controllability, reachability, and stabilizability of PFA with positive probability by using the controllability matrix. Finally, an illustrate example is given to validate the obtained new results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2298809$FC4F8974-7905-4115-92B7-80B66F29FBB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$D77497B2-B462-4D78-B8BB-A4BF55C10A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$C5519EC5-588A-4C0D-A88C-2CEB3CB0A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$8F1B78D1-05AE-4122-B2EC-790864CEE373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"406c80d213b264ba577b5aab979b8ac352491ba7","datavalue":{"value":"93D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$1995882A-D300-48FB-9DE6-8565704FE9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$3E8736E6-B3F6-40A9-940A-C1AF9264EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$25516EBE-19C3-4E15-90D0-055EAA64531A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a0ed93b9cdf2d9f25bd76ac20acfee61c5b179","datavalue":{"value":"7171290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$04280E20-FD43-4483-85E0-2547E1A40A12","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":"Q2298809$F0B278DE-7157-44D1-B21A-838DFE8B2954","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":"Q2298809$7B2DEE21-E9D7-4F40-9E65-3FDD974158E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5731f06413ffcdb7782aeb424be4772e4cd75eb","datavalue":{"value":"https://doi.org/10.1155/2019/8021750","type":"string"},"datatype":"url"},"type":"statement","id":"Q2298809$BFE87A5C-60F7-4725-B5CC-DF3730103C8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ae58886c18a6f4d0542364976cc89ce7f4ff3d","datavalue":{"value":"W2936699898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$AC50D81C-1905-4A19-89DD-B7605927DB38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d519a35259c49cddeb671f34227cf4294f3065e7","datavalue":{"value":{"entity-type":"item","numeric-id":1401239,"id":"Q1401239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$79AFE4E5-CFE3-4A58-90BB-BB7B7ED49F35","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":"Q2298809$E821BBD1-F754-4F64-8B82-A3BC31A9B4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ff9e18b81194bccb454f98cb6e006644de35dc","datavalue":{"value":{"entity-type":"item","numeric-id":439977,"id":"Q439977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$A00EE9A3-D625-4539-B546-FA0D4B60570C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$0908A219-63CE-4C86-9C06-067ADF1859A9","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":"Q2298809$48DA6714-64A6-4C1C-95D7-05FD573B5694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df130b012473cc58d3f46bb1f861f27cfccae5f6","datavalue":{"value":{"entity-type":"item","numeric-id":5281862,"id":"Q5281862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$259CC615-0EF6-43DF-B981-33C4BF88789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a0b889997bf81190469f18001e1ac850478031","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$376311CB-0CE6-48BC-9E99-36C7E935F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5707e59f5f769f093b66650af387e4a51fd59db","datavalue":{"value":{"entity-type":"item","numeric-id":5353417,"id":"Q5353417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$B7B33932-1ACE-48B1-9AB3-3E0A2625DA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c24a872ede5baf63b925d68ce5e8573c97f8af","datavalue":{"value":{"entity-type":"item","numeric-id":2518973,"id":"Q2518973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$A3587DAA-2F35-4AFC-B8C2-96CB62CFFA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434bbab675bdb0d6af234a06c71e064da47a7c84","datavalue":{"value":{"entity-type":"item","numeric-id":4506936,"id":"Q4506936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$2FFA2E64-AAD7-4167-88DA-4273EC383335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3255ef813a69d4ebbb1668c962330c9ff754c54","datavalue":{"value":{"entity-type":"item","numeric-id":3224871,"id":"Q3224871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$49485508-BE39-4695-AD76-0C252E00BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8c7991bda0434291015c1ece33802135a388af","datavalue":{"value":{"entity-type":"item","numeric-id":2824518,"id":"Q2824518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$9FD58FBB-6095-4FFA-8404-D542D5558984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf81a72cef0485e94670cbfab0415bd7fbce9805","datavalue":{"value":{"entity-type":"item","numeric-id":900658,"id":"Q900658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$7041B7F6-28ED-4D32-BFF4-57B27221A00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9fd664742b51fd95100ff84c56e3a0b5ec5484","datavalue":{"value":{"entity-type":"item","numeric-id":2407161,"id":"Q2407161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$99294E69-7219-4F0A-9F33-6BF7979D442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86eb800d148bbb22914cd3b3ae6a91f1fb080bc6","datavalue":{"value":{"entity-type":"item","numeric-id":490793,"id":"Q490793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$249E1901-384D-427D-BD0E-FE7DC1DC7C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aba0f43395a402c38700c2e2aa892de18f7afc6","datavalue":{"value":{"entity-type":"item","numeric-id":4591238,"id":"Q4591238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$2FEDDC9D-253A-4F58-85B2-642677F7225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e930fa12e0a07c49c99f9de1c44b652c1ba308c","datavalue":{"value":{"entity-type":"item","numeric-id":2982822,"id":"Q2982822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$2A2427F0-187A-45A0-95D8-289AF310DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b064f57f4831bec65138975c30b816f74ebc8","datavalue":{"value":{"entity-type":"item","numeric-id":1679120,"id":"Q1679120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$F9894370-D7DF-4C8B-BF81-6C7B3949CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903b02187373abe4b60a0248ed801b880e752566","datavalue":{"value":{"entity-type":"item","numeric-id":4589496,"id":"Q4589496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$103C148F-29F3-4123-AD08-44C8B65CB465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca4925c972d845a9820e03305433dc2f9fbcd9c","datavalue":{"value":{"entity-type":"item","numeric-id":682780,"id":"Q682780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2298809$0255FA6A-175D-4D1A-85EF-AE5D14A91185","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f622c6dc4bc2af00e8dc0e0637c78af98156654","datavalue":{"value":"Q128038193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2298809$6347029E-655A-4965-9A8A-057350AC6F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddd993c7207985b0a43160156845bac39f66305","datavalue":{"value":{"entity-type":"item","numeric-id":5131093,"id":"Q5131093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb69aac8c8a98efc250d322ad5402ddcdc058682","datavalue":{"value":{"amount":"+0.9327269792556764","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":"Q2298809$A6E6F930-7929-4125-A635-1D2AFE4967E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21a54d2fcc1cd509b8f15eec3d75e0021f3481","datavalue":{"value":{"entity-type":"item","numeric-id":776109,"id":"Q776109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fafde46cf516ba90ee57864d5328d7e1db568bb","datavalue":{"value":{"amount":"+0.894690752029419","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":"Q2298809$75FF1CE4-62A7-4824-8D65-6ECEA34C0A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e578152d142332966c83c85525f9a825de0a5a4","datavalue":{"value":{"entity-type":"item","numeric-id":1721288,"id":"Q1721288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d830b4d98af46246d7c28e6161f56caf0eb164eb","datavalue":{"value":{"amount":"+0.885202944278717","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":"Q2298809$4680FEA9-8E0E-4D9D-B511-23D78F5091D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1a60ab8a5981125b461e9abd473684bdb2709a","datavalue":{"value":{"entity-type":"item","numeric-id":665214,"id":"Q665214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750ddac9e5fa4dc647b822ca0978d2a7988e618c","datavalue":{"value":{"amount":"+0.7893816232681274","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":"Q2298809$6442401F-D093-4F52-B685-CDA264018D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93219e207b57d8cb42f5cbb9d64a023416a3b106","datavalue":{"value":{"entity-type":"item","numeric-id":1633055,"id":"Q1633055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5086b607967b635d33427c1032f4001f0a6bc9","datavalue":{"value":{"amount":"+0.7882954478263855","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":"Q2298809$926FE858-0DA5-4912-AD51-361709F83F4A","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":"Q2298809$4085B168-B434-41E0-90A6-4A2AEC1EC65E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2298809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2298809"}}}}}