Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems

Ilya Kovalenko, Dawn Tilbury, Kira Barton

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations


To enable product customization and incorporate customer requirements during production, there is a need to integrate more flexible control strategies into the shop floor. One type of strategy that has been proposed to address these challenges is multi-agent control. An integral part of this control strategy is the product agent, a controller for an individual part in the manufacturing system. The product agent uses a continuously updated model of the local manufacturing system to make decisions. However, current models used by product agents do not explicitly incorporate the system's time constraints. This work proposes a priced timed automata modeling framework to represent an environment model for a product agent. The proposed environment model incorporates personalized production requirements and system constraints for the product agent. To make decisions, the product agent solves an optimization problem with the environment model. A semiconductor manufacturing simulation showcases how multiple product agents can use this model to drive the production of customized parts.

Original languageEnglish (US)
Pages (from-to)136-142
Number of pages7
Issue number4
StatePublished - 2020
Event15th IFAC Workshop on Discrete Event Systems, WODES 2020 - Rio de Janeiro, Brazil
Duration: Nov 11 2020Nov 13 2020

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering


Dive into the research topics of 'Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems'. Together they form a unique fingerprint.

Cite this