TY - GEN
T1 - Analyzing the temporal behavior of real-time closed-loop robotic tasks
AU - Simon, Daniel
AU - Freedman, Paul
AU - Castillo, Eduardo
PY - 1994
Y1 - 1994
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0028121854&partnerID=8YFLogxK
M3 - Contribución a la conferencia
AN - SCOPUS:0028121854
SN - 0818653329
T3 - Proceedings - IEEE International Conference on Robotics and Automation
SP - 841
EP - 847
BT - Proceedings - IEEE International Conference on Robotics and Automation
PB - Publ by IEEE
T2 - Proceedings of the 1994 IEEE International Conference on Robotics and Automation
Y2 - 8 May 1994 through 13 May 1994
ER -