Search Results - de Silva, Lavindra

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    An operational semantics for a fragment of PRS

    An operational semantics for a fragment of PRS by de Silva, Lavindra, Meneguzzi, Felipe, Logan, Brian

    Published 2018
    Get full text
  2. 2
    Reasoning about the executability of goal-plan trees

    Reasoning about the executability of goal-plan trees by Yao, Yuan, de Silva, Lavindra, Logan, Brian

    Published 2016
    Get full text
  3. 3
    Process plan controllers for non-deterministic manufacturing systems

    Process plan controllers for non-deterministic manufacturing systems by Felli, Paolo, de Silva, Lavindra, Logan, Brian, Ratchev, Svetan

    Published 2017
    Get full text
  4. 4
    Composite capabilities for cloud manufacturing (demonstration)

    Composite capabilities for cloud manufacturing (demonstration) by Felli, Paolo, de Silva, Lavindra, Logan, Brian, Ratchev, Svetan

    Published 2018
    Get full text
  5. 5
    Realisability of production recipes

    Realisability of production recipes by de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David, Ratchev, Svetan

    Published 2016
    Get full text
  6. 6
    A multi-agent framework for capability-based reconfiguration of industrial assembly systems

    A multi-agent framework for capability-based reconfiguration of industrial assembly systems by Antzoulatos, Nikolas, Castro, Elkin, de Silva, Lavindra, Rocha, André Dionisio, Ratchev, Svetan, Barata, José

    Published 2016
    Get full text
  7. 7
    Synthesising industry-standard manufacturing process controllers

    Synthesising industry-standard manufacturing process controllers by de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David, Ratchev, Svetan

    Published 2017
    Get full text
  8. 8
    Synthesising process controllers from formal models of transformable assembly systems

    Synthesising process controllers from formal models of transformable assembly systems by de Silva, Lavindra, Felli, Paolo, Sanderson, David, Chaplin, Jack C., Logan, Brian, Ratchev, Svetan

    Published 2019
    Get full text
  9. 9
    Toward process control from formal models of transformable manufacturing systems

    Toward process control from formal models of transformable manufacturing systems by Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian, Ratchev, Svetan

    Published 2017
    Get full text

Search Tools: