Name
Title | ||
|---|---|---|
Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata |
Abstract | ||
|---|---|---|
The area of robotic surgical systems has to deal with several important safety aspects to ensure that the patient and the Operating Room staff are safe. A robotic surgical system has to fulfill specific safety requirements and to ensure that the system reacts like its specification. To this end, a verification process is necessary. In this paper an architecture for robotic surgery is modeled using the framework of Hybrid Input/Output Automata (HIOAs). A case study based on a surgical robotic operation scenario is presented and modeled using HIOAs. Exploiting the modularity and compositionality theory of HIOAs, the verification of the system is performed. |
Year | Venue | Keywords |
|---|---|---|
2013 | Control Conference | automata theory,medical robotics,surgery,hioa,compositionality theory,hybrid input-output automata,modularity theory,operating room staff,robotic surgery architecture,robotic surgical system verification,safety requirements,surgical robotic operation scenario,hybrid i/o automaton,hybrid systems,robotic surgery,verification,automata,end effectors,robot kinematics,tracking,trajectory |
Field | DocType | Citations |
Principle of compositionality,Architecture,Automata theory,Medical robotics,Computer science,Automaton,Input/output,Robotic surgery,Control engineering,Modularity | Conference | 2 |
PageRank | References | Authors |
0.51 | 10 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marta Capiluppi | 1 | 7 | 2.70 |
| Luzie Schreiter | 2 | 4 | 3.29 |
| Paolo Fiorini | 3 | 1068 | 134.11 |
| J. Raczkowsky | 4 | 29 | 7.98 |
| Heinz Woern | 5 | 31 | 6.43 |