• Login
• Admin

2019

de Silva, Lavindra, Felli, Paolo, Sanderson, David, Chaplin, Jack C., Logan, Brian and Ratchev, Svetan (2019) Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing . ISSN 1879-2537 (In Press)

2018

de Silva, Lavindra, Meneguzzi, Felipe and Logan, Brian (2018) An operational semantics for a fragment of PRS. In: 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI), 13-19 July 2018, Stockholm, Sweden.

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2018) Composite capabilities for cloud manufacturing (demonstration). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 Jul 2018, Stockholm, Sweden.

2017

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2017) Process plan controllers for non-deterministic manufacturing systems. In: International Joint Conference on Artificial Intelligence (IJCAI), 19-25 August 2017, Melbourne, Australia.

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2017) Synthesising industry-standard manufacturing process controllers. In: Sixteenth International Conference on Autonomous Agents and Multiagent Systems, 8-12 May, 2017, São Paulo, Brazil.

Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian and Ratchev, Svetan (2017) Toward process control from formal models of transformable manufacturing systems. Procedia CIRP . ISSN 2212-8271 (In Press)

2016

Yao, Yuan, de Silva, Lavindra and Logan, Brian (2016) Reasoning about the executability of goal-plan trees. Lecture Notes in Computer Science, 10093 . pp. 176-191. ISSN 0302-9743

Antzoulatos, Nikolas, Castro, Elkin, de Silva, Lavindra, Rocha, André Dionisio, Ratchev, Svetan and Barata, José (2016) A multi-agent framework for capability-based reconfiguration of industrial assembly systems. International Journal of Production Research . ISSN 0020-7543

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2016) Realisability of production recipes. In: 22nd European Conference in Artificial Intelligence (ECAI 2016), 29 Aug-2 Sept 2016, The Hague, Netherlands.