Conferences

Data Driven Synthesis of Provable Invariant Sets via Stochastically Sampled Data

American Control Conference (ACC), 2026

Amy K. Strong, Ali Kashani, Claus Danielson, and Leila J. Bridgeman

[arxiv]

Data Driven Certificates of Constraint Enforcement and Stability for Unmodeled, Discrete Dynamical Systems using Tree Data Structures

Symposium on Nonlinear Control Systems, 2025

Amy K. Strong, Ali Kashani, Claus Danielson, and Leila J. Bridgeman

[link] | [arxiv]

Data Driven Synthesis of Invariant Sets for Unmodeled Lipschitz Dynamical Systems Using a Tree Data Structure

American Control Conference (ACC), 2025

Amy K. Strong, Ali Kashani, Claus Danielson, and Leila J. Bridgeman

[link] 

Data Driven Verification of Positive Invariant Sets for Discrete, Nonlinear Systems

Learning for Decision and Control Conference (L4DC), 2024

Accepted for oral presentation (7.5% acceptance rate)

Amy K. Strong and Leila J. Bridgeman

[link] 

Adaptive Meshing for CPA Lyapunov Function Synthesis

European Control Conference (ECC), 2026

Amy K. Strong, Samuel Akinwande, and Leila J. Bridgeman

[link] | [arxiv]

Improved Small-Signal L2 Gain Analysis for Nonlinear Systems

American Control Conference (ACC), 2024

Amy K. Strong, Reza Lavaei, and Leila J. Bridgeman

[link] | [arxiv]

Dissipative Imitation Learning for Robust Dynamic Output Feedback

Conference on Decision and Control (CDC), 2024

Amy K. Strong*, Ethan J. LoCicero*, and Leila J. Bridgeman

[link] | [arxiv]

Utilizing Hidden Markov Models to Classify Maneuvers and Improve Estimates of an Unmanned Aerial Vehicle

Modeling, Estimation, and Control Conference (MECC), 2021 

Amy K. Strong, Scott M. Martin, and David M. Bevly

[link]