bibliographer - Matthias Althoff

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Adaptive reachability algorithms for nonlinear systems using abstraction error analysis Mark Wetzlinger Adrian Kulmburg Alexis Le Penven Matthias Althoff [github]

Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space Bastian Schürmann Matthias Althoff [github]

Reachability analysis of linear systems with uncertain parameters and inputs Matthias Althoff Olaf Stursberg Martin Buss [github]

Reachset Model Predictive Control for Disturbed Nonlinear Systems Bastian Schurmann Niklas Kochdumper Matthias Althoff [github]

Avoiding geometric intersection operations in reachability analysis of hybrid systems Matthias Althoff Bruce H. Krogh [github]

Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets Matthias Althoff [github]

Utilizing dependencies to obtain subsets of reachable sets Niklas Kochdumper Bastian Schürmann Matthias Althoff [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]