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

dual_arm_demo_012.jpg (DE)

Forschungsprojekt im Überblick

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.
dual_arm_demo_012.jpg (DE)

Fachbereiche und Institute

Förderungsart

Öffentliche Forschung

Zeitraum

01.11.2019 to 30.11.2020

Website

Projektleitung an der H-BRS

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.

Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Externe Kooperationspartnerinnen und Kooperationspartner

uni_bielefeld_logo-700x382.jpg (DE)