Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

2020 ◽  
Vol 32 (2-3) ◽  
pp. 229-250
Author(s):  
Adnan Rashid ◽  
Osman Hasan
Keyword(s):  
Formal Verification ◽  
Robotic Cell ◽  
Cell Injection ◽  
Hol Light

Haptic Virtual Reality Training Environment for Micro-robotic Cell Injection

2015 ◽  
pp. 245-249 ◽  
Author(s):  
Syafizwan Faroque ◽  
Ben Horan ◽  
Husaini Adam ◽  
Mulyoto Pangestu ◽  
Samuel Thomas
Keyword(s):  
Virtual Reality ◽  
Virtual Reality Training ◽  
Robotic Cell ◽  
Training Environment ◽  
Cell Injection

Haptic Technology for Micro-robotic Cell Injection Training Systems—A Review

2015 ◽  
Vol 22 (3) ◽  
pp. 509-523 ◽  
Author(s):  
Syafizwan Faroque ◽  
Ben Horan ◽  
Husaini Adam ◽  
Mulyoto Pangestu ◽  
Matthew Joordens
Keyword(s):  
Robotic Cell ◽  
Cell Injection ◽  
Training Systems ◽  
Haptic Technology

Large-scale Virtual Reality micro-robotic cell injection training

2016 ◽  
Author(s):  
Syafizwan Faroque ◽  
Ben Horan ◽  
Michael Mortimer ◽  
Mulyoto Pangestu
Keyword(s):  
Virtual Reality ◽  
Large Scale ◽  
Robotic Cell ◽  
Cell Injection
Sign in / Sign up

Export Citation Format

Share Document