activity
20222025
most citedTowards Designing and Exploiting Generative Networks for Neutrino Physics Experiments using Liquid Argon Time Projection Chambers

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2025

Latent Representations for Control Design with Provable Stability and Safety Guarantees

Paul Lutkus, Kaiyuan Wang, Lars Lindemann +1

We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of…

eess.SY2024

Incremental Composition of Learned Control Barrier Functions in Unknown Environments

Paul Lutkus, Deepika Anantharaman, Stephen Tu +1

We consider the problem of safely exploring a static and unknown environment while learning valid control barrier functions (CBFs) from sensor data. Existing works either assume kn…