Sandeep Patil
Sandeep Patil
LuleŚ University of Technology
Verified email at ieee.org
TitleCited byYear
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
402012
Distributed control patterns for intelligent mechatronic systems
M Sorouri, S Patil, V Vyatkin
IEEE 10th International Conference on Industrial Informatics, 259-264, 2012
312012
Neutralizing semantic ambiguities of function block architecture by modeling with ASM
S Patil, V Dubinin, C Pang, V Vyatkin
International Andrei Ershov Memorial Conference on Perspectives of System†…, 2014
222014
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
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
172013
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV-Execution Semantics
S Patil, V Dubinin, V Vyatkin
International Symposium on Dependable Software Engineering: Theories, Tools†…, 2015
162015
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
162015
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
162015
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
162013
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
162011
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
152013
Cloud-based framework for practical model-checking of industrial automation applications
S Patil, D Drozdov, V Dubinin, V Vyatkin
Doctoral Conference on Computing, Electrical and Industrial Systems, 73-81, 2015
132015
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
132014
Towards formal verification of smart grid distributed intelligence: FREEDM case
S Patil, G Zhabelova, V Vyatkin, B McMillin
IECON 2015-41st Annual Conference of the IEEE Industrial Electronics Society†…, 2015
102015
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
102015
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
62016
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation
E Demin, V Dubinin, S Patil, V Vyatkin
Service Orientation in Holonic and Multi-Agent Manufacturing, 213-221, 2016
62016
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence
G Zhabelova, CW Yang, S Patil, C Pang, J Yan, A Shalyto, V Vyatkin
2014 12th IEEE International Conference on Industrial Informatics (INDIN†…, 2014
62014
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
52017
Towards a formal model of protection functions for power distribution networks
M Masselot, S Patil, G Zhabelova, V Vyatkin
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society†…, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20