Certifying the safe design of a virtual fixture control algorithm for a surgical robot

@inproceedings{DBLP:conf/hybrid/KouskoulasRPK13,
	pdf = {pub/medrobot.pdf},
	slides = {pub/medrobot-slides.pdf},
	study = {pub/medrobot-examples.zip},
	author = {['Yanni Kouskoulas', 'David W. Renshaw', 'André Platzer', 'Peter Kazanzides']},
	title = {Certifying the Safe Design of a Virtual
               Fixture Control Algorithm for a Surgical
               Robot},
	year = {2013},
	pages = {263-272},
	doi = {10.1145/2461328.2461369},
	publisher = {ACM},
	editor = {['Calin Belta', 'Franjo Ivancic']},
	booktitle = {Hybrid Systems: Computation and Control
               (part of CPS Week 2013), HSCC'13,
               Philadelphia, PA, USA, April 8-13, 2013}
}