{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:01:25Z","timestamp":1729666885195,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489678","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-7","source":"Crossref","is-referenced-by-count":32,"title":["Formal verification of Intelligent Mechatronic Systems with decentralized control logic"],"prefix":"10.1109","author":[{"given":"Sandeep","family":"Patil","sequence":"first","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]},{"given":"Majid","family":"Sorouri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2003.1300273","article-title":"Modular typed formalism for systematic modeling of automation systems","author":"vyatkin","year":"2003","journal-title":"1st IEEE Conference on Industrial Informatics (INDIN'03) Banff Canada"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641247"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416832"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.815365"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.825915"},{"journal-title":"ViVe and SESA Model Checkers","year":"1999","author":"vyatkin","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"12"},{"key":"21","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","article-title":"Model-checking for real-time systems","author":"larsen","year":"1995","journal-title":"Proceedings of the 10th International Conference on Fundamentals of Computation Theory Dresden Germany"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495198"},{"key":"22","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-540-24773-9_2","article-title":"Closed-loop modeling and related problems of embedded control systems in engineering","volume":"3052","author":"hanisch","year":"2004","journal-title":"Abstract State Machines 2004 Advances in Theory and Practice"},{"key":"23","first-page":"103","article-title":"Modular modeling of closed-loop systems","author":"hanisch","year":"2000","journal-title":"Proc of Colloquium on Petri Net Technologies for Modeling Communication Based Systems Ed Berlin Germany"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2008.4802520"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"26","article-title":"Design of controllers aiming at plug-and-play engineering of automated systems from mechatronic components","author":"vyatkin","year":"2006","journal-title":"Annual Conference of Italian Automation Society (ANIPLA) Rome Italy"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2012.6301149"},{"key":"28","article-title":"Design of controllers for plug- and-play composition of automated systems from smart mechatronic components","author":"vyatkin","year":"2006","journal-title":"Annual Conference of Italian Automation Society (ANIPLA) Rome Italy"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01805563"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248711"},{"journal-title":"Function Blocks for Industrial-Process Measurement and Control System-Part 1 Architecture","year":"2005","key":"2"},{"journal-title":"FBDK - Function Block Development Kit","year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2007216"},{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1999","author":"mengchu","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(99)00074-X"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1504\/IJMR.2006.012252"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119923"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2009.09.004"},{"key":"4","volume":"2","author":"vyatkin","year":"2007","journal-title":"IEC 61499 Function Blocks For Embedded and Distributed Control Systems Design"},{"journal-title":"ICS Triplex ISaGRAF Workbench for IEC 61499\/ 61131 v6","year":"0","key":"9"},{"journal-title":"nxtStudio","year":"2012","key":"8"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489678.pdf?arnumber=6489678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T06:54:51Z","timestamp":1498028091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489678\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489678","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}