{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:49:32Z","timestamp":1771573772923,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[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":35,"title":["Formal verification of Intelligent Mechatronic Systems with decentralized control logic"],"prefix":"10.1109","author":[{"given":"Sandeep","family":"Patil","sequence":"first","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]},{"given":"Majid","family":"Sorouri","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]}],"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"},{"key":"14","author":"vyatkin","year":"1999","journal-title":"ViVe and SESA Model Checkers"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"12","author":"clarke","year":"1999","journal-title":"Model checking"},{"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"},{"key":"2","year":"2005","journal-title":"Function Blocks for Industrial-Process Measurement and Control System-Part 1 Architecture"},{"key":"10","year":"0","journal-title":"FBDK - Function Block Development Kit"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2007216"},{"key":"30","author":"mengchu","year":"1999","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"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"},{"key":"9","year":"0","journal-title":"ICS Triplex ISaGRAF Workbench for IEC 61499\/ 61131 v6"},{"key":"8","year":"2012","journal-title":"nxtStudio"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","location":"Krakow, Poland","start":{"date-parts":[[2012,9,17]]},"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":[[2025,8,25]],"date-time":"2025-08-25T20:18:22Z","timestamp":1756153102000},"score":1,"resource":{"primary":{"URL":"https:\/\/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]]}}}