1 citations · 2 across the 3 of their papers we have counts for
3 papers
Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
Jonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes +1
Manufacturing industries are facing increasing product variability due to the growing demand for personalized products. Under these conditions, ensuring safety becomes challenging…
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes +1
The need for control strategies that can address dynamic system uncertainty is becoming increasingly important. In this work, we propose a Model Predictive Control by quantifying t…
Risk-Averse Model Predictive Control for Priced Timed Automata
Mostafa Tavakkoli Anbarani, Efe C. Balta, Rômulo Meira-Góes +1
In this paper, we propose a Risk-Averse Priced Timed Automata (PTA) Model Predictive Control (MPC) framework to increase flexibility of cyber-physical systems. To improve flexibili…