A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation


Robotic systems are of a growing size and complexity , hence their programming and execution architec-tures require more abstraction and tool support. Especially in safety-critical robotic systems (e.g., space robotics, robotic surgery) formal methods can be useful, when made useable by domain-specialists. We are particularly interested in discrete control… (More)
DOI: 10.1109/ROBOT.2001.933259


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics