Sandeep Patil

University of Auckland, Luleå University of Technology

论文数

4

总引用数

106

H-Index

4

关于

暂无简介。

研究焦点

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

主要成就

4
H 指数
4
论文
106
总引用数
27
篇均引用
🏆 最高被引论文
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
39 次引用 · 2012
📈 最高产年份: 2012 (2 论文)
🤝 主要合作者: 9
🏛 所属机构: University of Auckland, Luleå University of Technology

代表论文

  1. 1
    Formal verification of Intelligent Mechatronic Systems with decentralized control logic
    39 次引用 · 2012
  2. 2
    Distributed control patterns for intelligent mechatronic systems
    26 次引用 · 2012
  3. 3
    Counterexample-guided simulation framework for formal verification of flexible automation systems
    22 次引用 · 2015
  4. 4
    Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study
    19 次引用 · 2019

主要合作者

VVValeriy Vyatkin4 篇合著论文MSMajid Sorouri2 篇合著论文CPCheng Pang2 篇合著论文UDUdayanto Dwi Atmojo1 篇合著论文KCKiril Cheremetiev1 篇合著论文ATAntti Tenhunen1 篇合著论文ДНДмитрий Николаевич Дроздов1 篇合著论文TOTaavi Oksanen1 篇合著论文MIMuhammad Irfan Ali1 篇合著论文
尚未生成