4 papers
Local Dissipativity Analysis of Nonlinear Systems
Amy K. Strong, Leila Bridgeman
Dissipativity is an input-output (IO) characterization of nonlinear systems that enables compositional robust control through Vidyasagar's Network Dissipativity Theorem (VDNT). How…
Learning Control Barrier Functions with Deterministic Safety Guarantees
Amy K. Strong, Ali Kashani, Claus Danielson +1
Barrier functions (BFs) characterize safe sets of dynamical systems, where hard constraints are never violated as the system evolves over time. Computing a valid safe set and BF fo…
Adaptive Meshing for CPA Lyapunov Function Synthesis
Amy K. Strong, Samuel Akinwande, Leila Bridgeman
Continuous piecewise affine (CPA) Lyapunov function synthesis is one method to perform Lyapunov stability analysis for nonlinear systems. This method first generates a mesh over th…
Data driven synthesis of provable invariant sets via stochastically sampled data
Amy K. Strong, Ali Kashani, Claus Danielson +1
Positive invariant (PI) sets are essential for ensuring safety, i.e. constraint adherence, of dynamical systems. With the increasing availability of sampled data from complex (and…