{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T23:10:06Z","timestamp":1750029006774,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319510996"},{"type":"electronic","value":"9783319511009"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51100-9_4","type":"book-chapter","created":{"date-parts":[[2017,3,2]],"date-time":"2017-03-02T02:32:24Z","timestamp":1488421944000},"page":"35-46","source":"Crossref","is-referenced-by-count":5,"title":["Formal Modelling of Distributed Automation CPS with CP-Agnostic Software"],"prefix":"10.1007","author":[{"given":"Dmitrii","family":"Drozdov","sequence":"first","affiliation":[]},{"given":"Sandeep","family":"Patil","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,3]]},"reference":[{"key":"4_CR1","unstructured":"\u00c5rz\u00e9n, K.E.: A simple event-based pid controller. In: 14th IFAC World Congress (1999)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5str\u00f6m, K.J.: Event based control. In: Analysis and Design of Nonlinear Control Systems, pp. 127\u2013147 (2008)","DOI":"10.1007\/978-3-540-74358-3_9"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.: Theory of latency-insensitive design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1059\u20131076 (2001)","DOI":"10.1109\/43.945302"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Dai, W., Christensen, J.H., Vyatkin, V., Dubinin, V.: Function block implementation of service oriented architecture: case study. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 112\u2013117. IEEE (2014)","DOI":"10.1109\/INDIN.2014.6945493"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Dai, W., Peltola, J., Vyatkin, V., Pang, C.: Service-oriented distributed control software design for process automation systems. In: 2014 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 3637\u20133642. IEEE (2014)","DOI":"10.1109\/SMC.2014.6974495"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Dai, W., Vyatkin, V., Christensen, J.H.: The application of service-oriented architectures in distributed automation systems. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 252\u2013257. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6906618"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Dai, W., Vyatkin, V., Christensen, J.H., Dubinin, V.N.: Bridging service-oriented architecture and IEC 61499 for flexibility and interoperability. IEEE Trans. Industr. Inf. 771\u2013781 (2015)","DOI":"10.1109\/TII.2015.2423495"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dai, W., Vyatkin, V., Pang, C., Christensen, J.H.: Time-stamped event based execution semantics for industrial cyber-physical systems. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), pp. 1263\u20131268. IEEE (2015)","DOI":"10.1109\/INDIN.2015.7281916"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Demin, E., Dubinin, V., Patil, S., Vyatkin, V.: Automation services orchestration with function blocks: Web-service implementation and performance evaluation. In: Service Orientation in Holonic and Multi-Agent Manufacturing, pp. 213\u2013221. Springer (2016)","DOI":"10.1007\/978-3-319-30337-6_20"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Derhamy, H., Drozdov, D., Patil, S., van Deventer, J., Eliasson, J., Vyatkin, V.: Orchestration of arrowhead services using IEC 61499: Distributed automation case study. In: Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016). IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings, IEEE (2016)","DOI":"10.1109\/ETFA.2016.7733650"},{"key":"4_CR11","unstructured":"Drozdov, D.: fb2smv tool. https:\/\/github.com\/dmitrydrozdov\/fb2smv"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Drozdov, D., Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of cyber-physical automation systems modelled with timed block diagrams. In: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE). IEEE (2016)","DOI":"10.1109\/ISIE.2016.7744910"},{"key":"4_CR13","unstructured":"Gerber, C., Ivanova-Vasileva, I., Hanisch, H.M.: Formal modelling of IEC 61499 function blocks with integer-valued data types. Control Cybern. 197\u2013231 (2010)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Hanisch, H.M., Hirsch, M., Missal, D., Preu\u00dfe, S., Gerber, C.: One decade of IEC 61499 modeling and verification\u2013results and open issues. In: IFAC Proceedings Volumes, pp. 211\u2013216 (2009)","DOI":"10.3182\/20090603-3-RU-2001.0306"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Pang, C., Dai, W., Vyatkin, V.: Towards IEC 61499 models of computation in ptolemy ii. In: Industrial Electronics Society, IECON 2015-41st Annual Conference of the IEEE, pp. 001988\u2013001993. IEEE (2015)","DOI":"10.1109\/IECON.2015.7392392"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Pang, C., Vyatkin, V.: Automatic model generation of IEC 61499 function block using net condition\/event systems. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 1133\u20131138. IEEE (2008)","DOI":"10.1109\/INDIN.2008.4618273"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Patil, S., Vyatkin, V., Pang, C.: Counterexample-guided simulation framework for formal verification of flexible automation systems. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), pp. 1192\u20131197, July 2015","DOI":"10.1109\/INDIN.2015.7281905"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Patil, S., Drozdov, D., Dubinin, V., Vyatkin, V.: Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications, pp. 73\u201381. Springer International Publishing, Cham (2015)","DOI":"10.1007\/978-3-319-16766-4_8"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of IEC 61499 function blocks with abstract state machines and smv\u2013modelling. In: 2015 IEEE Trustcom\/BigDataSE\/ISPA, vol.\u00a03, pp. 313\u2013320. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.650"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal modelling and verification of IEC 61499 function blocks with abstract state machines and smv\u2013execution semantics. In: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, pp. 300\u2013315. Springer (2015)","DOI":"10.1007\/978-3-319-25942-0_20"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Patil, S., Zhabelova, G., Vyatkin, V., McMillin, B.: Towards formal verification of smart grid distributed intelligence: Freedm case. In: IECON 2015-41st Annual Conference of the IEEE Industrial Electronics Society, pp. 003974\u2013003979. IEEE (2015)","DOI":"10.1109\/IECON.2015.7392719"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Sorouri, M., Patil, S., Salcic, Z., Vyatkin, V.: Software composition and distributed operation scheduling in modular automated machines. IEEE Trans. Industr. Inf. 865\u2013878 (2015)","DOI":"10.1109\/TII.2015.2430836"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Stanica, M., Gu\u00e9guen, H.: Using timed automata for the verification of IEC 61499 applications. In: Discrete Event Systems 2004 (WODES\u201904): A Proceedings Volume from the 7th IFAC Workshop, Reims, France, 22\u201324 Sept 2004, p. 375. Elsevier (2005)","DOI":"10.1016\/S1474-6670(17)30775-9"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M.: Development of adequate formalisms for verification of IEC 1499 distributed applications. In: SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers, pp. 73\u201378. IEEE (2000)","DOI":"10.1109\/SICE.2000.889656"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M.: A modeling approach for verification of IEC1499 function blocks using net condition\/event systems. In: 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA\u201999, vol.\u00a01, pp. 261\u2013270. IEEE (1999)","DOI":"10.1109\/ETFA.1999.815365"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M.: Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. 123\u2013136 (2003)","DOI":"10.1023\/A:1022295414523"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Pang, C., Tripakis, S.: Towards cyber-physical agnosticism by enhancing IEC 61499 with ptides model of computations. In: Industrial Electronics Society, IECON 2015-41st Annual Conference of the IEEE, pp. 001970\u2013001975. IEEE (2015)","DOI":"10.1109\/IECON.2015.7392389"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Zhabelova, G., Patil, S., Yang, C.W., Vyatkin, V.: Smart grid applications with IEC 61499 reference architecture. In: 2013 11th IEEE International Conference on Industrial Informatics (INDIN), pp. 458\u2013463, July 2013","DOI":"10.1109\/INDIN.2013.6622928"}],"container-title":["Studies in Computational Intelligence","Service Orientation in Holonic and Multi-Agent Manufacturing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51100-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T22:41:02Z","timestamp":1750027262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51100-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319510996","9783319511009"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51100-9_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2017]]}}}