| Formal verification of intelligent mechatronic systems with decentralized control logic S Patil, V Vyatkin, M Sorouri Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012 | 51 | 2012 |
| A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems R Sinha, S Patil, L Gomes, V Vyatkin IEEE Transactions on Industrial Informatics, 2019 | 49 | 2019 |
| Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications S Patil, D Drozdov, V Vyatkin 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018 | 40 | 2018 |
| Distributed control patterns for intelligent mechatronic systems M Sorouri, S Patil, V Vyatkin IEEE 10th International Conference on Industrial Informatics, 259-264, 2012 | 32 | 2012 |
| Counterexample-guided simulation framework for formal verification of flexible automation systems S Patil, V Vyatkin, C Pang 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 31 | 2015 |
| A portability study of IEC 61499: Semantics and tools C Pang, S Patil, CW Yang, V Vyatkin, A Shalyto 2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014 | 30 | 2014 |
| Neutralizing semantic ambiguities of function block architecture by modeling with ASM S Patil, V Dubinin, C Pang, V Vyatkin Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 29 | 2015 |
| Utilizing software design patterns in product-driven manufacturing system: A case study D Drozdov, UD Atmojo, C Pang, S Patil, MI Ali, A Tenhunen, T Oksanen, ... Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry …, 2020 | 28 | 2020 |
| Software composition and distributed operation scheduling in modular automated machines M Sorouri, S Patil, Z Salcic, V Vyatkin IEEE Transactions on Industrial Informatics 11 (4), 865-878, 2015 | 28 | 2015 |
| Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV--Modelling S Patil, V Dubinin, V Vyatkin 2015 IEEE Trustcom/BigDataSE/ISPA 3, 313-320, 2015 | 27 | 2015 |
| Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV-execution semantics S Patil, V Dubinin, V Vyatkin Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 25 | 2015 |
| IEC 61499 distributed control enhanced with cloud-based web-services E Demin, S Patil, V Dubinin, V Vyatkin 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA …, 2015 | 21 | 2015 |
| Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks S Patil, V Vyatkin, B McMillin IECON 2013-39th Annual Conference of the IEEE Industrial Electronics Society …, 2013 | 21 | 2013 |
| Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver D Chivilikhin, S Patil, K Chukharev, A Cordonnier, V Vyatkin IEEE Transactions on Industrial Informatics 16 (12), 7821-7831, 2020 | 20 | 2020 |
| On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study S Patil, J Yan, V Vyatkin, C Pang 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 20 | 2013 |
| Closed-loop formal verification framework with non-determinism, configurable by meta-modelling S Patil, S Bhadra, V Vyatkin IECON 2011-37th Annual Conference of the IEEE Industrial Electronics Society …, 2011 | 20 | 2011 |
| Towards formal verification for cyber-physically agnostic software: A case study D Drozdov, S Patil, V Dubinin, V Vyatkin IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017 | 18 | 2017 |
| Formal verification of cyber-physical automation systems modelled with timed block diagrams D Drozdov, S Patil, V Dubinin, V Vyatkin 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), 316-321, 2016 | 18 | 2016 |
| Cloud-based framework for practical model-checking of industrial automation applications S Patil, D Drozdov, V Dubinin, V Vyatkin Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5 …, 2015 | 18 | 2015 |
| Refactoring of IEC 61499 function block application—A case study S Patil, D Drozdov, G Zhabelova, V Vyatkin 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 726-733, 2018 | 17 | 2018 |
Valeriy VyatkinAalto University; Luleå University of TechnologyDirección de correo verificada de aalto.fi
