Marta Capiluppi, Luzie Schreiter, Paolo Fiorini, Jörg Raczkowsky, Heinz Wörn. Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata. In European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013. pages 4238-4243, IEEE, 2013. [doi]
Abstract is missing.