2.5k citations · 5.3k across the 56 of their papers we have counts for
69 papers
Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
Xiao Tan, Junior Sundar, Renzo Bruzzone +5
Modern autopilot systems are prone to sensor attacks that can jeopardize flight safety. To mitigate this risk, we proposed a modular solution: the secure safety filter, which exten…
Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks
Xiao Tan, Pio Ong, Paulo Tabuada +1
This paper presents a secure safety filter design for nonlinear systems under sensor spoofing attacks. Existing approaches primarily focus on linear systems which limits their appl…
Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
Xiao Tan, Pio Ong, Paulo Tabuada +1
Cyber-physical systems are prone to sensor attacks that can compromise safety. A common approach to synthesizing controllers robust to sensor attacks is secure state reconstruction…
Categorical Lyapunov Theory I: Stability of Flows
Aaron D. Ames, Joe Moeller, Paulo Tabuada
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stab…
Safety of Linear Systems under Severe Sensor Attacks
Xiao Tan, Pio Ong, Paulo Tabuada +1
Cyber-physical systems can be subject to sensor attacks, e.g., sensor spoofing, leading to unsafe behaviors. This paper addresses this problem in the context of linear systems when…
Taming AI Bots: Controllability of Neural States in Large Language Models
Stefano Soatto, Paulo Tabuada, Pratik Chaudhari +1
We tackle the question of whether an agent can, by suitable choice of prompts, control an AI bot to any state. To that end, we first introduce a formal definition of ``meaning'' th…