activity
20152026
most citedUsing control synthesis to generate corner cases: A case study on autonomous driving

49 citations · 163 across the 51 of their papers we have counts for

collaborators
Showing 2023Show all

9 papers · 1 filter

eess.SY2023★ 2 cited

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings

Zexiang Liu, Necmiye Ozay, Eduardo D. Sontag

Linear immersions (such as Koopman eigenfunctions) of a nonlinear system have wide applications in prediction and control. In this work, we study the properties of linear immersion…

eess.SY2023

On the Hardness of Learning to Stabilize Linear Systems

Xiong Zeng, Zexiang Liu, Zhe Du +2

Inspired by the work of Tsiamis et al. \cite{tsiamis2022learning}, in this paper we study the statistical hardness of learning to stabilize linear time-invariant systems. Hardness…

eess.SY2023

A Low Rank Approach to Minimize Sensor-to-Actuator Communication in Finite Horizon Output Feedback

Antoine Aspeel, Jakob Nylof, Jing Shuang Li +1

Many modern controllers are composed of different components that communicate in real-time over some network with limited resources. In this work, we are interested in designing a…

cs.AI2023

A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles

Ruya Karagulle, Nikos Arechiga, Andrew Best +2

This work introduces a preference learning method that ensures adherence to given specifications, with an application to autonomous vehicles. Our approach incorporates the priority…

eess.SY2023

Can Transformers Learn Optimal Filtering for Unknown Systems?

Haldun Balim, Zhe Du, Samet Oymak +1

Transformer models have shown great success in natural language processing; however, their potential remains mostly unexplored for dynamical systems. In this work, we investigate t…

cs.RO2023★ 3 cited

Falsification of a Vision-based Automatic Landing System

Sara Shoouri, Shayan Jalili, Jiahong Xu +5

At smaller airports without an instrument approach or advanced equipment, automatic landing of aircraft is a safety-critical task that requires the use of sensors present on the ai…