Formal Verification Applied to Robotic Surgery

DOI10.1007/978-3-319-10407-2_40MaRDI QIDQ4560620zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa

Publication date 12 December 2018

Published in Coordination Control of Distributed Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10407-2_40

zbMATH Keywords

formal verificationhybrid automatonreachability analysissafety propertystate space representation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, availability, maintenance, inspection in operations research (90B25) Attainable sets, reachability (93B03) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Formal verification of mobile robot protocols
• Task level specification and formal verification of robotics control systems: State of the art and case study

Cites work

• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Counterexample-guided predicate abstraction of hybrid systems
• Hybrid Systems: Computation and Control

Cited in

(7)

• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• A higher order method for input-affine uncertain systems
• Verification of the ROS NavFn planner using executable specification languages
• Task level specification and formal verification of robotics control systems: State of the art and case study
• Formal verification of control systems software
• Automated Technology for Verification and Analysis
• Bisimulation conversion and verification procedure for goal-based control systems

Describes a project that uses

Uses Software

• PHAVer
• HyTech
• RSOLVER
• HSolver
• SpaceEx

This page was built for publication: Formal Verification Applied to Robotic Surgery

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560620)