{"entities":{"Q1721288":{"pageid":1732029,"ns":120,"title":"Item:Q1721288","lastrevid":68864208,"modified":"2026-04-13T02:43:23Z","type":"item","id":"Q1721288","labels":{"en":{"language":"en","value":"Controllability, reachability, and stabilizability of finite automata: a controllability matrix method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7019337"}},"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":"Q1721288$D821D2E7-6DC1-485B-8982-B77E56174B08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e67ded84139f1f7f61536e3bf94bbbf3668784cb","datavalue":{"value":{"text":"Controllability, reachability, and stabilizability of finite automata: a controllability matrix method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1721288$492F549D-F699-4643-9030-7A5B04AF5A36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26fbb05f85208dda114bf9ba969c4b6060c529af","datavalue":{"value":"1427.93146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$0C815E6A-3265-41E6-8465-9402970BAEDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bb6ee899eca03a7ea8cc8f5a0dd59925a6b4ddd","datavalue":{"value":"10.1155/2018/6719319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$C79B5D10-CB3D-40A4-A917-F51B67A0FAFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d3a5722326d3afc05497c8af266af7d9bec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":1661832,"id":"Q1661832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$EBF39BE3-CBB8-4492-B692-12A806EFA664","rank":"normal"},{"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":"Q1721288$0EF8F0E7-50F1-4A14-9707-185C3AB618FB","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":"Q1721288$E38C56B4-F94A-47F9-BAB1-35A7F44177D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cc5db8423eea82a133e10942d6f94e6ee4e69f8","datavalue":{"value":{"entity-type":"item","numeric-id":362538,"id":"Q362538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$EBEAF13B-03EB-49D0-9EA8-68140AB73C2F","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":"Q1721288$FB0EB4DE-2095-4B18-9574-52236107484E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1721288$BEE98E5F-2DB8-4F1E-B393-5DA94C66C713","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3966e39cc797cfe5d41ffdc614b97408a502d178","datavalue":{"value":"Summary: This paper investigates the controllability, reachability, and stabilizability of finite automata by using the semitensor product of matrices. Firstly, by expressing the states, inputs, and outputs as vector forms, an algebraic form is obtained for finite automata. Secondly, based on the algebraic form, a controllability matrix is constructed for finite automata. Thirdly, some necessary and sufficient conditions are presented for the controllability, reachability, and stabilizability of finite automata by using the controllability matrix. Finally, an illustrative example is given to support the obtained new results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1721288$C672D32F-3AEF-4A7F-8962-E8AB8CE6E7F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$4D98720A-9FF2-4FA4-A55F-6741509E3C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$CF81281E-AAC0-4010-B2E5-7F8B627F6D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$136E0ED8-9008-4988-A121-57054F0D3E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$31C20E51-75C7-41C2-87C8-65DFF4EFCEE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae06464d48aad6f498772e72b56d92ea31574ed","datavalue":{"value":"7019337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$1DF61666-D397-4C42-8144-7B529EC7F35D","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":"Q1721288$8D8EAC54-D7DB-4408-B46A-D1B4467502B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4e05687d5be8d030caa5387405024e8b1ed7cd0","datavalue":{"value":"https://doi.org/10.1155/2018/6719319","type":"string"},"datatype":"url"},"type":"statement","id":"Q1721288$0410204A-6C66-478F-A4FA-97C7E9597F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6405f8d3544b83543e200e73342d0e6955574b6f","datavalue":{"value":"W2793491148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1721288$CBB5D586-E226-419B-8672-F9EDC099B62E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90432426f2bc23281cc04dc165f90ec7b32ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1415937,"id":"Q1415937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$4087B577-76B3-4280-873C-210A0CBAC238","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":"Q1721288$D522FAF6-EDAC-45A1-B0C4-932D5E8EA69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdaf54329ae69f58811a91fbba85e809b1dc67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4302302,"id":"Q4302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$F9CD5AE4-7990-47B9-B290-51DFF56BB3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b8b0dd869a4029d01cfb8e8948a8c4b04d9bd","datavalue":{"value":{"entity-type":"item","numeric-id":763412,"id":"Q763412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$2BB9EC4A-F9DF-4440-A431-49CAE7607097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f119d887ecc1d2970a395eb42b76e81f19eb9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":992742,"id":"Q992742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$BAA3FEC0-435B-4E36-8746-B64A9994B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c45d1d9b51e5b0d29b7fa851e6348fc5d465277","datavalue":{"value":{"entity-type":"item","numeric-id":490638,"id":"Q490638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$64A74C6B-6DC3-433A-85D2-E10DE74086EA","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":"Q1721288$629DE20A-0BB1-4D65-BFDF-80D6908E5CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95ab46ee8758c4bc33ae2a5bba8233c2c856e83","datavalue":{"value":{"entity-type":"item","numeric-id":2862450,"id":"Q2862450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$3B290A72-5AFB-495A-8684-516F9E424815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222d73dea7aeb5c754b6a7fb200913e03874828c","datavalue":{"value":{"entity-type":"item","numeric-id":1942695,"id":"Q1942695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$C01D427A-FB35-4FAB-834A-AEA0EAEC28E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cf09f9aa10fa49259a23d2967c66b3f268a1c2","datavalue":{"value":{"entity-type":"item","numeric-id":274011,"id":"Q274011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$70297D9C-B7D5-4779-89FB-4F5DA71E5CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718b189e5c9f6e9be1ac3d158286e8a1b9901307","datavalue":{"value":{"entity-type":"item","numeric-id":894331,"id":"Q894331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$0DF65A81-C409-4317-A8D9-4EAE2E5EDF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c197dedb66af5a06b88a5c1661ed5c7a7d0df1b","datavalue":{"value":{"entity-type":"item","numeric-id":2949982,"id":"Q2949982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$F3FC7E66-69E0-449C-ABCA-CEF22D4C49C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a161c027304e6236c0f26762aaec44bfe8a04c","datavalue":{"value":{"entity-type":"item","numeric-id":5352649,"id":"Q5352649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$2A5B3E51-1F27-4D26-AB33-2E5DC8DA9242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df18ed9e64a3a2e2f1d703046635cda618331fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2980540,"id":"Q2980540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$D62CD4CF-C0F4-48E7-ADF1-DB5E0E804839","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":"Q1721288$A54BC820-612E-4D3B-AF59-CE7239CA6202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a63a10c276eab598b37e36db4b465caf3dca57","datavalue":{"value":{"entity-type":"item","numeric-id":899110,"id":"Q899110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$D76EFE9E-2735-46B0-9F00-1D20DB7F92AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a2d59c9e2ba94c6160ba6fa4a4be9bf1afb3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2982589,"id":"Q2982589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$90C8B17F-F1CE-4502-8CEF-037029E30594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce08a7e552ccb43699a377bb1f3464c37b93af4","datavalue":{"value":{"entity-type":"item","numeric-id":1428134,"id":"Q1428134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$8B61E9FB-A61F-4AD3-A612-C6F59534E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79f593a306871df817971cb6c9076507e2d2f06","datavalue":{"value":{"entity-type":"item","numeric-id":732792,"id":"Q732792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$048AEBCD-B63D-41AA-8C1A-4660D42DDD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e6f2ce01213004f8d97c3e1a8e09056ce016fb","datavalue":{"value":{"entity-type":"item","numeric-id":2342794,"id":"Q2342794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$CC113C44-348B-4781-BB1D-3AF8AC80171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d83a76e043fc50a5df394249fbb3ec11738405","datavalue":{"value":{"entity-type":"item","numeric-id":445938,"id":"Q445938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$09C9E7AD-A7F6-4EDC-A8AA-72133171840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6029f8b57240a44aba8af27fdfa731787bea05d","datavalue":{"value":{"entity-type":"item","numeric-id":5497724,"id":"Q5497724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$C6C1BBB8-64EB-4AAA-9202-04D9D82EA9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2848b3286782a6696bca29a7784fc49b10b09272","datavalue":{"value":{"entity-type":"item","numeric-id":900212,"id":"Q900212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$C5D00B9B-BA23-4C47-BD5B-7A7A57727BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33369ca353b1d7bfdb1d30274650d368c16c48e","datavalue":{"value":{"entity-type":"item","numeric-id":463931,"id":"Q463931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1721288$89146682-0D69-495B-9F6B-5F0BFA13772D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e273a101948bb3038954e04c88b19fc1990bb1c","datavalue":{"value":{"entity-type":"item","numeric-id":2298809,"id":"Q2298809"},"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":"Q1721288$1829666A-49BC-491D-82DC-B604EC80E10F","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":"3d288ec5995eb4b85e9cb35e827b4a4167e21af2","datavalue":{"value":{"amount":"+0.8585159778594971","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":"Q1721288$96DEF64B-54CB-4B44-A075-BA8C60572C56","rank":"normal"},{"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":"2bed9c6112f7ec921b9205395ebc9f90267630b2","datavalue":{"value":{"amount":"+0.8386805057525635","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":"Q1721288$201A6152-0E9F-42D7-A7C5-A41446C1F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a6cbdbf632131622928a5078d15e0a34ae5093","datavalue":{"value":{"entity-type":"item","numeric-id":1622234,"id":"Q1622234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb9ac36c9e95a190e8b0cf80e1f13a9d5473ae3","datavalue":{"value":{"amount":"+0.8276177048683167","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":"Q1721288$63521E9B-C163-4C82-A532-5DFE43BC0B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8e855edf5ef973736c039ade8bb4c944f19abb","datavalue":{"value":{"entity-type":"item","numeric-id":4600101,"id":"Q4600101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4559895401ee0772b8ba3b766c7c7f2d4c8d0d","datavalue":{"value":{"amount":"+0.7874980568885803","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":"Q1721288$C07645EA-438D-46FB-8D99-AAC1A91112A5","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":"Q1721288$63BC3A7D-4C83-4E92-8B7B-C20385E680CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Controllability, reachability, and stabilizability of finite automata: a controllability matrix method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Controllability,_reachability,_and_stabilizability_of_finite_automata:_a_controllability_matrix_method"}}}}}