Synthesising process controllers from formal models of transformable assembly systems

Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev. Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf., 58:130-144, 2019. [doi]

Abstract

Abstract is missing.