{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:06:22Z","timestamp":1730343982491,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,27]]},"DOI":"10.23919\/mipro52101.2021.9597024","type":"proceedings-article","created":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T22:54:21Z","timestamp":1637016861000},"page":"1064-1069","source":"Crossref","is-referenced-by-count":0,"title":["Positively Constructed Formulas-Based Approach to Mobile Robot Control Using DES"],"prefix":"10.23919","author":[{"given":"Artem","family":"Davydov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr","family":"Larionov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nadezhda","family":"Nagul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-1-4471-4276-8"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.3390\/app10217894"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.23919\/MIPRO.2017.7973599"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.23919\/MIPRO48935.2020.9245154"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.47350\/ICCS-DE.2020.06"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.47350\/ICCS-DE.2020.05"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1088\/1742-6596\/1864\/1\/012048"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/s11721-016-0119-0"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s10489-015-0741-3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CoDIT49905.2020.9263814"},{"key":"ref5","first-page":"20","article-title":"Hybrid Control Approach to Multi-AUV System in a Surveillance Mission","volume":"6","author":"bychkov","year":"2018","journal-title":"IT in Industry"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1137\/0325013"},{"year":"1968","author":"bourbaki","journal-title":"Theory of Sets","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.23919\/ACC.2017.7963543"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1088\/1742-6596\/1864\/1\/012001"},{"key":"ref9","first-page":"2005","author":"wonham","year":"2019","journal-title":"Supervisory control of discrete-event systems"}],"event":{"name":"2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO)","start":{"date-parts":[[2021,9,27]]},"location":"Opatija, Croatia","end":{"date-parts":[[2021,10,1]]}},"container-title":["2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9594913\/9596611\/09597024.pdf?arnumber=9597024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T21:20:35Z","timestamp":1648502435000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9597024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/mipro52101.2021.9597024","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}