Sandeep Patil

University of Auckland, Luleå University of Technology

Papers

4

Total Citations

106

H-Index

4

About

No biography available yet.

Research Focus

Computer science4 · 106 citations
Engineering4 · 106 citations
Artificial intelligence3 · 87 citations
Distributed computing3 · 87 citations
Control engineering3 · 87 citations
Modular design3 · 87 citations
Mechatronics3 · 87 citations
Control system2 · 65 citations
Robot2 · 65 citations
Model checking2 · 61 citations
Petri net2 · 61 citations
Formal verification2 · 61 citations

Key Achievements

4
H-Index
4
Papers
106
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
39 citations · 2012
📈 Most Prolific Year: 2012 (2 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: University of Auckland, Luleå University of Technology

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

VVValeriy Vyatkin4 shared papersMSMajid Sorouri2 shared papersCPCheng Pang2 shared papersUDUdayanto Dwi Atmojo1 shared papersKCKiril Cheremetiev1 shared papersATAntti Tenhunen1 shared papersДНДмитрий Николаевич Дроздов1 shared papersTOTaavi Oksanen1 shared papersMIMuhammad Irfan Ali1 shared papers
Not generated yet