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

No abstract is available for this paper.

• Publication year

  2013

• Venue

  International Conference on Hybrid Systems: Computation and Control

• Publication date

  2013-04-08

• Fields of study

  Medicine, Computer Science, Engineering

• Identifiers
  DOI 10.1145/2461328.2461369
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

  2012cited by this paper
• Proving the correctness of concurrent robot software

  2012cited by this paper
• Certifying the Concurrent State Table Implementation in a Surgical Robotic System ( Extended Version )

  2011cited by this paper
• Distributed Theorem Proving for Distributed Hybrid Systems

  2011cited by this paper
• SpaceEx: Scalable Verification of Hybrid Systems

  2011cited by this paper
• Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics

  2010cited by this paper
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs

  2010cited by this paper
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems

  2010cited by this paper
• Differential Dynamic Logic for Hybrid Systems

  2008cited by this paper
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

  2008cited by this paper
• An integrated system for planning, navigation and robotic assistance for skull base surgery

  2008cited by this paper
• Spatial Motion Constraints Using Virtual Fixtures Generated by Anatomy

  2007cited by this paper
• HySAT: An efficient proof engine for bounded model checking of hybrid systems

  2007cited by this paper
• Constrained control for surgical assistant robots

  2006cited by this paper
• Haptic Virtual Fixtures for Robot-Assisted Manipulation

  2005cited by this paper
• Virtual Fixtures for Robotic Cardiac Surgery

  2001cited by this paper
• Force sensing and control for a surgical robot

  1992cited by this paper

• Medical needles in the hands of AI: Advancing toward autonomous robotic navigation

  2025cites this paper
• Formal Verification of Nonlinear Hybrid Systems Using Decomposition

  2025cites this paper
• Hybrid dynamical systems logic and its refinements

  2024cites this paper
• Towards an implementation of differential dynamic logic in PVS

  2022cites this paper
• A First Evaluation of a Multi-Modal Learning System to Control Surgical Assistant Robots via Action Segmentation

  2021cites this paper
• Chapter 30: Verification of Hybrid Systems

  2021cites this paper
• Introducing Interval Differential Dynamic Logic

  2021cites this paper
• Event-B Hybridation

  2021cites this paper
• A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers

  2020cites this paper
• Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

  2020cites this paper
• A framework for supporting the development of verifiably safe medical best practice guideline systems

  2020cites this paper
• Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

  2020cites this paper
• Evaluating the Efficiency of Six-DoF Haptic Rendering-Based Virtual Assembly Training

  2020cites this paper
• Haptic Modes for Multiparameter Control in Robotic Surgery

  2019cites this paper
• Toward Structured Proofs for Dynamic Logics

  2019cites this paper
• Formal Specification and Verification of Autonomous Robotic Systems 100 : 3 • By “ formalisms ”

  2019cites this paper
• Toward Structured Proofs for Dynamic Logics 1 : 3

  2019cites this paper
• Formal Verification of Medical CPS

  2018cites this paper
• A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

  2018cites this paper
• Proposal Changing Beliefs in a Changing World

  2018cites this paper
• Verification of Hybrid Systems

  2018cites this paper
• Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures

  2018influential citation
• ON THE DIFFERENTIAL DYNAMIC LOGIC MODEL FOR HYBRID SYSTEMS

  2018cites this paper
• Formal verification of the functionnal layer of robotic and autonomous systems

  2018cites this paper
• Trustworthy Computing at APL

  2018cites this paper
• DIFFERENTIAL-DYNAMIC LOGIC FOR COOPERATIVE ROBOTIC SYSTEMS

  2018cites this paper
• Formal Specification and Verification of Autonomous Robotic Systems

  2018cites this paper
• High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

  2017cites this paper
• BROMETH: Methodology to design safe reconfigurable medical robotic systems

  2017cites this paper
• CRutoN: Automatic Verification of a Robotic Assistant's Behaviours

  2017cites this paper
• Tools

  2017cites this paper
• Applying differential dynamic logic to reconfigurable biological networks.

  2017cites this paper
• Data-driven and model-based methods for verification and control of physical systems

  2017influential citation
• Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

  2017cites this paper
• Differential Refinement Logic*

  2016cites this paper
• Surgical Robots: Behaviors Specification and reasoning

  2016cites this paper
• Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study

  2016cites this paper
• BROMETH: methodology to develop safe reconfigurable medical robotic systems: application on pediatric supracondylar humeral fracture

  2016cites this paper
• A Cognitive Robot Control Architecture for Autonomous Execution of Surgical Tasks

  2016cites this paper
• Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

  2015cites this paper
• How to prove hybrid systems and why that matters

  2015cites this paper
• Formal Verification of Surgical Robot Control Algorithm

  2015cites this paper
• Towards verification of hybrid systems in a foundational proof assistant

  2015cites this paper
• VISPEC: A graphical tool for elicitation of MTL requirements

  2015cites this paper
• State-based Safety of Component-based Medical and Surgical Robot Systems

  2015cites this paper
• Formal Verication of a Controlled Flight Between Two Robots: A Case Study

  2015cites this paper
• A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery

  2015cites this paper
• Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions

  2015cites this paper
• How to model and prove hybrid systems with KeYmaera: a tutorial on safety

  2015cites this paper
• Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans

  2015cites this paper
• Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems

  2015cites this paper
• Certification for Autonomous Vehicles

  2015cites this paper
• Collaborative Verification-Driven Engineering of Hybrid Systems

  2014cites this paper
• Formal Verification of an Autonomous Personal Robotic Assistant

  2014cites this paper
• Specification, Verification and Optimisation of Business Processes:A Unified Framework

  2014cites this paper
• "The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours

  2014cites this paper
• Fibrous structures: An integrative approach to design computation, simulation and fabrication for lightweight, glass and carbon fibre composite structures in architecture based on biomimetic design principles

  2014cites this paper
• Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems

  2014cites this paper
• Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

  2014cites this paper
• Lecture Notes on Foundations of Cyber-Physical Systems

  2014cites this paper
• Hybrid Theorem Proving of Aerospace Systems : Applications and Challenges 1

  2014cites this paper
• Formal Methods for Robotic System Control Software

  2013cites this paper
• A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems

  2013cites this paper
• 15-424 : Foundations of Cyber-Physical Systems Lecture Notes on Virtual Substitution & Real Arithmetic

  2013cites this paper
• How to Prove Complex Properties of Hybrid Systems with KeYmaera : A Tutorial ?

  2012cites this paper
• Science of Computer Programming

  year unknowncites this paper
• Introducing interval differential dynamic logic

  year unknowncites this paper