Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
More
(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 > Models

| back to Model Checking of Automated Needle Steering |

Models

Networks of timed automata for needle-tissue interaction

A network of 3 Uppaal models (see below) specifying safety and termination conditions, needle motion, and needle-tissue interaction.

Models for Formal Analysis of Real Systems (MARS)

MARS repository

  • Synthesizing strategies for needle steering in gelatin phantoms
  • Modeling R3 needle steering in Uppaal
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz