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

Hochschule Bonn-Rhein-Sieg
VeriComp proposes domain abstractions and verifiable properties at the function and algorithm levels to enable performance and safety analysis of robot motion applications.
Fachbereiche und Institute: 
Informatik
Von: 
01.11.2019
to
30.11.2020
Projekt-Webseite: 
VeriComp

Projektbeschreibung

Generating robot motion is mandatory to accomplish a plenitude of real-world tasks which usually require feedback control schemes and the application of advanced force/motion control concepts. However, realizing this requires composing the concepts from domains such as geometry, mechanics or control in non-trivial ways which makes predictability of system-level properties related to performance, safety and other important categories difficult to achieve.

VeriComp aims at addressing this challenges by augmenting functional composition inside components with verifiable properties and domain-specific extension. Thereby VeriComp shall enable important robot stakeholders such as function developers and component supplierto create verifiable compositions of functions, package those into components while propagating verifiable properties and analyze system-level composition of components with respect to ultimately emerging performance and safety properties.

Projektleitung an der H-BRS

Prof. Dr. Nico Hochgeschwender

Professor für Robotik, Autonome Systeme und deren Sicherheit
Hochschule Bonn-Rhein-Sieg
E-Mail: 
nico.hochgeschwender [at] h-brs.de

Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Kooperationspartner