{"entities":{"Q1666714":{"pageid":1677455,"ns":120,"title":"Item:Q1666714","lastrevid":74079417,"modified":"2026-04-14T18:17:16Z","type":"item","id":"Q1666714","labels":{"en":{"language":"en","value":"Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6927356"}},"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":"Q1666714$75191D54-5C29-4597-A3F6-D3774BC57C58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1027ac84bfdc0dd88ea26c3b25e30ace5e44993","datavalue":{"value":{"text":"Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1666714$38A7F36D-2E67-4F82-B7FA-C9BD52F7B455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84e57b285491247502e7a747694a73699bbff4ae","datavalue":{"value":"1394.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$97EE4547-5FB3-4B28-8FA2-C2534DEE2EF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c13911fd0ea76a1080b274c180ac768ee3243a3d","datavalue":{"value":"10.1155/2015/837259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$65335956-EDB7-4C54-B69E-D49696866B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06881a13e9a17045b45f40562997732138d56eb7","datavalue":{"value":{"entity-type":"item","numeric-id":272197,"id":"Q272197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$3514E0C1-2C7F-4F0A-AE95-533D370EEEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d95a52e648259773ee44dd9f2b68bee4ef6f4204","datavalue":{"value":{"entity-type":"item","numeric-id":256461,"id":"Q256461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$615F0685-09BD-4404-83C5-4D48A4599E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad697f6be27ac07cc0bac5f2074dc40ed884baf","datavalue":{"value":{"entity-type":"item","numeric-id":258539,"id":"Q258539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$057E48A0-EB74-4549-B4ED-0B9240D86C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a231db2bdce0e9b67cdf0dbd752c938210e47142","datavalue":{"value":{"entity-type":"item","numeric-id":471532,"id":"Q471532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$EA0C8C52-F5C4-468F-AEC2-F6E1FD4F7FDD","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":"Q1666714$0B96B05A-FCAA-43B0-812E-6BD66935D3CC","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":"Q1666714$614A407A-C865-4A3F-8236-4A7F0AF8DDAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10ab594d558cb1982333d45bc9e6cb6e70a22a33","datavalue":{"value":"Summary: Obstacle avoidance is a key performance of mobile robots. However, its experimental verification is rather difficult, due to the probabilistic behaviors of both the robots and the obstacles. This paper presents the Markov Decision Process based probabilistic formal models for three obstacle-avoidance strategies of a mobile robot in an uncertain dynamic environment. The models are employed to make analyses in PRISM, and the correctness of the analysis results is verified by MATLAB simulations. Finally, the minimum time and the energy consumption are determined by further analyses in PRISM, which prove to be useful in finding the optimal strategy. The present work provides a foundation for the probabilistic formal verification of more complicated obstacle-avoidance strategies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1666714$235705E1-2512-4C68-B143-5928D4324611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$134DA7F8-D161-419E-A158-9B9A389ECDEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69f28f8443151c437ca92f7b66a6a3acae50952d","datavalue":{"value":"6927356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$9AB9A694-092C-4ADE-B8EB-CB76BE2693CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$F83F4EB2-C3AE-4920-8C7B-75DA2E9C39EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$8213C5F4-8C32-4CD7-951B-9CB35E1F460C","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":"Q1666714$6E23D9D8-EA46-435E-ACF8-664B8E4DE871","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afb1a5a087ba382bb1725b93fb4b5640713d0f62","datavalue":{"value":"https://doi.org/10.1155/2015/837259","type":"string"},"datatype":"url"},"type":"statement","id":"Q1666714$5F6BAC06-0F50-4C69-B979-B89A64DBFDD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce775dbc4266a3580e535a1edc923b9c07248dd2","datavalue":{"value":"W2167464211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$A686B95D-5E29-4D64-B062-029EA5A128D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2fdcd839427bcce24e8c9f39748b1bca43f1b33f","datavalue":{"value":"Q59119618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1666714$2D0BDD24-4248-4891-9636-1AD2265A59A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e089b24f8420343bba51bb67f1ee5be3a2ef80ad","datavalue":{"value":{"entity-type":"item","numeric-id":497135,"id":"Q497135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$1FEC5BC7-9484-47B9-8AA1-ADC5CC8D1BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$AE5B548D-B15E-4392-9560-823313E4657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c3a761d19e638cd0748a3bb6d31e472a507f","datavalue":{"value":{"entity-type":"item","numeric-id":1941879,"id":"Q1941879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$8F506D88-313B-43BA-90D6-04FA7EC29401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459e57f04eb8b1facd7a4c4636fa55bfdc2cca16","datavalue":{"value":{"entity-type":"item","numeric-id":1383074,"id":"Q1383074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$A8651CEE-EB79-4ABF-9D12-099D6D116E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1b8d7a51db5facac5bbe8437b86cde82b90d24","datavalue":{"value":{"entity-type":"item","numeric-id":5299841,"id":"Q5299841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$6532B091-1A79-4A86-B032-A989CE17B5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8754d77cfa10acb5f4bc7c163845a68d0725dc1","datavalue":{"value":{"entity-type":"item","numeric-id":2248080,"id":"Q2248080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1666714$B719895B-E1FD-4E1E-B444-98D30F4EF7F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76aa3238a0bf5aba20b88131cdfb746683d2fde","datavalue":{"value":{"entity-type":"item","numeric-id":1894683,"id":"Q1894683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffad99dad9c75f08e70b5f03836dd3a4c26608e","datavalue":{"value":{"amount":"+0.7382332682609558","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":"Q1666714$1C6D10A2-FBCB-471C-B253-5774D8C0320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f2e974bf86e12d90d27ffc6b1f86177f11c869","datavalue":{"value":{"entity-type":"item","numeric-id":2858582,"id":"Q2858582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2f8c686646b0399a89cb34ef03ba85a171f320","datavalue":{"value":{"amount":"+0.7296872735023499","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":"Q1666714$B03AEC49-E4CE-45A2-ACF9-14EB379243E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c09df10220da41fe27482d7489d2c0a5adc3bc","datavalue":{"value":{"entity-type":"item","numeric-id":544942,"id":"Q544942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8817a1042628f98b96d2c9cecf07f86b4285639","datavalue":{"value":{"amount":"+0.7170934081077576","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":"Q1666714$A6694774-F93F-45D9-AC92-EC81AAA3211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05506b68887d691fa7c45ba4f8282ba67d767d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5717322,"id":"Q5717322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25561ca66f93c82b13bf8cd0c2a69e019a6e164e","datavalue":{"value":{"amount":"+0.7170525193214417","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":"Q1666714$10FF4F25-35B0-4B8D-92E0-8DE8CCDB8A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1513141d899f217360d2c40a341b9c0a24b7cb51","datavalue":{"value":{"entity-type":"item","numeric-id":3501109,"id":"Q3501109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcd04b59f812a53f47ed678b7c08036bc809d0a","datavalue":{"value":{"amount":"+0.715794026851654","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":"Q1666714$68421263-F2E0-47B1-A0F0-0873C2855080","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":"Q1666714$DBDA4097-2246-476F-B1AA-B1B541031032","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment","badges":[]}}}}}