Logo Institut für Software Systeme
Institut für Software Systeme
Logo Institut für Software Systeme
Institut für Software Systeme
EN
DE
Suche
EN
DE
Suche
Mehr
(Online) Virtual needle steering
Interfacing the Real-Time Model Checker Uppaal
Cyber-physical needle steering setup
(Online) Strategy synthesis
Models
Videos
STS > Research > Model Checking & Abstract Interpretation > (Online) Strategy synthesis

| back to Model Checking of Automated Needle Steering |

Feedback loop for strategy synthesis: needle motion instruction, based on image recording and image analysis on the one hand, the specification of different safe strategies (in form of a Uppaal model) on the other hand
TU Hamburg
Institut für Softwaresysteme (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-Mail : sts-office@tuhh.de
Tel : 040-42878-3460
Weiterführende Links
Imprint / Impressum
Privacy / Datenschutz