activity
20142024
most citedFormal Methods for Autonomous Systems

7 citations · 31 across the 32 of their papers we have counts for

collaborators

11 papers

eess.SY2022

Online Poisoning Attacks Against Data-Driven Predictive Control

Yue Yu, Ruihan Zhao, Sandeep Chinchali +1

Data-driven predictive control (DPC) is a feedback control method for systems with unknown dynamics. It repeatedly optimizes a system's future trajectories based on past input-outp…

math.OC2022

Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints

Yue Yu, Kartik Nagpal, Skye Mceowen +2

One of the keys to flying quadrotors is to optimize their trajectories within the set of collision-free corridors. These corridors impose nonconvex constraints on the trajectories,…

eess.SY20221 cited

Non-Parametric Neuro-Adaptive Formation Control

Christos K. Verginis, Zhe Xu, Ufuk Topcu

We develop a learning-based algorithm for the distributed formation control of networked multi-agent systems governed by unknown, nonlinear dynamics. Most existing algorithms eithe…

eess.SY2022

Adversarial Examples for Model-Based Control: A Sensitivity Analysis

Po-han Li, Ufuk Topcu, Sandeep P. Chinchali

We propose a method to attack controllers that rely on external timeseries forecasts as task parameters. An adversary can manipulate the costs, states, and actions of the controlle…

cs.GT20221 cited

Inverse Matrix Games with Unique Quantal Response Equilibrium

Yue Yu, Jonathan Salfity, David Fridovich-Keil +1

In an inverse game problem, one needs to infer the cost function of the players in a game such that a desired joint strategy is a Nash equilibrium. We study the inverse game proble…

math.OC20211 cited

On the Detection of Markov Decision Processes

Xiaoming Duan, Yagiz Savas, Rui Yan +2

We study the detection problem for a finite set of Markov decision processes (MDPs) where the MDPs have the same state and action spaces but possibly different probabilistic transi…