Follow
Sandeep Patil
Title
Cited by
Cited by
Year
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
482012
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
402018
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
382019
Distributed control patterns for intelligent mechatronic systems
M Sorouri, S Patil, V Vyatkin
IEEE 10th International Conference on Industrial Informatics, 259-264, 2012
332012
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
302014
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
292015
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
292015
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
262020
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
262015
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
252015
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
252015
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
212015
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
212013
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
192013
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
192011
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
182017
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
182015
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
172020
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
172018
Smart Grid applications with IEC 61499 reference architecture
G Zhabelova, S Patil, C Yang, V Vyatkin
2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013
172013
The system can't perform the operation now. Try again later.
Articles 1–20