2 papers
cs.MA2026
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…
eess.SY2025
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal +4
Critical real-world applications strongly rely on Cyber-physical systems (CPS), but their dependence on communication networks introduces significant security risks, as attackers c…