{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:58:04Z","timestamp":1730267884761,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8471924","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"719-724","source":"Crossref","is-referenced-by-count":0,"title":["Active Learning of Formal Plant Models For Cyber-Physical Systems"],"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":"Andrey","family":"Stankevich","sequence":"additional","affiliation":[]},{"given":"Ilya","family":"Zakirzyanov","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","article-title":"Introduction to automata learning from a practical perspective","author":"steffen","year":"2011","journal-title":"Formal Methods for Eternal Networked Software Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2033204"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Proc Conf Computer-Aided Verification"},{"journal-title":"C Implementation of the Proposed Algorithms","year":"0","key":"ref14"},{"journal-title":"NxtControl","year":"0","key":"ref15"},{"key":"ref4","first-page":"60","article-title":"Online passive learning of timed automata for cyber-physical production systems","author":"maier","year":"2014","journal-title":"IEEE International Conference on Industrial Informatics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_18"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2670146"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2017.8104865"},{"key":"ref2","article-title":"Technologies for Engineering Manufacturing Systems Control in Closed Loop","volume":"10","author":"preusse","year":"2013","journal-title":"Logos Verlag Berlin GmbH"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116828"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08471924.pdf?arnumber=8471924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:33:58Z","timestamp":1598247238000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8471924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8471924","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}