Hugo Flordal

Prover Technology (Sweden), Chalmers University of Technology

论文数

5

总引用数

125

H-Index

4

关于

暂无简介。

研究焦点

Programming language5 · 125 次引用
Computer science5 · 125 次引用
Engineering4 · 118 次引用
Code (set theory)3 · 113 次引用
Control engineering3 · 113 次引用
Distributed computing3 · 88 次引用
Finite-state machine3 · 85 次引用
Event (particle physics)2 · 83 次引用
Guard (computer science)1 · 76 次引用
Abstraction1 · 76 次引用
Industrial engineering1 · 76 次引用
Scale (ratio)1 · 76 次引用

主要成就

4
H 指数
5
论文
125
总引用数
25
篇均引用
🏆 最高被引论文
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
76 次引用 · 2017
📈 最高产年份: 2017 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Prover Technology (Sweden), Chalmers University of Technology

代表论文

  1. 1
    Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
    76 次引用 · 2017
  2. 2
    Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
    33 次引用 · 2007
  3. 3
    Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies
    7 次引用 · 2006
  4. 4
    Supervision of multiple industrial robots: optimal and collision free work cycles
    5 次引用 · 2005
  5. 5
    Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells
    4 次引用 · 2004

主要合作者

KÅKnut Åkesson4 篇合著论文MFMartin Fabian3 篇合著论文DSDomenico Spensieri2 篇合著论文MFMarián Fabian1 篇合著论文RMRobi Malik1 篇合著论文
尚未生成