CAST tools for intelligent control in manufacturing automation

This publication has 10 references indexed in Scilit:

• Automatic simulation of a robot program for a sequential manufacturing process
  Robotica, 1992
• Discrete Kinematic Modeling Techniques in Cartesian Space for Robotic System
  Published by Elsevier ,1991
• Analytic formulation of the principle of increasing precision with decreasing intelligence for intelligent machines
  Automatica, 1989
• Strategies of searching for collision-free manipulator motions: automata theory approach
  Robotica, 1989
• A discrete kinematic model of robots in the Cartesian space
  IEEE Transactions on Robotics and Automation, 1989
• A dynamic programming approach to trajectory planning of robotic manipulators
  IEEE Transactions on Automatic Control, 1986
• Robotics software systems
  Robotics and Computer-Integrated Manufacturing, 1985
• Minimum-time control of robotic manipulators with geometric path constraints
  IEEE Transactions on Automatic Control, 1985
• A temporal logic for reasoning about processes and plans
  Cognitive Science, 1982
• System Deadlocks
  ACM Computing Surveys, 1971