{"entities":{"Q1667079":{"pageid":1677820,"ns":120,"title":"Item:Q1667079","lastrevid":57503457,"modified":"2026-03-31T04:49:41Z","type":"item","id":"Q1667079","labels":{"en":{"language":"en","value":"Approximate analyzing of labeled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6927707"}},"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":"Q1667079$E930E5B2-84C9-48B6-AF56-BEDA087BD47D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b1cb1204b5007159fcc5f8b1334919eb1ee676f","datavalue":{"value":{"text":"Approximate analyzing of labeled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1667079$5F93CF4C-4E43-47BC-889B-E72B4592991C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ca55c6988d0eed0dd4962efd0ace8bf34f76e0","datavalue":{"value":"1394.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$98A4BE65-249C-40F2-86D8-FE5307907F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b41907a0e4bf43605b84ac459355f49431b445a1","datavalue":{"value":"10.1155/2015/963597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$F7C1B649-9112-4C6F-970D-149CE823021B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfe6c0f5f6efaba2fefbbca3067b7a7d40b0aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1667077,"id":"Q1667077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$54E5E08B-EB3F-4BE9-9F0E-E678C485C620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c296ea357295d0c63ac331467eba26817415823","datavalue":{"value":{"entity-type":"item","numeric-id":1667078,"id":"Q1667078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$9CB2AA8F-16F6-4939-89F6-8E0F1B51DC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$3D02C29B-1D26-41A9-8479-E66D8217B43A","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":"Q1667079$01507026-7628-4BBE-9262-55A6FC0BA270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07d78b2809f727a96c8c6621733f1ab3a1973328","datavalue":{"value":{"time":"+2018-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1667079$735E2822-8F10-4A23-9A95-CD81C97E069D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1fe43f9858accffd2a42d52ccf59dbf55c0abd9","datavalue":{"value":"Summary: As the most important formal semantic model, labeled transition systems are widely used, which can describe the general concurrent systems or control systems without disturbance. However, under normal circumstance, transition systems are complex and difficult to use due to large amount of calculation and the state space explosion problems. In order to overcome these problems, approximate equivalent labeled transition systems are proposed by means of incomplete low-up matrix decomposition factorization. This technique can reduce the complexity of computation and calculate under the allowing errors. As for continuous-time linear systems, we develop a modeling method of approximated transition system based on the approximate solution of matrix, which provides a facility for approximately formal semantic modeling for linear systems and to effectively analyze errors. An example of application in the context of linear systems without disturbances is studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667079$C0F3ECC0-0047-4584-BCBF-0E8A0C3772C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$79A9D57F-FFB4-4187-8719-ABC7409C3470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$3D42F3AE-913F-466C-AF34-C99DA14C01F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a304587aba47131454bbce73251e2051bef1c61","datavalue":{"value":"6927707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$CE78C50A-287B-4CFF-B8AB-1B857ECEAAAB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93a387bd6883ab796bdf643a7b1609b045af9e7f","datavalue":{"value":"Q59120076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$2D1568D1-DEBD-4431-910D-ADA796A11FDA","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":"Q1667079$84886495-A5FA-47D2-9826-E04FB93793D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffbbcd14ccd31703623145bbd6c39b7dd838ddf0","datavalue":{"value":"https://doi.org/10.1155/2015/963597","type":"string"},"datatype":"url"},"type":"statement","id":"Q1667079$7618C9AA-0ED4-4AF8-AC14-96D7F2E749E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba5ebb23e1474d269e72e31a4e2e659c3e86767","datavalue":{"value":"W2113286936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667079$156596F6-28AF-4886-99E4-4278DF7187F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce20af1a762162ce35605db68b941bad0f8c62ed","datavalue":{"value":{"entity-type":"item","numeric-id":714824,"id":"Q714824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$6BCDA698-865E-4B1D-A6BF-5BA571660951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$F65CC5B4-50A5-47EE-9710-6F4AC0D34872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$CF01C3AB-BD03-46B3-A3F7-B381E015178E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$780FB1E2-E6AD-4875-A892-FE02B9318A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$634DB6E2-F194-4C59-A1A9-21DDE0C280D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00db55ae22bb0ccefbf7d62c9e608da519d03109","datavalue":{"value":{"entity-type":"item","numeric-id":974113,"id":"Q974113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$1E5D84B5-9FE4-43BC-B50D-AD56170AB2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33780b007f1896086e809a5463774656265682b","datavalue":{"value":{"entity-type":"item","numeric-id":5188177,"id":"Q5188177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$E017EE18-3AC5-4F06-AFE9-6D49E00BA793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14741dd8350dc22d340567bec81975eca4d7bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5151036,"id":"Q5151036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$23E39312-EB50-4975-85D8-C7377AE21B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e744dbf89d5a4d3250c3bcce0b2da4be03503b09","datavalue":{"value":{"entity-type":"item","numeric-id":864426,"id":"Q864426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$0E109918-CE5A-4191-8D84-6895F08434F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a56b54cf5d1c5ab4eb5e1acf25bda9e1ec3971","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$265D068F-EC7B-4E26-9B3C-817BD15A69E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f3c53b14eaf3687275c164a42522b17ee362f","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$EB82D0FF-E890-402A-81F4-48567328D756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ae0baf0511c40b799b8196f88b36572dc46420","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$287ECD6D-9B11-4C5B-946A-A1202A754FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e6f3a857a73698f17a631eeab1c5f4c0d58fb","datavalue":{"value":{"entity-type":"item","numeric-id":2390036,"id":"Q2390036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$4C86CC2E-FCE9-4F0A-A54A-11B97A850657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4668d8536b7dc4db3b36a30c252e2bd2c50586","datavalue":{"value":{"entity-type":"item","numeric-id":598514,"id":"Q598514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$3122F218-5025-4BA9-8894-A5892A27E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a131adb58d70e9fde5657894db9e9ada312747","datavalue":{"value":{"entity-type":"item","numeric-id":1198973,"id":"Q1198973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$710EB84E-A74C-422C-8E34-C8F83CF5BE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7cd08660d7d5c74b83852f8f2c1b96e79a2d48","datavalue":{"value":{"entity-type":"item","numeric-id":4734659,"id":"Q4734659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$D56AF4F9-86AA-435F-8E46-2891ECBC822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fcb73a14156bf5ea6e5c39d209c595f789eabe","datavalue":{"value":{"entity-type":"item","numeric-id":5563069,"id":"Q5563069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$C9AE5E90-CD68-45C6-B3AE-7BC4ADB8E676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf318252d85c5b6263cb8663b2637e8ee2c70787","datavalue":{"value":{"entity-type":"item","numeric-id":4167472,"id":"Q4167472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$D7EAFE55-9238-4402-84AF-B247632552E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abf1e6203cecf45a8525de00a33c0022ad6e2ae","datavalue":{"value":{"entity-type":"item","numeric-id":1955477,"id":"Q1955477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$E3F7C1E2-55B4-4C3C-8BA1-652BB1C49BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327e8b6cd85031e92fcc1cbdaba2f869eec170fb","datavalue":{"value":{"entity-type":"item","numeric-id":543731,"id":"Q543731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$089967FF-95C5-42D5-8F4D-26EBA2DF7716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$A7B72E45-E651-4E62-BDE3-F47B3A2EAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84dc3bae93c2ce63f1b9ab8d6975343979bdb1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4886692,"id":"Q4886692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$B6B2FDA3-D5EF-4313-980B-F25D9BB3FBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$7E1DF0AD-89DD-41DF-96AE-7F4A053F7BAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814f8f06e9bce52e44c40a257511fc1658273828","datavalue":{"value":{"entity-type":"item","numeric-id":1004092,"id":"Q1004092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0879c388aa8647f1fdbf1b09ca360f8d6dc3478","datavalue":{"value":{"amount":"+0.7415184378623962","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":"Q1667079$423FD118-21E6-4942-829D-325EEFA925A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7f7d24432a6aa7047ad942683679a3f4d9d356","datavalue":{"value":{"entity-type":"item","numeric-id":2844076,"id":"Q2844076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc6fb18df2b8df7b485ea6d8336b110987a05ee","datavalue":{"value":{"amount":"+0.7404254674911499","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":"Q1667079$A1046811-EA09-4672-B582-DE201E05FBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4d7fde564486c6ccde9a3cf2d6afade6863141","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4067ac6ae5d0cec04f0d114134a297ab1c50f6","datavalue":{"value":{"amount":"+0.7252774834632874","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":"Q1667079$F7488943-47C7-4BF2-B78D-AB7D4B29D2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eade04fc20a8b181857cda9efafa8743e58c9f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709969,"id":"Q5709969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4067ac6ae5d0cec04f0d114134a297ab1c50f6","datavalue":{"value":{"amount":"+0.7252774834632874","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":"Q1667079$A600CD94-B6FE-4D41-A17D-170077F7F871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"269fc4ffe2d7be75f65e9d7f11669acad7784276","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae2b2eefb8eac6576364ff3df2673f6568b64cc","datavalue":{"value":{"amount":"+0.7221686840057373","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":"Q1667079$957B5E49-655B-424D-9593-70431339DEB7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667079$1A07EAD1-2B17-4307-B2AF-5A93F47CC22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1667079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1667079"}}}}}