1. Adaptive Cruise Control with Safety Guarantees for Autonomous Vehicles. Issue 1 (July 2017) Authors: Magdici, Silvia; Althoff, Matthias Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 5774 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Adaptive reachability algorithms for nonlinear systems using abstraction error analysis. (November 2022) Authors: Wetzlinger, Mark; Kulmburg, Adrian; Le Penven, Alexis; Althoff, Matthias Journal: Nonlinear analysis Issue: Volume 46(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Comparison of guaranteed state estimators for linear time-invariant systems. (August 2021) Authors: Althoff, Matthias; Rath, Jagat Jyoti Journal: Automatica Issue: Volume 130(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. (June 2023) Authors: Mehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin Journal: Automatica Issue: Volume 152(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. (May 2022) Authors: Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel Journal: Automatica Issue: Volume 139(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space. Issue 1 (July 2017) Authors: Schürmann, Bastian; Althoff, Matthias Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 11515 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. On the co-NP-completeness of the zonotope containment problem. (November 2021) Authors: Kulmburg, Adrian; Althoff, Matthias Journal: European journal of control Issue: Volume 62(2021) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Privacy-preserving set-based estimation using partially homomorphic encryption. (May 2023) Authors: Alanwar, Amr; Gaßmann, Victor; He, Xingkang; Said, Hazem; Sandberg, Henrik; Johansson, Karl H.; Althoff, Matthias Journal: European journal of control Issue: Volume 71(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Robust Control of Continuum Robots using Interval Arithmetic. Issue 1 (July 2017) Authors: Hisch, Florian; Giusti, Andrea; Althoff, Matthias Journal: IFAC-PapersOnLine Issue: Volume 50:Issue 1(2017) Page Start: 5660 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Set-based control for disturbed piecewise affine systems with state and actuation constraints. (May 2020) Authors: Schürmann, Bastian; Vignali, Riccardo; Prandini, Maria; Althoff, Matthias Journal: Nonlinear analysis Issue: Volume 36(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗