Valeriy Vyatkin

University of Auckland, Luleå University of Technology, Aalto University

论文数

10

总引用数

148

H-Index

6

关于

暂无简介。

研究焦点

Computer science10 · 148 次引用

Engineering10 · 148 次引用

Mechatronics6 · 107 次引用

Control engineering6 · 106 次引用

Artificial intelligence6 · 93 次引用

Modular design3 · 87 次引用

Distributed computing3 · 87 次引用

Robot5 · 71 次引用

Control system3 · 67 次引用

Operating system4 · 64 次引用

Programming language3 · 64 次引用

Model checking2 · 61 次引用

主要成就

6

H 指数

10

论文

148

总引用数

15

篇均引用

🏆 最高被引论文

Formal verification of Intelligent Mechatronic Systems with decentralized control logic

39 次引用 · 2012

📈 最高产年份: 2019 (3 论文)

🤝 主要合作者: 22

🏛 所属机构: University of Auckland, Luleå University of Technology, Aalto University

代表论文

1
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
39 次引用 · 2012
2
Distributed control patterns for intelligent mechatronic systems
26 次引用 · 2012
3
Counterexample-guided simulation framework for formal verification of flexible automation systems
22 次引用 · 2015
4
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study
19 次引用 · 2019
5
Towards Product Centric Manufacturing: From Digital Twins to Product Assembly
18 次引用 · 2019
6
Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin
16 次引用 · 2021
7
On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study
3 次引用 · 2019
8
Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog
2 次引用 · 2013
9
Model-based customisation of intelligent mechatronic systems using SysML
2 次引用 · 2013
10
Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS
1 次引用 · 2021

尚未生成