Formal verification of robotic cell injection systems

Control Systems Design of Bio-Robotics and Bio-mechatronics with Advanced Applications ◽

10.1016/b978-0-12-817463-0.00005-8 ◽

2020 ◽

pp. 143-170 ◽

Author(s):

Adnan Rashid ◽

Osman Hasan ◽

Iram Tariq Bhatti

Keyword(s):

Formal Verification ◽

Robotic Cell ◽

Download Full-text

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

Formal Aspects of Computing ◽

10.1007/s00165-020-00514-3 ◽

2020 ◽

Vol 32 (2-3) ◽

pp. 229-250

Author(s):

Adnan Rashid ◽

Osman Hasan

Keyword(s):

Formal Verification ◽

Robotic Cell ◽

Cell Injection ◽

Download Full-text

A Visual Impedance Force Control of A Robotic Cell Injection System

2006 IEEE International Conference on Robotics and Biomimetics ◽

10.1109/robio.2006.340159 ◽

2006 ◽

Author(s):

Haibo Huang ◽

Dong Sun ◽

James K. Mills ◽

Wen J. Li

Keyword(s):

Force Control ◽

Injection System ◽

Robotic Cell ◽

Download Full-text

Haptic Virtual Reality Training Environment for Micro-robotic Cell Injection

Lecture Notes in Electrical Engineering - Haptic Interaction ◽

10.1007/978-4-431-55690-9_46 ◽

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 ◽

Download Full-text

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17910-6_10 ◽

2019 ◽

pp. 127-141 ◽

Author(s):

Adnan Rashid ◽

Osman Hasan

Keyword(s):

Theorem Proving ◽

Formal Analysis ◽

Robotic Cell ◽

Download Full-text

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

Intelligent Automation & Soft Computing ◽

10.1080/10798587.2015.1109200 ◽

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

Download Full-text

Large-scale Virtual Reality micro-robotic cell injection training

2016 World Automation Congress (WAC) ◽

10.1109/wac.2016.7583006 ◽

2016 ◽

Author(s):

Syafizwan Faroque ◽

Ben Horan ◽

Michael Mortimer ◽

Mulyoto Pangestu

Keyword(s):

Virtual Reality ◽

Large Scale ◽

Robotic Cell ◽

Download Full-text

Adaptive impedance control in robotic cell injection system

2012 17th International Conference on Methods & Models in Automation & Robotics (MMAR) ◽

10.1109/mmar.2012.6347876 ◽

2012 ◽

Author(s):

Wu Hanmei ◽

Xu Wenkang ◽

Cai Chenxiao

Keyword(s):

Impedance Control ◽

Injection System ◽

Robotic Cell ◽

Cell Injection ◽

Adaptive Impedance Control

Download Full-text

A modular and generic virtual reality training framework for micro-robotic cell injection systems

2018 Annual IEEE International Systems Conference (SysCon) ◽

10.1109/syscon.2018.8369521 ◽

2018 ◽

Author(s):

Nabeel Kamal ◽

Zohaib Amjad Khan ◽

Asad Hameed ◽

Osman Hasan

Keyword(s):

Virtual Reality ◽

Virtual Reality Training ◽

Robotic Cell ◽

Download Full-text

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.244.11 ◽

2017 ◽

Vol 244 ◽

pp. 271-282 ◽

Author(s):

Muhammad Usama Sardar ◽

Osman Hasan

Keyword(s):

Formal Modeling ◽

Robotic Cell ◽

Download Full-text

Formal Verification of a Fully Automated Out-of-Plane Cell Injection System

2020 21st International Symposium on Quality Electronic Design (ISQED) ◽

10.1109/isqed48828.2020.9137036 ◽

2020 ◽

Author(s):

Iram Tariq Bhatti ◽

Osman Hasan

Keyword(s):

Formal Verification ◽

Injection System ◽

Cell Injection ◽

Download Full-text