Login / Signup
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
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