Ken Goldberg AI and Robotics Expert, TEDx Speaker, and Chief Scientist, Ambi Robotics
Automation for manufacturing today is where computer technology was in the early 1960's, a patchwork of ad-hoc solutions lacking a rigorous scientific methodology. CAD provides detailed models of part geometry. What's missing is formal models of part behavior and frameworks for the systematic design of automated systems that can feed, assemble, and inspect parts. "Algorithmic Automation" introduces abstractions that allow the functionality of automation to be designed independent of the underlying implementation and can provide the foundation for formal specification and analysis, algorithmic design, and consistency checking....