Synthesis of orchestrations of transducers for manufacturing

QR Code

Synthesis of orchestrations of transducers for manufacturing

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the c...

Full description

Bibliographic Details
Main Authors:	De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha, Logan, Brian
Format:	Conference or Workshop Item
Published:	2018
Online Access:	https://eprints.nottingham.ac.uk/49125/

Similar Items

Parallel behavior composition for manufacturing
by: Felli, Paolo, et al.
Published: (2016)

Composite capabilities for cloud manufacturing (demonstration)
by: Felli, Paolo, et al.
Published: (2018)

Process plan controllers for non-deterministic manufacturing systems
by: Felli, Paolo, et al.
Published: (2017)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Synthesising industry-standard manufacturing process controllers
by: de Silva, Lavindra, et al.
Published: (2017)

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

Toward process control from formal models of transformable manufacturing systems
by: Bakker, Otto Jan, et al.
Published: (2017)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Network orchestration for value platform development
by: Perks, Helen, et al.
Published: (2017)

Not as we thought: Transitions into the orchestral workplace
by: Bennett, Dawn
Published: (2007)

Cloud Learning Activities Orchestration for MOOC Environments
by: Hernandez, R., et al.
Published: (2014)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Search and orchestration of data and processes in a federated environment
by: Siao Him Fa, J., et al.
Published: (2015)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
by: Alechina, Natasha, et al.
Published: (2018)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
by: Alechina, Natasha, et al.
Published: (2018)

Incentivising monitoring in open normative systems
by: Alechina, Natasha, et al.
Published: (2017)

Sensors & Transducers
Published: (2012)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Personal inquiry: orchestrating science investigations within and beyond the classroom
by: Sharples, Mike, et al.
Published: (2014)

Children as inventors: orchestrating an informal pedagogic scenario with digital resources
by: Crook, Charles, et al.
Published: (2014)

Personal inquiry: orchestrating science investigations within and beyond the classroom
by: Sharples, Mike, et al.
Published: (2015)

The MYB36 transcription factor orchestrates Casparian strip formation
by: Kamiya, Takehiro, et al.
Published: (2015)

Orchestration framework for automated Ajax-based web application testing
by: Deyab, Hitham Haidar, et al.
Published: (2015)

Realisability of production recipes
by: de Silva, Lavindra, et al.
Published: (2016)

Synthesising process controllers from formal models of transformable assembly systems
by: de Silva, Lavindra, et al.
Published: (2019)

Orchestrating productive whole class discussions: the role of designed student responses
by: Evans, Sheila, et al.
Published: (2017)

Managing resource contention in embedded service-oriented systems with dynamic orchestration
by: Newman, Peter, et al.
Published: (2012)

Airway epithelial repair in health and disease: Orchestrator or simply a player?
by: Iosifidis, T., et al.
Published: (2016)

Elgar framework: context-aware service orchestration with data Petri net
by: Ahmadon, Mohd Anuaruddin, et al.
Published: (2017)