Sandeep Patil

According to our database, Sandeep Patil authored at least 56 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System.

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024

2023

A hybrid spatial-temporal deep learning architecture for lane detection.

Yongqi Dong, Sandeep Patil, Bart van Arem, Haneen Farah

Comput. Aided Civ. Infrastructure Eng., January, 2023

SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network.

Sandeep Patil, Lalita S. Admuthe, Meenakshi R. Patil

Int. J. Internet Protoc. Technol., 2023

Developing a Test Suite for Evaluating IEC 61499 Application Portability.

Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS.

Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Mechatronic Swarm and its Virtual Commissioning.

Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin

Proceedings of the IEEE International Conference on Mechatronics, 2023

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications.

Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.

Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Plant model generation from event log using ProM for formal verification of CPS.

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

CoRR, 2022

Process mining in industrial control systems.

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Formal model of IEC 61499 execution trace in FBME IDE.

Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Smart Adapter System Architecture for Seamless and Scalable Integration of Industry and Smart Home IoT.

Salman Javed, Cristina Paniagua, Sandeep Patil, Jan van Deventer, Jerker Delsing

Proceedings of the IECON 2022, 2022

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard.

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Cyber-physical automation systems modelling with IEC 61499 for their formal verification.

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Plant Model Generator from Digital Twin for Purpose of Formal Verification.

Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver.

Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2020

Arrowhead Datamanager integration with Eclipse 4DIAC environment.

Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems.

Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2019

Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.

Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin

Proceedings of the 9th Workshop on Service Oriented, 2019

Towards automatic state machine reconstruction from legacy PLC using data collection.

Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform.

Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Towards formal ASM semantics of timed control systems for industrial CPS.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Enhanced engineering of component-based industrial automation systems using formal methods.

Sandeep Patil

PhD thesis, 2018

Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.

Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Formal Verification of Protection Functions for Power Distribution Networks.

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin

Proceedings of the IECON 2018, 2018

Refactoring of IEC 61499 function block application - A case study.

Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

Reconstruction of Function Block Logic Using Metaheuristic Algorithm.

Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2017

Towards formal verification for cyber-physically agnostic software: A case study.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.

Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016

Formal verification of cyber-physical automation systems modelled with timed block diagrams.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016

Towards a formal model of protection functions for power distribution networks.

Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin

Proceedings of the IECON 2016, 2016

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.

Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Software Composition and Distributed Operation Scheduling in Modular Automated Machines.

Majid Sorouri, Sandeep Patil, Zoran A. Salcic, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2015

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation.

Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Counterexample-guided simulation framework for formal verification of flexible automation systems.

Sandeep Patil, Valeriy Vyatkin, Cheng Pang

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.

Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.

Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin

Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software.

Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell

Proceedings of the IECON 2015, 2015

Towards formal verification of smart grid distributed intelligence: FREEDM case.

Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin

Proceedings of the IECON 2015, 2015

2014

Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence.

Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

A portability study of IEC 61499: Semantics and tools.

Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

On methodology of implementing distributed function block applications using TinyOS WSN nodes.

Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.

Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin

Proceedings of the Perspectives of System Informatics, 2014

2013

Smart Grid applications with IEC 61499 reference architecture.

Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.

Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin

Proceedings of the IECON 2013, 2013

On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study.

Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Comparison of multilevel DC-DC converter topologies.

Sandeep Patil, Srinivasa Vemuru, Vijay K. Devabhaktuni, Khalid S. Al-Olimat

Proceedings of the IEEE International Conference on Electro-Information Technology , 2013

2012

Distributed control patterns for intelligent mechatronic systems.

Majid Sorouri, Sandeep Patil, Valeriy Vyatkin

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Formal verification of Intelligent Mechatronic Systems with decentralized control logic.

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2010

Transforming Indian higher education through blended learning approach.

Sandeep Patil, Ganesh Shinde

Proceedings of the 2010 International Conference on Technology for Education, 2010

Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms.

Sandeep Patil, Abhinay Nagpal

Proceedings of the International Conference on Data Storage and Data Engineering, 2010

2007

Portless SRAM - A High-Performance Alternative to the 6T Methodology.

Michael Wieckowski, Sandeep Patil, Martin Margala

IEEE J. Solid State Circuits, 2007

A Self-Biased Charge-Transfer Sense Amplifier.

Sandeep Patil, Michael Wieckowski, Martin Margala

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2005

Voxel-based representation, display and thickness analysis of intricate shapes.

Sandeep Patil, B. Ravi

Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005