Sandeep Patil

About

Sandeep Patil is a leading researcher in the formal verification and design of intelligent mechatronic and industrial automation systems. His work focuses on ensuring the reliability and safety of complex, decentralized control logic, particularly within the framework of Intelligent Mechatronic Components (IMCs) and the IEC 61499 standard. Patil’s major contributions include pioneering a model-checking approach for automatically verifying plug-and-play mechatronic systems (39 citations), and proposing a step-by-step methodology for developing modular, reusable distributed control patterns—such as master-slave and peer-to-peer architectures—demonstrated on a pick-and-place robot (26 citations). He also developed a counterexample-guided simulation framework that makes formal verification more intuitive for industrial automation software (22 citations), and has explored the application of software design patterns in product-driven manufacturing (19 citations). By bridging the gap between rigorous formal methods and practical engineering, Patil’s work provides critical tools for building safer, more adaptable automation systems, making him a key figure in the advancement of intelligent manufacturing.

Research Focus

Key Achievements

Top Papers

1. 1
   Formal verification of Intelligent Mechatronic Systems with decentralized control logic

   39 citations · 2012
2. 2
   Distributed control patterns for intelligent mechatronic systems

   26 citations · 2012
3. 3
   Counterexample-guided simulation framework for formal verification of flexible automation systems

   22 citations · 2015
4. 4
   Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study

   19 citations · 2019

Key Collaborators

Contact & Links