Sign in

Synthesising process controllers from formal models of transformable assembly systems.

Lavindra de SilvaPaolo FelliDavid SandersonJack C. ChaplinBrian LoganSvetan M. Ratchev
Published in: Robotics Comput. Integr. Manuf. (2019)
Keyphrases
  • formal models
  • assembly systems
  • process model
  • control system
  • np hard
  • graphical models
  • random variables
  • petri net
  • control strategy
  • formal model