{"entities":{"Q1925053":{"pageid":1935795,"ns":120,"title":"Item:Q1925053","lastrevid":69320817,"modified":"2026-04-13T06:13:19Z","type":"item","id":"Q1925053","labels":{"en":{"language":"en","value":"State reachability analysis of fuzzy models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 938710"}},"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":"Q1925053$1CEAD22D-5A4E-450E-ABD8-1B808E83D2CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3038ac7875f2b84aa4d772d13092354ed88707ff","datavalue":{"value":{"text":"State reachability analysis of fuzzy models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1925053$28A7A9CD-8855-486D-A7E9-BC9218160745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"972c11699859bc0d5681aadad34dd4deb79f468c","datavalue":{"value":"0862.93041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$92B9A876-F3D9-4642-95E5-7F122E058BA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb4af6cc73b11967e29b68e874c5ddfd96e00197","datavalue":{"value":"10.1016/0016-0032(96)00029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$01D881C4-673F-498E-8698-0922C3548E2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e0e71a0d9356d516291aa66b4827337ddb4c02","datavalue":{"value":{"entity-type":"item","numeric-id":905298,"id":"Q905298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$4DB385AD-3D50-46CA-A21B-2F2FBAD16546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a51b97a52c84c260f189b05761c3359b0f8838c1","datavalue":{"value":{"entity-type":"item","numeric-id":164292,"id":"Q164292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$879E5B35-3ECD-487F-B1E3-C5DFEEA741E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adb15fff212634ed49f2d35e429dbbe9bdd3c551","datavalue":{"value":{"time":"+1997-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1925053$694A2B3B-5DEA-4B29-8DE3-3496E104EA72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f78fd5be68b6c51b62c22ac325ba5e8a6e4e217a","datavalue":{"value":"The paper discusses a problem of reachability analysis in fuzzy models described in terms of a series of ``if-then'' rules assuming the form  \\hskip17mm if \\(x(k)\\) is \\(C_1\\) then \\(x(k+1)=A_1x(k)+B_1 u(k)\\)  \\hskip17mm ....  \\hskip17mm if \\(x(k)\\) is \\(C_p\\) then \\(x(k+1)=A_px(k)+B_p u(k)\\),   where \\(x(k)\\in\\mathbb{R}^n\\), \\(u(k)\\in\\mathbb{R}^m\\) and \\(C_i\\), \\(i=1,2,\\dots,p\\), are fuzzy relations defined in \\(\\mathbb{R}^n\\) while \\(A_i\\) and \\(B_i\\) are constant matrices. The state \\(x(k_f)\\) is reachable from \\(x(0)\\) if there is a sequence of controls \\(u(0),u(1),\\dots,u(k_f-1)\\) for which the system proceeds from \\(x(0)\\) to \\(x(k_f)\\) (\\(k_f\\) is fixed). The reachability problem is solved under auxiliary assumptions about the model, namely (i) all membership functions are Gaussian-like, (ii) the decoding (defuzzification) is realized with the centre of area method, and (iii) the composition of the rules exploits the product operator. It is shown that the problem can be converted into a sequence of tasks of nonlinear programming. The analysis of computational complexity is also included.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925053$F3F6818C-7EC5-499D-995D-39E242B9599C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b540cfb78949c52ef34ad7c45a78f6c4d480ded","datavalue":{"value":{"entity-type":"item","numeric-id":174957,"id":"Q174957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$73241923-4870-48DE-AA9B-A8811F24E96E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6645294f329205d6c74039207697939030eead29","datavalue":{"value":"93C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$39BD97E6-FD6C-4A95-B01F-B5D89D9D4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$7A4F7FC9-8D04-4D76-B0BC-4EEFE39C1906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321e4655ea6b3ae0f1c85f7c969adf926aaff620","datavalue":{"value":"938710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$71F676E3-50FD-4017-B7ED-AA90502A5D69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b954de771ef86e4e938b9e591d166334ccc5dcf9","datavalue":{"value":"rule-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925053$E5A3294B-2B7A-46A6-BD54-9AD46E60F8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925053$21FC0751-6911-41C2-9498-2251CBD5ED13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb07135293ba38f4f401c02f4c50fb84f60b92c","datavalue":{"value":"fuzzy models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925053$A4282D3A-A737-4EFA-8893-7C3EAACBD36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a93e34f38a658e8c093e95c685527a5c00f5e84","datavalue":{"value":"nonlinear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1925053$224F78C1-22DC-4DCB-B2C0-2C8791FAD827","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":"Q1925053$01C5EF72-8CE3-4A32-9B96-B753A94F5966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c92f1d670612b718f84bfed0d752f056c47a764","datavalue":{"value":"https://doi.org/10.1016/0016-0032(96)00029-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1925053$7F947FAC-2F6A-4266-A758-DE35EB421CBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50709891bc24c1e7b255ebb9d1351f74a8e155d2","datavalue":{"value":"W2022822742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1925053$F9EE7B78-B708-47A2-B4C5-550BC7180D4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60646522aa3f2d9cfd8bb7b811109d685badbce","datavalue":{"value":{"entity-type":"item","numeric-id":1159178,"id":"Q1159178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$243EAEFA-185C-4A78-B0DC-7D92A04B857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc5363a9e89695482cf0dbd9caba3a2f6e78fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1053646,"id":"Q1053646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$289F75D7-7A96-44FD-ACEC-AE113BCE0EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a7354e7635d353c111916b090c162a9aeb0d14","datavalue":{"value":{"entity-type":"item","numeric-id":799553,"id":"Q799553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$B351C598-E480-4EC5-A7BD-5C7AE3549118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b41ce4987f0e17f943338fdbadab17ad787a829","datavalue":{"value":{"entity-type":"item","numeric-id":3358605,"id":"Q3358605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$CE9216D9-1998-4B9F-B283-FC296C980021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d102f45c829a41d955996be487947546265c462","datavalue":{"value":{"entity-type":"item","numeric-id":4149310,"id":"Q4149310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$2E98979C-FE2C-4161-9F5A-D0B64B0D26DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216f48b08f189beb8400ff41401c25da3231f110","datavalue":{"value":{"entity-type":"item","numeric-id":760403,"id":"Q760403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$C4C012D2-65CE-461B-94F8-E1AA087B6455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c610399a3f8978fdfbd70d35a59885c9a1cacc0e","datavalue":{"value":{"entity-type":"item","numeric-id":582252,"id":"Q582252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$CA60DD42-4DC5-4199-869A-261FA3074BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13ff3640813b4eb9f6c2be31e99e19d568133b9","datavalue":{"value":{"entity-type":"item","numeric-id":3786337,"id":"Q3786337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$5A1A1844-43F1-4B44-BCAF-98571D4CA378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba1298c0ed76344d8536dd906209a2e73832973","datavalue":{"value":{"entity-type":"item","numeric-id":1177689,"id":"Q1177689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$8A3A3ADF-8D69-4C94-A40B-5F322B859B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca6336de6dbbeb4274b3ebec0a4ea41b8ca5991","datavalue":{"value":{"entity-type":"item","numeric-id":1107481,"id":"Q1107481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$839D5D02-B035-4393-A12F-4CF392EFC1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb27ecfc61accf4b12e111af34fee89f8dd7301","datavalue":{"value":{"entity-type":"item","numeric-id":5365719,"id":"Q5365719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$4C753BFC-6F16-4700-9DE8-35C6E3F9AB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd473d7cbf6148c29a95fb46041a667af25cf91b","datavalue":{"value":{"entity-type":"item","numeric-id":3696955,"id":"Q3696955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$45C782A0-9088-4B4E-8162-6133909F2656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4938ecae87ee333441af81ed8283d87af05e9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3489869,"id":"Q3489869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$9F568A53-1694-4738-9C4B-C01B66346D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418a9b841154a97007913fc9aad5a89e3891dc89","datavalue":{"value":{"entity-type":"item","numeric-id":3489870,"id":"Q3489870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$929CFA7F-1BBF-4EDD-9680-5C8488C64BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e008f38bb6e3520a5336a8cd2a0e4568af5b76ef","datavalue":{"value":{"entity-type":"item","numeric-id":2553907,"id":"Q2553907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1925053$AA5687EE-D2C4-41A3-92DF-5A643762227C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5276a9a7db03af743244bfa3992e6c38087850e","datavalue":{"value":{"entity-type":"item","numeric-id":1660830,"id":"Q1660830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88382492242ef45650b6a6cdf7a1fdeb2dc1fdb4","datavalue":{"value":{"amount":"+0.7788732647895813","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":"Q1925053$2DFA2A47-75B0-465B-B75C-E350E5CDC0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7fc10504b527e1b60606db942ecd2ea3fa56b9","datavalue":{"value":{"entity-type":"item","numeric-id":4493376,"id":"Q4493376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6082f8ef6c60935d5bed0bf95a8c1077226b9c","datavalue":{"value":{"amount":"+0.7733747959136963","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":"Q1925053$D332E154-652F-4BE0-BAC9-E55E6CDFD63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb48df811052b1f5ef7f989826848052fa0e2a28","datavalue":{"value":{"entity-type":"item","numeric-id":4508035,"id":"Q4508035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557a76d5e468d069d3716fa0a3a962cbeb6db376","datavalue":{"value":{"amount":"+0.7698382139205933","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":"Q1925053$B044AD3A-88E8-416B-97C7-5F54B9FB3A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4bbd33ad87da928148fc6aaf809f6c4b3cda41","datavalue":{"value":{"entity-type":"item","numeric-id":4241988,"id":"Q4241988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6d1a2db938eeefedf40330c59a8cb5f1664908","datavalue":{"value":{"amount":"+0.7670703530311584","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":"Q1925053$AE10F175-F55E-47DA-AD07-21B09E448EEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State reachability analysis of fuzzy models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_reachability_analysis_of_fuzzy_models"}}}}}