Sandeep Patil

Orcid: 0000-0003-2936-4185

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System.
Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024

2023
A hybrid spatial-temporal deep learning architecture for lane detection.
Comput. Aided Civ. Infrastructure Eng., January, 2023

SNTAM: secure neuro-fuzzy-based trusted neighbour selection and attackers detection in multipath ad-hoc network.
Int. J. Internet Protoc. Technol., 2023

Developing a Test Suite for Evaluating IEC 61499 Application Portability.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Mechatronic Swarm and its Virtual Commissioning.
Proceedings of the IEEE International Conference on Mechatronics, 2023

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications.
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.
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.
CoRR, 2022

Process mining in industrial control systems.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Formal model of IEC 61499 execution trace in FBME IDE.
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.
Proceedings of the IECON 2022, 2022

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard.
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.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Plant Model Generator from Digital Twin for Purpose of Formal Verification.
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.
IEEE Trans. Ind. Informatics, 2020

Arrowhead Datamanager integration with Eclipse 4DIAC environment.
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.
IEEE Trans. Ind. Informatics, 2019

Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.
Proceedings of the 9th Workshop on Service Oriented, 2019

Towards automatic state machine reconstruction from legacy PLC using data collection.
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.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Towards formal ASM semantics of timed control systems for industrial CPS.
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.
PhD thesis, 2018

Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Formal Verification of Protection Functions for Power Distribution Networks.
Proceedings of the IECON 2018, 2018

Refactoring of IEC 61499 function block application - A case study.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017
Reconstruction of Function Block Logic Using Metaheuristic Algorithm.
IEEE Trans. Ind. Informatics, 2017

Towards formal verification for cyber-physically agnostic software: A case study.
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.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016

Formal verification of cyber-physical automation systems modelled with timed block diagrams.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016

Towards a formal model of protection functions for power distribution networks.
Proceedings of the IECON 2016, 2016

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.
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.
IEEE Trans. Ind. Informatics, 2015

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation.
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.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Counterexample-guided simulation framework for formal verification of flexible automation systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.
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.
Proceedings of the IECON 2015, 2015

Towards formal verification of smart grid distributed intelligence: FREEDM case.
Proceedings of the IECON 2015, 2015

2014
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

A portability study of IEC 61499: Semantics and tools.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

On methodology of implementing distributed function block applications using TinyOS WSN nodes.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.
Proceedings of the Perspectives of System Informatics, 2014

2013
Smart Grid applications with IEC 61499 reference architecture.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.
Proceedings of the IECON 2013, 2013

On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Comparison of multilevel DC-DC converter topologies.
Proceedings of the IEEE International Conference on Electro-Information Technology , 2013

2012
Distributed control patterns for intelligent mechatronic systems.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Formal verification of Intelligent Mechatronic Systems with decentralized control logic.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2010
Transforming Indian higher education through blended learning approach.
Proceedings of the 2010 International Conference on Technology for Education, 2010

Agile Disk Replacement Strategy for Data Cloud Environment Using Evolutionary Algorithms.
Proceedings of the International Conference on Data Storage and Data Engineering, 2010

2007
Portless SRAM - A High-Performance Alternative to the 6T Methodology.
IEEE J. Solid State Circuits, 2007

A Self-Biased Charge-Transfer Sense Amplifier.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2005
Voxel-based representation, display and thickness analysis of intricate shapes.
Proceedings of the 9th International Conference on Computer-Aided Design and Computer Graphics, 2005


  Loading...