{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:49:36Z","timestamp":1771573776769,"version":"3.50.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/etfa.2017.8247714","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:42:04Z","timestamp":1515433324000},"page":"1-4","source":"Crossref","is-referenced-by-count":4,"title":["Closed-loop verification of a compensating group drive model using synthesized formal plant model"],"prefix":"10.1109","author":[{"given":"Polina","family":"Ovsiannikova","sequence":"first","affiliation":[]},{"given":"Daniil","family":"Chivilikhin","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Ulyantsev","sequence":"additional","affiliation":[]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"buzhinsky","year":"0","journal-title":"Generation of formal plant models based on simulation environments"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2017.8104865"},{"key":"ref12","year":"0","journal-title":"Homepage of MATLAB - Simulink"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref4","first-page":"73","article-title":"Identification of discrete event systems: Implementation issues and model completeness","volume":"3","author":"roth","year":"2010","journal-title":"7th International Conference on Informatics in Control Automation and Robotics (ICINCO)"},{"key":"ref3","first-page":"1","article-title":"Closed-loop system modeling, validation, and verification","author":"preusse","year":"2012","journal-title":"17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA)"},{"key":"ref6","volume":"10","author":"preusse","year":"2013","journal-title":"Technologies for Engineering Manufacturing Systems Control in Closed Loop"},{"key":"ref5","first-page":"407","article-title":"A generic approach to build plant models for DES verification purposes","author":"machado","year":"2006","journal-title":"Proc 8th Int Workshop Discrete Event Syst (WODES'06)"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1109\/TII.2017.2670146","article-title":"Automatic inference of finite-state plant models from traces and temporal properties","author":"buzhinsky","year":"2017","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4028\/www.scientific.net\/AMR.630.283","article-title":"Obtaining plant models for formal verification tasks from 3D CAD models: Which is the best approach?","volume":"630","author":"lobo","year":"2013","journal-title":"Advanced Materials Research"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref1","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819256"}],"event":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Limassol","start":{"date-parts":[[2017,9,12]]},"end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8233358\/8247555\/08247714.pdf?arnumber=8247714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:11:19Z","timestamp":1570579879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8247714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2017.8247714","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}