Science.Online
Search
Publisher and Institutes
Akademie Verlag
Deutsches Institut für Urbanistik
Oldenbourg Wissenschaftsverlag
Walter de Gruyter
Schattauer
You are here: Home :: Keyword index :: eth bis gen :: forêt sempervivante et décidue - Fourier-transform infrared spectroscopy formal verifiable control architectures

Items for "formal verifiable control architectures"

Framework for Semi-autonomous Task Execution with Rehabilitation Robots

Rehabilitation robots with a real benefit for their users must be able to execute tasks on a high level of abstraction...

Keywords: Semi-autonomous task execution, human-machine interaction, formal verifiable control architectures, modified assembly planning, rehabilitation robotics

01/2006 | at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag