Certifying the safe design of a virtual fixture control algorithm for a surgical robot
Y Kouskoulas, D Renshaw, A Platzer… - Proceedings of the 16th …, 2013 - dl.acm.org
We applied quantified differential-dynamic logic (QdL) to analyze a control algorithm
designed to provide directional force feedback for a surgical robot. We identified problems …
designed to provide directional force feedback for a surgical robot. We identified problems …
Proving the correctness of concurrent robot software
P Kazanzides, Y Kouskoulas… - … on Robotics and …, 2012 - ieeexplore.ieee.org
Component-based software has been proposed as a methodology for improving software
reuse and has increasingly been adopted by robot software developers. At the same time …
reuse and has increasingly been adopted by robot software developers. At the same time …
[引用][C] Certifying the concurrent state table implementation in a surgical robotic system
Y Kouskoulas, F Ming, Z Shao, P Kazanzides - … ) and Medical Device Plug-and-Play …, 2011