1 citations · 2 across the 12 of their papers we have counts for
4 papers · 1 filter
Benefits of Linear Dynamic State Feedback in Co-stabilization
Xiong Zeng, Necmiye Ozay, Mario Sznaier
Co-stabilization, i.e., designing a single controller that stabilizes multiple systems, is a fundamental problem in robust and data-driven control. While any stabilizable linear sy…
Expressive Power of WSTL Formulas for Learning to Rank
Ruya Karagulle, Gustavo A. Cardona, Necmiye Ozay +1
Weighted Signal Temporal Logic (WSTL) is increasingly used as a scoring function in learning-to-rank problems of trajectories with safety guarantees, where its weighted quantitativ…
End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation
Amir Bayat, Necmiye Ozay, Alessandro Abate +1
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…
Active Reward Machine Inference From Raw State Trajectories
Mohamad Louai Shehab, Antoine Aspeel, Necmiye Ozay
Reward machines are automaton-like structures that capture the memory required to accomplish a multi-stage task. When combined with reinforcement learning or optimal control method…