BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Synthesising Provably Correct Controllers for Manufacturing - Lavi
 ndra de Silva (University of Nottingham)
DTSTART:20171130T140000Z
DTEND:20171130T150000Z
UID:TALK94054@talks.cam.ac.uk
CONTACT:Rengarajan
DESCRIPTION:There is a rising demand for customised products with a high d
 egree of complexity. To meet these demands\, manufacturing lines are incre
 asingly becoming autonomous\, networked\, and intelligent\, with productio
 n lines being virtualised into a manufacturing cloud\, and advertised eith
 er internally to a company\, or externally in a public cloud. In this work
 \, we present a novel approach to two key problems in such future manufact
 uring systems: the _manufacturability problem_ (whether a product can be m
 anufactured by a set of manufacturing resources) and the _control problem_
  (how a particular product should be manufactured). We show how both produ
 ction recipes specifying the steps necessary to manufacture a particular p
 roduct\, and manufacturing resources and their topology can be formalised 
 as labelled transition systems\, and define a novel `task simulation relat
 ion' which captures what it means for a recipe to be manufacturable on a p
 roduction topology. We show how a controller that can orchestrate the reso
 urces in order to manufacture the product on the topology can be extracted
  from the task simulation relation\, and give an algorithm to compute a ta
 sk simulation relation and a controller.\n\nThis talk will be based on the
  following publications:\n\nL de Silva\, P Felli\, J C Chaplin\, B Logan\,
  D Sanderson\, S M Ratchev: *Realisability of Production Recipes*. _Europe
 an Conference on Artificial Intelligence (ECAI)_ 2016: 1449-1457\n\nL de S
 ilva\, P Felli\, J C Chaplin\, B Logan\, D Sanderson\, S M Ratchev: *Synth
 esising Industry-Standard Manufacturing Process Controllers*. _Internation
 al Conference on Autonomous Agents and Multiagent Systems (AAMAS)_ 2017: 1
 811-1813\n\nP Felli\, L de Silva\, B Logan\, S M Ratchev: *Process Plan Co
 ntrollers for Non-Deterministic Manufacturing Systems*. _International Joi
 nt Conference on Artificial Intelligence (IJCAI)_ 2017: 1023-1030
LOCATION:Seminar room 2\, Institute for Manufacturing\, Cambridge
END:VEVENT
END:VCALENDAR