logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Matthias Althoff

karlsruhe institute of technology

52H-index
450Paper Count
1.1WCitation Count
Published Papers 53
Publication Date
logo
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
errShare
errSave
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
errIEEE TRANSACTIONS ON SMART GRID
IF9.8
err2026-01-01
err0
PREAI
errEichelbeck, Michael; Markgraf, Hannah; Althoff, Matthias
errShare
errSave
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
errIEEE Transactions on Automatic Control
IF7
err2025-07-25
err0
errOAAI
errMark Wetzlinger; Matthias Althoff
errShare
errSave
Approximability of the Containment Problem for Zonotopes and Ellipsotopes
errIEEE Transactions on Automatic Control
IF7
err2025-06-26
err0
errOAAI
errAdrian Kulmburg; Lukas Schäfer; Matthias Althoff
errShare
errSave
Scenario Factory 2.0: Scenario-Based Testing of Automated Vehicles with CommonRoad
errAUTOMOTIVE INNOVATION
IF5
err2025-05-25
err0
errOAAI
errFlorian Finkeldei; Christoph Thees; Jan-Niklas Weghorn; Matthias Althoff
errShare
errSave
Preface for Feature Topic on Testing of Highly Automated Vehicles
errAutomotive Innovation
IF5
err2025-05-21
err0
PREAI
errYe Tian; Matthias Althoff; Ding Zhao; Xianbiao Hu; Jian Sun; He Zhang
errShare
errSave
Fair Cost Allocation in Energy Communities Under Forecast Uncertainty
errIEEE OPEN ACCESS JOURNAL OF POWER AND ENERGY
IF3.2
err2025-01-01
err0
errOAAI
errEichelbeck, Michael; Althoff, Matthias
errShare
errSave
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
errIEEE Transactions on Robotics
IF10.5
err2025-01-01
err0
errOAAI
errYuanfei Lin; Zekun Xing; Xuyuan Han; Matthias Althoff
errShare
errSave
Goal-Oriented Pedestrian Motion Prediction
errIEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
IF8.4
err2024-06-01
err0
PREAI
errWu, Jingyuan; Ruenz, Johannes; Berkemeyer, Hendrik; Dixon, Liza; Althoff, Matthias
errShare
errSave
Distributed set-based observers using diffusion strategies (vol 360, pg 6976, 2023)
errJOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
IF3.7
err2024-04-01
err0
errOAAI
errAlanwar, Amr; Rath, Jagat Jyoti; Said, Hazem; Johansson, Karl Henrik; Althoff, Matthias
errShare
errSave
Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-02-01
err5
errOAAI
errSchaefer, Lukas; Gruber, Felix; Althoff, Matthias
errShare
errSave
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2024-01-01
err8
PREAI
errLiu, Di; Mair, Sebastian; Yang, Kang; Baldi, Simone; Frasca, Paolo; Althoff, Matthias
errShare
errSave
Scalable Robust Safety Filter With Unknown Disturbance Set
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-12-01
err2
errOAAI
errGruber, Felix; Althoff, Matthias
errShare
errSave
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-12-01
err3
errOAAI
errWetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias
errShare
errSave
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2023-10-01
err6
errOAAI
errPereira, Aaron; Baumann, Mareike; Gerstner, Jonas; Althoff, Matthias
errShare
errSave
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
errIEEE TRANSACTIONS ON ROBOTICS
IF10.5
err2023-10-01
err3
errOAAI
errLiu, Stefan B.; Schuermann, Bastian; Althoff, Matthias
errShare
errSave
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2023-09-01
err3
errOAAI
errLiu, Edmond Irani; Althoff, Matthias
errShare
errSave
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
errAUTOMATICA
IF5.9
err2023-06-01
err16
errOAAI
errMehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin
errShare
errSave
Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2023-02-01
err6
PREAI
errKlischat, Moritz; Althoff, Matthias
errShare
errSave
Computation of Solution Spaces for Optimization-Based Trajectory Planning
errIEEE TRANSACTIONS ON INTELLIGENT VEHICLES
IF14.3
err2023-01-01
err19
PREAI
errSchaefer, Lukas; Manzinger, Stefanie; Althoff, Matthias
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Karl Henrik Johansson
H-index: 95 · Papers: 1.6K
D
Darwin G. Caldwell
H-index: 82 · Papers: 942
Z
Z. Xing
H-index: 66 · Papers: 306
N
Nikos G. Tsagarakis
H-index: 64 · Papers: 561
M
Martin Buss
H-index: 56 · Papers: 723
View more