4 papers
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…
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…