Sign in
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata.
Marta Capiluppi
Luzie Schreiter
Paolo Fiorini
Jörg Raczkowsky
Heinz Wörn
Published in:
ECC (2013)
Keyphrases
</>
resource allocation
input output
mobile robot
noise cancellation
cellular automata
fuzzy model
model checking
fuzzy neural network
data envelopment analysis
internal states
management system
intraoperative
fuzzy controller
robotic systems
minimally invasive