6 papers
Lipschitz Bounds for Neural Networks Using a Two-Copy Linear Fractional Transformation
Felix Biertümpfel, Bin Hu, Peter Seiler
This paper proposes a new method to bound the global Lipschitz constant of a neural network (NN). Our formulation uses a two-copy linear fractional transformation (LFT) representat…
Tropicalization and degeneration of short flag varieties and their fibers
Hannah Markwig, Michael Schlößer
Tropicalizations of Grassmannians resp. flag varieties parametrizing (flags of) linear spaces have been studied intensely and reveal rich combinatorial structure. Linear degenerati…
Control of Decommissioned Satellites and Space Debris Using CubeSats with Ion Electrospray Engines
Felix Biertümpfel, Peter Seiler, Paulo Lozano +1
The emergence of the New Space era has led to a rapidly increasing number of satellites in Low Earth Orbit (LEO). Consequently, more stringent deorbiting requirements have recently…
Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability
Jungbae Chun, Shima Sadat Mousavi, David E. J. van Wijk +3
Backup control barrier functions (bCBFs) enforce safety for input-constrained nonlinear systems using a pre-certified backup set and controller, but their performance depends stron…
Robust Observer Design via Finsler's Lemma and IQCs
Raktim Bhattacharya, Felix Biertümpfel
This paper develops a Finsler-based LMI for robust observer design with integral quadratic constraints (IQCs) and block-structured uncertainty. By introducing…
Finite Horizon Worst-Case Analysis of Linear Time-Varying Systems Applied to Launch Vehicle
Felix Biertümpfel, Nantiwat Pholdee, Samir Bennani +1
This paper presents an approach to compute the worst-case gain of the interconnection of a finite time horizon linear time-variant system and a perturbation. The input/output behav…