18th Workshop on Discrete Event Systems

CAIS Lab Presents Three Papers on Robustness, Verification, and Resilient Control

CAIS Lab members presented three recent papers on formal methods, cyber-physical systems, and intelligent manufacturing systems.

Jonghan Lim presented “Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems,” co-authored by Jonghan Lim, Mostafa Tavakkoli Anbarani, Rômulo Meira-Góes, and Ilya Kovalenko.

Ilya Kovalenko presented “Attack-Resilient Control of Finite-State Cyber-Physical Systems via Inspection States,” co-authored by Mostafa Tavakkoli Anbarani, Jonghan Lim, Rômulo Meira-Góes, and Ilya Kovalenko.

Shih-Jie Shih presented “NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations,” co-authored by Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko, and Rômulo Meira-Góes.

Congratulations to all authors on sharing this work with the research community!