108 citations · 1.6k across the 73 of their papers we have counts for
74 papers
Robust Zonotopic Control
Fouzi Tabouri, Kim Guldstrand Larsen, Christian Schilling
We propose a zonotopic framework for synthesizing a single robust state feedback controller that is certified to stabilize every plant inside a matrix zonotope, describing linearly…
Unified Framework for Functional Theories of Quantum Systems
Chih-Chun Wang, Julia Liebert, Markus Penz +1
We introduce and study a unified framework for density-functional theory and its variants for quantum systems on finite-dimensional Hilbert spaces. These theories seek to reduce th…
Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation
Mikkel Bjørn, Daniel H. Hansen, Grace Melchiors +2
We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first…
Capturing electron correlation at mean-field cost: Assessment of i-DMFT and the underlying correlation conjecture
Paul G. Graf, Florian Matz, Lexin Ding +3
Accurately treating strong electron correlation in quantum chemistry typically requires multireference wave-function methods with steep computational scaling. The recently proposed…
A Geometric Approach to Strongly Correlated Bosons: From -Representability to the Generalized BEC Force
Chih-Chun Wang, Christian Schilling
Building on recent advances in reduced density matrix theory, we develop a geometric framework for describing strongly correlated lattice bosons. We first establish that translatio…
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen +4
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…