logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Matthias Althoff

technical university of munich

52H指数
451论文数
1.1W被引数
收录论文 54
发表时间
logo
Intelligent sailing model for open sea navigation智能航行模型用于开放式海洋导航
errOcean Engineering
IF5.5
err2026-09-08
err0
PREAI
errHanna Krasowski; Stefan Schärdinger; Murat Arcak; Matthias Althoff
err分享
err收藏
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes从 zonotopes 到证明证书：安全控制包络的正式管道
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Approximability of the Containment Problem for Zonotopes and Ellipsotopeszonotopes和ellipsotopes包含问题的近似性
errIEEE Transactions on Automatic Control
IF7
err2025-06-26
err0
errOAAI
errAdrian Kulmburg; Lukas Schäfer; Matthias Althoff
err分享
err收藏
Scenario Factory 2.0: Scenario-Based Testing of Automated Vehicles with CommonRoadScenario Factory 2.0：基于CommonRoad的自动驾驶车辆场景化测试
errAUTOMOTIVE INNOVATION
IF5
err2025-05-25
err0
errOAAI
errFlorian Finkeldei; Christoph Thees; Jan-Niklas Weghorn; Matthias Althoff
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Scalable Robust Safety Filter With Unknown Disturbance Set
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-12-01
err2
errOAAI
errGruber, Felix; Althoff, Matthias
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
K
Karl Henrik Johansson
H 指数: 95 · 论文数: 1.6K
D
Darwin G. Caldwell
H 指数: 82 · 论文数: 942
Z
Z. Xing
H 指数: 66 · 论文数: 306
N
Nikos G. Tsagarakis
H 指数: 64 · 论文数: 561
M
Martin Buss
H 指数: 56 · 论文数: 723
查看更多