1 citations · 2 across the 12 of their papers we have counts for
6 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…
Safe Control of Multi-Agent Systems with Minimal Communication
Mo Yang, Jing Yu, Necmiye Ozay
In many multi-agent systems, communication is limited by bandwidth, latency, and energy constraints. Designing controllers that achieve coordination and safety with minimal communi…
LLM-Enhanced Symbolic Control for Safety-Critical Applications
Amir Bayat, Alessandro Abate, Necmiye Ozay +1
Motivated by Smart Manufacturing and Industry 4.0, we introduce a framework for synthesizing Abstraction-Based Controller Design (ABCD) for reach-avoid problems from Natural Langua…
Minimal L2-Consistent Data-Transmission
Antoine Aspeel, Laurent Bako, Necmiye Ozay
In this work, we consider non-collocated sensors and actuators, and we address the problem of minimizing the number of sensor-to-actuator transmissions while ensuring that the L2 g…