Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems-Reference-Cited by-同舟云学术

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

Published:2020 Issue:4 Volume:53 Page:136-142
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Kovalenko Ilya,Tilbury Dawn,Barton Kira

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference29 articles.

1. A theory of timed automata;Alur;Theoretical Computer Science,1994

2. Aligning Decision Support with Shop Floor Operations: A Proposal of Intelligent Product Based on BDI Physical Agents;Ansola,2015

3. Production as a Service: A Digital Manufacturing Framework for Optimizing Utilization;Balta;IEEE Transactions on Automation Science and Engineering,2018

4. Behrmann, G. (2014). UPPAAL CORA. URL http://people.cs.aau.dk/adavid/cora/index.html.

5. Behrmann, G., Brinksma, E., Hendriks, M., and Mader, A. (2005). Scheduling lacquer production by reachability analysis-a case study. 16th IFAC World Congress, 50–55.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A System-Level Energy-Efficient Digital Twin Framework for Runtime Control of Batch Manufacturing Processes;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26

2. A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems;2023 IEEE Conference on Control Technology and Applications (CCTA);2023-08-16

3. Risk-Averse Model Predictive Control for Priced Timed Automata;2023 American Control Conference (ACC);2023-05-31

4. Cooperative Product Agents to Improve Manufacturing System Flexibility: A Model-Based Decision Framework;IEEE Transactions on Automation Science and Engineering;2023-01

5. Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic;IEEE Transactions on Control Systems Technology;2022-01