{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:11:09Z","timestamp":1730344269095,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.23919\/mipro.2018.8400172","type":"proceedings-article","created":{"date-parts":[[2018,7,30]],"date-time":"2018-07-30T17:43:43Z","timestamp":1532972623000},"page":"0938-0943","source":"Crossref","is-referenced-by-count":2,"title":["The formal logic approach for checking the observability of a specification language on DES functioning"],"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":[{"key":"ref10","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"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.878937"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-009-9333-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-015-0741-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-016-0119-0"},{"journal-title":"Theory of Sets","year":"1968","author":"bourbaki","key":"ref15"},{"key":"ref16","first-page":"127","article-title":"Why event observation: observability revisited","volume":"149","author":"changwei","year":"1997","journal-title":"Discrete Event Dynamic Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1134\/S0005117916040111"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1063\/1.4972699"},{"journal-title":"Intelligent Control of Dynamic Systems","year":"2000","author":"vassilyev","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(90)90042-4"},{"key":"ref6","first-page":"1289","article-title":"Calculus of Positively Constructed Formulas, its Features, Strategies and Implementation","author":"cherkashin","year":"2013","journal-title":"Proc of the 36th Intern Convention MIPRO 2013 CIS - Intelligent Systems Opatija"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411611070054"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","article-title":"On the Supremal Controllable Sublanguage of a Given Language","volume":"25","author":"ramadge","year":"1987","journal-title":"SIAM J Control and Optimisation"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4276-8","author":"seatzu","year":"2013","journal-title":"Control of Discrete-Event Systems Automata and Petri Net Perspectives"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2017.7973599"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"}],"event":{"name":"2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","start":{"date-parts":[[2018,5,21]]},"location":"Opatija","end":{"date-parts":[[2018,5,25]]}},"container-title":["2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8392484\/8399814\/08400172.pdf?arnumber=8400172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T01:07:30Z","timestamp":1598231250000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8400172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/mipro.2018.8400172","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}