My paper “Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification” with Navid Mokhlesi and Prof. Sayan Mitra has been accepted for publication in ATVA 2019 in Taipei City, Taiwan in October 27-31.
Received the best poster/demo award in HSCC’18!
Submitted a paper titled “Reach-avoid games with unknown types with applications in safe human-robot interactions”- Joint work with Chuchu Fan
Our paper “State estimation for dynamical systems with unknown inputs: Entropy and bit rates” got accepted at HSCC’18.
Deposited my Master’s thesis with the title: “State Estimation of Switched Nonlinear Systems and Systems with Bounded Inputs: Entropy and Bit Rates”.