Search Results for author:
Found 3 papers, 0 papers with code
Resilient State Estimation for Nonlinear Discrete-Time Systems via Input and State Interval Observer Synthesis
This paper addresses the problem of resilient state estimation and attack reconstruction for bounded-error nonlinear discrete-time systems with nonlinear observations/ constraints, where both sensors and actuators can be compromised by false data injection attack signals/unknown inputs.
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unknown specifications such that both set-membership models of the unknown dynamics and LTL formulas are guaranteed to include the ground truth model and specification/task.
Resilient Interval Observer for Simultaneous Estimation of States, Modes and Attack Policies
This paper considers the problem of designing interval observers for hidden mode switched nonlinear systems with bounded noise signals that are compromised by false data injection and switching attacks.
