{"entities":{"Q705464":{"pageid":707313,"ns":120,"title":"Item:Q705464","lastrevid":63762432,"modified":"2026-04-11T15:22:50Z","type":"item","id":"Q705464","labels":{"en":{"language":"en","value":"Periodic and non-concurrent error detection and identification in one-hot encoded FSMs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131552"}},"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":"Q705464$9E72EACF-3D66-43E8-B90C-37942F5C1AA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"386409462fd0b5e8551faa0ce973be37faf3e382","datavalue":{"value":{"text":"Periodic and non-concurrent error detection and identification in one-hot encoded FSMs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705464$367ECAF4-29D8-4CF7-9D2F-AA044E1CC9E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a6086290f03e5fb25b09042e31caee88d7dde2e","datavalue":{"value":"1162.93381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$331EC614-C921-4ECA-A2DE-B04AB55440B5","rank":"normal"}],"P16":[{"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":"Q705464$78B9D71D-B5DA-471E-8946-937D09D83D8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$79197B54-2934-445E-9499-AFCB6C48C0F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705464$454611F9-311E-4B01-A4BB-12CF5A6D0AA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba0c48a9b72083809386511b01c727c70a8e20d2","datavalue":{"value":"The discrete time finite state machine (FSM) with state transition faults is considered. The FSM is described by set state \\(Q=\\{q_1,\\dots,q_N\\}\\), input state \\(X=\\{x_1,\\dots,x_U\\}\\) and output state \\(Y=\\{y_1,\\dots,y_J\\}\\). In an one-hot encoded FSM with \\(N\\) states the current state is represented by \\(N\\)-dimensional binary vector \\(q[t]=(0,\\dots,1,\\dots,0)\\) which \\(j\\)-th nonzero entry is equal to '1' if the state is \\(q_j\\). This representation allows to consider the next-state function of FSM as an equation  \\[  q[t+1]=A_{x[t]} q[t],  \\]  where \\(A_{x[t]}\\) is \\((N \\times N)\\)-matrix such that each of its columns has exactly one nonzero entry with value '1'. This representation allows to use algebraic methods.  To detect and identify state transition faults an embedding system is constructed with \\((N+m)\\)-dimensional state vector \\(\\xi[t]\\) which is described by the next-state function  \\[  \\xi[t+1]={\\mathcal A}_{\\xi[t]} \\xi[t],  \\]  so as the original state vector can be found by the relationship \\(q[t]=L \\xi[t]\\) and the faults can be checked by calculating signatures of \\(\\xi[t]\\). Traditionally concurrent checks of faults are used, that are performed at the end of each step \\(t\\). In the article periodic error detection is considered, i.e. at the end of each \\(L\\) steps. This approach is more beneficial in case of rare errors. The appropriate constructions of vector \\(\\xi[t]\\) and matrices \\({\\mathcal A}_{\\xi[t]}\\) are given in the article.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$9DBEFC0E-8EBB-41EB-90B2-9D2DD4DD9685","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"280f101b1c750c0ba69a260fa420e20feae2066a","datavalue":{"value":{"entity-type":"item","numeric-id":629779,"id":"Q629779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$0B058F9E-B846-4A2B-83B6-A6191EE7AEAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$6C9DB4D5-D0A7-4E90-BCBC-69DAA12E24FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$3E010FBB-AAE0-48E7-90A9-3AB9B3F63AB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17500be589073a8374af33ab7f7f8470b5d6703b","datavalue":{"value":"2131552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$6CC326DE-2ADC-43A7-B04E-845C77EF26FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$D1219882-4B8F-49E7-83B9-6177F93FFA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ff8d9100fe4023ebe9b3aaea4870e2a981efb7","datavalue":{"value":"finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$047D47C3-2EFE-4B1E-896C-9A17C3D561C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad026720be1cbe09c9da5ffc10766ed9bb10c4f3","datavalue":{"value":"logic controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$CB1863B0-A980-4D05-8C74-F95C872E89F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa9296c586ddb3eff4babc4450cce1194a7bf3c","datavalue":{"value":"fault detection and identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$932A11E3-4627-4EC4-8313-1ED1556C8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10318e9bdeb4646a4b0ff052e4b1a1af510a2f67","datavalue":{"value":"error recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q705464$43C32B51-4EF0-4200-99F9-7D97E71AF50A","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":"Q705464$903FBCB3-4284-4170-AC1F-C429DEF9CA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae6c9c735aff360c93c2574e5478560593eb855d","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2004.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q705464$17FE8D51-890E-451D-8F61-34FFD6906436","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38ab3042968c5031417d835d6245acd7e5b07f3c","datavalue":{"value":"W2081734923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$C338BDC0-6D74-4D6B-8CAC-8F85DA2A1CA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c99a61cfe1d6611c26ca0e19aa8a4d2b10de3a","datavalue":{"value":{"entity-type":"item","numeric-id":2730219,"id":"Q2730219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$825317C5-5BA0-49FC-BFCD-719D054AA77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1753986140d6c424bbe332c8913ad759f29a35dd","datavalue":{"value":{"entity-type":"item","numeric-id":5266845,"id":"Q5266845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$F0136DD4-F22C-435D-A905-7A99854CB945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813cf229542bc0c1c0f02c1b5d1ad10ea8351f4","datavalue":{"value":{"entity-type":"item","numeric-id":1975198,"id":"Q1975198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$94ACD245-CC26-43E6-8300-83277DC8D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6132e69c6a9061b25cc8779a8a61100d544268e","datavalue":{"value":{"entity-type":"item","numeric-id":5267072,"id":"Q5267072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$16D03E24-4959-4732-AD7D-61952D284D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b06122eea5179877550bacab6739c9c791d492","datavalue":{"value":{"entity-type":"item","numeric-id":2770033,"id":"Q2770033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$F4F375FF-C834-4A9E-8506-FD47ED796573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efb8df35d77863130a155a2a0b6d0f43a0be13e","datavalue":{"value":{"entity-type":"item","numeric-id":5349605,"id":"Q5349605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$8BC881CD-B6A2-4CC4-B45A-E9864B9A7008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c7a56dc2163e181cb370b7f9a361effb8bed79","datavalue":{"value":{"entity-type":"item","numeric-id":5266652,"id":"Q5266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$C6F25726-4212-42B5-80C2-8601D71DB504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce4a28123c505a18840c9dd019ef932e36ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4909608,"id":"Q4909608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$A14A3189-FB17-46C0-BC6C-D0D190E22E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b32a66c9a098a8bda20f2372d1203b2b755403","datavalue":{"value":{"entity-type":"item","numeric-id":5267300,"id":"Q5267300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$A6A8E3AB-FC0E-4B7E-8B05-8A91D100A659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70027744934b0c401799ab3846e2b6e2c84e49b","datavalue":{"value":{"entity-type":"item","numeric-id":1867785,"id":"Q1867785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$22267149-854E-437A-963E-D21148C9BD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4780e29d5a7da2f02b4ac100a760d8eed713019","datavalue":{"value":{"entity-type":"item","numeric-id":4038752,"id":"Q4038752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$AF4E8127-3AE5-4D7C-A2A2-5584FED431BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a16a620d5f07da1bd93749d22df997536b04ef","datavalue":{"value":{"entity-type":"item","numeric-id":3221396,"id":"Q3221396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$ED0D3FBC-57ED-4826-938D-16E8EA00020D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0831e4ad4ea6b297ebed1a9661db80d3becea19","datavalue":{"value":{"entity-type":"item","numeric-id":5636770,"id":"Q5636770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$4C922F82-3AEB-4F6E-B715-6526C0BE5363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bbfa9c39622cda03df579083258465372451c","datavalue":{"value":{"entity-type":"item","numeric-id":4507145,"id":"Q4507145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$12EA103C-8972-4EE6-9E1B-0934855B7193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1989ef72006bfa44775aa7a909b6defee4ebe1a","datavalue":{"value":{"entity-type":"item","numeric-id":5625057,"id":"Q5625057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$00EA92B7-72AB-4645-9BB4-0F279C424A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd06dd0328f8205e9f11199f9848ad723ce2a30","datavalue":{"value":{"entity-type":"item","numeric-id":4503399,"id":"Q4503399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$281E2233-807D-4AB6-9C21-420AEB487571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4a838ef9b92606a84283a7a12a493f5b69561e","datavalue":{"value":{"entity-type":"item","numeric-id":4506495,"id":"Q4506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$611BA935-A458-4205-BAF0-BA6705846169","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":"Q705464$6FA950D1-BFAE-45E0-8E7F-D681ACC0DBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7743c80064d6c2acb9dba8a8a45c8452b837d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4223603,"id":"Q4223603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$7A55C58C-6DDB-4A41-B181-A1A4984C43EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860fbc37e89ef2e092c19e24b40843b7ab53064d","datavalue":{"value":{"entity-type":"item","numeric-id":4420943,"id":"Q4420943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$8A28BC2C-A090-4901-8DF4-64BB7EA72794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467531e02f735798bad80818d11bacc47bbf22ce","datavalue":{"value":{"entity-type":"item","numeric-id":4524061,"id":"Q4524061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705464$B605713B-95F7-4F37-9556-CC30E7A30D8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffd223d0c041b00205e526c1d9459e7c1899184f","datavalue":{"value":"10.1016/J.AUTOMATICA.2004.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705464$7C88C7AE-7604-4C27-8531-9FAA836D4FFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61198093c1d00bfff30a8a716c1c8318c16d5fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3693452,"id":"Q3693452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a139ebda436d08fa2c0adebbab53ef6340d10ef2","datavalue":{"value":{"amount":"+0.7096693515777588","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":"Q705464$1410F037-7804-4DA8-8ED3-5CE3B4E8B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afca8e63a65a7b2395d6d529cc233a794d4411e","datavalue":{"value":{"entity-type":"item","numeric-id":1129532,"id":"Q1129532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c459a154bb3ce9c6a2b473104cfac0e921ad6108","datavalue":{"value":{"amount":"+0.6996228098869324","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":"Q705464$7404BFFB-DFEC-4E3A-AAAA-A132064D9B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2324a04828529cef34c6674ede4d9dbba0bcdccc","datavalue":{"value":{"entity-type":"item","numeric-id":3137517,"id":"Q3137517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c702f9e9995fa2bed97f4d7770b405f8b16b3d2","datavalue":{"value":{"amount":"+0.6934784650802612","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":"Q705464$EE182AF7-00AA-4A9D-910F-CE281B56CFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb7c60bee4803cfc74caf72b68eaada007ebbda","datavalue":{"value":{"entity-type":"item","numeric-id":1892217,"id":"Q1892217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613eab202c4bc985a119c73ddb2c47d1cc630626","datavalue":{"value":{"amount":"+0.6856088638305664","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":"Q705464$11A93CA8-8F42-4D02-B2E3-666F5785737F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76613ac2613c91cab285b25aaeead9b69d39fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4038752,"id":"Q4038752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aaa12dbf8fbb4abd303b0587f5f00670985d11b","datavalue":{"value":{"amount":"+0.6760342717170715","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":"Q705464$AFA5B729-654A-40A1-A049-AAD669A9E48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Periodic and non-concurrent error detection and identification in one-hot encoded FSMs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Periodic_and_non-concurrent_error_detection_and_identification_in_one-hot_encoded_FSMs"}}}}}