3 citations · 4 across the 8 of their papers we have counts for
8 papers
Finite Sample Identification of Analytic Nonlinear Systems
Negin Musavi, Ziyao Guo, Geir E. Dullerud +1
This paper studies the identification of linearly parameterized nonlinear (LPN) systems. Although LPN systems share the same linear parameterization structure as linear systems, th…
When Should a Robot Replan? Regret-Guided Update Scheduling in Time-Varying MDPs
Negin Musavi, Gokul Puthumanaillam, Ruben Hernandez +2
Robots operating in non-stationary environments must continually adapt their policies as the dynamics drift, but onboard energy and compute budgets cap how often a full state estim…
Dynamic Regret in Time-varying MDPs with Intermittent Information
Negin Musavi, Melkior Ornik
We study sequential decision-making in time-varying Markov decision processes (TVMDPs) under limited update rates, where the decision-maker observes the system and updates its mode…
Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees
Negin Musavi, Ziyao Guo, Geir Dullerud +1
This paper focuses on the system identification of an important class of nonlinear systems: linearly parameterized nonlinear systems, which enjoys wide applications in robotics and…
Convergence of Gradient-based MAML in LQR
Negin Musavi, Geir E. Dullerud
The main objective of this research paper is to investigate the local convergence characteristics of Model-agnostic Meta-learning (MAML) when applied to linear system quadratic opt…
Learning Certifiably Robust Controllers Using Fragile Perception
Dawei Sun, Negin Musavi, Geir Dullerud +2
Advances in computer vision and machine learning enable robots to perceive their surroundings in powerful new ways, but these perception modules have well-known fragilities. We con…
Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
Negin Musavi, Dawei Sun, Sayan Mitra +2
We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…
A 3D Game Theoretical Framework for the Evaluation of Unmanned Aircraft Systems Airspace Integration Concepts
Negin Musavi, Ayman Manzoor, Yildiray Yildiz
Predicting the outcomes of integrating Unmanned Aerial Systems (UAS) into the National Airspace System (NAS) is a complex problem which is required to be addressed by simulation st…