arxiveess.SY2026-06-29
End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation
Amir Bayat, Necmiye Ozay, Alessandro Abate, Raphael M. Jungers
Abstraction-Based Controller Design (ABCD) offers a principled framework for the safe control of complex Cyber-Physical Systems (CPSs), but interfacing real-world requirements with its formal synthesis machinery remains a major bottleneck: such requirements are most naturally exp…