{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:44:51Z","timestamp":1730209491884,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"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":[[2020,6,29]]},"DOI":"10.1109\/codit49905.2020.9263967","type":"proceedings-article","created":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T20:37:38Z","timestamp":1606509458000},"page":"539-544","source":"Crossref","is-referenced-by-count":0,"title":["Extracting finite state representations from recurrent models of Industrial Cyber Physical Systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Brusaferri","sequence":"first","affiliation":[]},{"given":"Matteo","family":"Matteucci","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Spinelli","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Vitali","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1162\/neco_a_01111"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN41052.2019.8972113"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1992.4.3.393"},{"article-title":"Fixed points in two-neuron discrete time recurrent networks: Stability and bifurcation considerations","year":"2001","author":"tino","key":"ref13"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2006","author":"hopcroft","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641209"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(97)00113-5"},{"key":"ref17","first-page":"191","article-title":"Active grammatical inference: A new learning methodology","author":"sanfeliu","year":"1994","journal-title":"Shape Structure and Pattern Recognition"},{"key":"ref18","article-title":"Learning and extracting initial mealy automata with a modular neural network model","author":"tino","year":"1995","journal-title":"Neural Computation"},{"journal-title":"Deep Learning","year":"2016","author":"goodfellow","key":"ref19"},{"key":"ref4","article-title":"Representation of finite state automata in recurrent radial basis function networks","author":"masti","year":"2018","journal-title":"2018 IEEE Conference on Decision and Control (CDC)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.08.004"},{"journal-title":"A Field Guide to Dynamical Recurrent Networks","year":"2001","author":"kremer","key":"ref6"},{"journal-title":"European Commission Report","article-title":"Ethics guidelines for trustworthy ai","year":"2019","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.3.372"},{"journal-title":"Computation Finite and Infinite Machines","year":"67","author":"minsky","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2016.05.006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-12490-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1162\/0899766053630350"},{"key":"ref20","first-page":"6596","article-title":"State-regularized recurrent neural networks","volume":"97","author":"wang","year":"2019","journal-title":"Proceedings of the 36th International Conference on Machine Learning"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN41052.2019.8972118"}],"event":{"name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2020,6,29]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2020,7,2]]}},"container-title":["2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9263400\/9263776\/09263967.pdf?arnumber=9263967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:54:34Z","timestamp":1656345274000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9263967\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/codit49905.2020.9263967","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]}}}