Abstract
ORCCAD (Open Robot Controller Computer Aided Design), is a development environment for robotic controllers which provides verification and simulation tools along with a graphical Human-Machine Interface (HMI), in order to bridge the gap between control laws as understood by the control systems community, and realtime computing as understood by the computer science community. In this paper, we introduce some recent extensions to ORCCAD which make it possible to perform certain kinds of temporal verification of realtime closed loop robotic tasks.
Original language | American English |
---|---|
Pages | 841-847 |
Number of pages | 7 |
State | Published - 1 Jan 1994 |
Externally published | Yes |
Event | Proceedings - IEEE International Conference on Robotics and Automation - Duration: 1 Dec 2005 → … |
Conference
Conference | Proceedings - IEEE International Conference on Robotics and Automation |
---|---|
Period | 1/12/05 → … |