Published on Hochschule Bonn-Rhein-Sieg (H-BRS) (https://www.h-brs.de)

Computer Science [1]

Djordje Vukcevic

Computer Science [2]

Research Associate - Autonomous SystemsProjects: Robot Refurbishment, VeriComp, RoboCup Team

Field of research

Robot Dynamics & Control

Contact

Djordje Vukcevic

Email:

djordje.vukcevic [at] h-brs.de

Sankt Augustin

Grantham-Allee 20

53757

Sankt Augustin

Room:

A 135.2

Phone:

+49 2241 865 9881 [3]

[4]

Research projects

2019

Hochschule Bonn-Rhein-Sieg

Verifiable Composition of Dynamics and Control Algorithms for Robot Motion (VeriComp)

VeriComp proposes domain abstractions and verifiable properties at the function and algorithm levels to enable performance and safety analysis of robot motion applications.

[5]

[4]

Source URL (modified on 15.03.2020): https://www.h-brs.de/en/inf/djordje-vukcevic

Links
[1] https://www.h-brs.de/en/inf
[2] https://www.h-brs.de/en/org-classification/computer-science
[3] tel:4922418659881
[4] https://www.h-brs.de/en/inf/djordje-vukcevic
[5] https://www.h-brs.de/en/verifiable-composition-dynamics-and-control-algorithms-robot-motion-vericomp
[6] https://www.h-brs.de/en/inf/nico-hochgeschwender
[7] https://www.h-brs.de/en/researchdatabase/projects
[8] https://www.h-brs.de/en/researchdatabase/researcher