


Остановите войну!
for scientists:


default search action
Matthias Althoff
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j34]Lukas Schäfer
, Stefanie Manzinger
, Matthias Althoff
:
Computation of Solution Spaces for Optimization-Based Trajectory Planning. IEEE Trans. Intell. Veh. 8(1): 216-231 (2023) - [j33]Moritz Klischat, Matthias Althoff:
Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios. IEEE Trans. Intell. Veh. 8(2): 1717-1730 (2023) - [i25]Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff:
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. CoRR abs/2302.01259 (2023) - [i24]Jakob Thumm, Guillaume Pelat, Matthias Althoff:
Reducing Safety Interventions in Provably Safe Reinforcement Learning. CoRR abs/2303.03339 (2023) - [i23]Eivind Meyer, Lars Frederik Peiss, Matthias Althoff:
Deep Occupancy-Predictive Representations for Autonomous Driving. CoRR abs/2303.04218 (2023) - 2022
- [j32]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. 139: 110184 (2022) - [j31]Bastian Schürmann
, Moritz Klischat
, Niklas Kochdumper
, Matthias Althoff
:
Formal Safety Net Control Using Backward Reachability Analysis. IEEE Trans. Autom. Control. 67(11): 5698-5713 (2022) - [j30]Andrea Giusti
, Stefan B. Liu
, Matthias Althoff
:
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. IEEE Trans. Control. Syst. Technol. 30(4): 1525-1537 (2022) - [c150]Michael Eichelbeck, Hannah Markgraf, Matthias Althoff:
Contingency-constrained economic dispatch with safe reinforcement learning. ICMLA 2022: 597-602 - [c149]Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff:
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. ICRA 2022: 4312-4317 - [c148]Jakob Thumm, Matthias Althoff:
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. ICRA 2022: 6344-6350 - [c147]Hanna Krasowski
, Matthias Althoff:
CommonOcean: Composable Benchmarks for Motion Planning on Oceans. ITSC 2022: 1676-1682 - [c146]Luis Gressenbuch, Klemens Esterle, Tobias Kessler, Matthias Althoff:
MONA: The Munich Motion Dataset of Natural Driving. ITSC 2022: 2093-2100 - [c145]Edmond Irani Liu, Gerald Würsching, Moritz Klischat, Matthias Althoff:
CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. ITSC 2022: 2313-2320 - [c144]Hanna Krasowski
, Yinqiang Zhang, Matthias Althoff:
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. ITSC 2022: 2407-2414 - [c143]Xiao Wang, Christoph Pillmayer, Matthias Althoff:
Learning to Obey Traffic Rules using Constrained Policy Optimization. ITSC 2022: 2415-2421 - [c142]Patrick Halder, Matthias Althoff:
Minimum-Violation Velocity Planning with Temporal Logic Constraints. ITSC 2022: 2520-2527 - [c141]Yuanfei Lin, Matthias Althoff:
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. IV 2022: 449-456 - [c140]Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff:
Formalization of Intersection Traffic Rules in Temporal Logic. IV 2022: 1135-1144 - [i22]Matthias Mayer, Jonathan Külz, Matthias Althoff:
cRoK: A Composable Robotics Benchmark. CoRR abs/2203.09337 (2022) - [i21]Michael Eichelbeck, Hannah Markgraf, Matthias Althoff:
Contingency-constrained economic dispatch with safe reinforcement learning. CoRR abs/2205.06212 (2022) - [i20]Jakob Thumm, Matthias Althoff:
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. CoRR abs/2205.06311 (2022) - [i19]Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff:
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. CoRR abs/2205.06750 (2022) - [i18]Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR abs/2207.02715 (2022) - [i17]Jonathan Külz, Matthias Mayer, Matthias Althoff:
Timor Python: A Toolbox for Industrial Modular Robotics. CoRR abs/2209.06758 (2022) - [i16]Yuanfei Lin, Haoxuan Li, Matthias Althoff:
Model Predictive Robustness of Signal Temporal Logic Predicates. CoRR abs/2209.07881 (2022) - [i15]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR abs/2209.09321 (2022) - [i14]Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff:
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR abs/2210.10691 (2022) - [i13]Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff:
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR abs/2212.06129 (2022) - 2021
- [j29]Matthias Althoff, Jagat Jyoti Rath
:
Comparison of guaranteed state estimators for linear time-invariant systems. Autom. 130: 109662 (2021) - [j28]Felix Gruber
, Matthias Althoff
:
Computing Safe Sets of Linear Sampled-Data Systems. IEEE Control. Syst. Lett. 5(2): 385-390 (2021) - [j27]Adrian Kulmburg, Matthias Althoff:
On the co-NP-completeness of the zonotope containment problem. Eur. J. Control 62: 84-91 (2021) - [j26]Egon Ye
, Gerald Würsching
, Sascha Steyer
, Matthias Althoff
:
Offline Dynamic Grid Generation for Automotive Environment Perception Using Temporal Inference Methods. IEEE Robotics Autom. Lett. 6(3): 5501-5508 (2021) - [j25]Bastian Schürmann
, Matthias Althoff
:
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. IEEE Trans. Autom. Control. 66(3): 981-994 (2021) - [j24]Niklas Kochdumper
, Matthias Althoff
:
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Trans. Autom. Control. 66(9): 4043-4058 (2021) - [j23]Fanta Camara
, Nicola Bellotto
, Serhan Cosar, Florian Weber, Dimitris Nathanael
, Matthias Althoff
, Jingyuan Wu
, Johannes Ruenz, André Dietrich, Gustav Markkula
, Anna Schieben, Fabio Tango, Natasha Merat
, Charles W. Fox
:
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior. IEEE Trans. Intell. Transp. Syst. 22(9): 5453-5472 (2021) - [j22]Fanta Camara
, Nicola Bellotto
, Serhan Cosar, Dimitris Nathanael
, Matthias Althoff
, Jingyuan Wu
, Johannes Ruenz, André Dietrich, Charles W. Fox
:
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking. IEEE Trans. Intell. Transp. Syst. 22(10): 6131-6151 (2021) - [j21]Matthias Althoff
, Sebastian Maierhofer
, Christian Pek
:
Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Trans. Intell. Veh. 6(1): 159-174 (2021) - [j20]Stefanie Manzinger
, Christian Pek
, Matthias Althoff
:
Using Reachable Sets for Trajectory Planning of Automated Vehicles. IEEE Trans. Intell. Veh. 6(2): 232-248 (2021) - [j19]Markus Koschi
, Matthias Althoff
:
Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules. IEEE Trans. Intell. Veh. 6(2): 249-265 (2021) - [j18]Christian Pek
, Matthias Althoff
:
Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization. IEEE Trans. Robotics 37(3): 798-814 (2021) - [c139]Victor Gaßmann
, Matthias Althoff:
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ADHS 2021: 85-90 - [c138]Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire
, Christian Schilling
, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2021: 1-31 - [c137]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet
, Alexandre Chapoutot, Pieter Collins
, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling
, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54 - [c136]Matthias Althoff:
Guaranteed State Estimation in CORA 2021. ARCH@ADHS 2021: 161-175 - [c135]Niklas Kochdumper, Philipp Gassert, Matthias Althoff:
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. ARCH@ADHS 2021: 184-194 - [c134]Felix Gruber, Matthias Althoff:
Scalable robust output feedback MPC of linear sampled-data systems. CDC 2021: 2563-2570 - [c133]Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff:
Adaptive parameter tuning for reachability analysis of nonlinear systems. HSCC 2021: 16:1-16:11 - [c132]Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann
, Moritz Klischat
, Matthias Althoff:
AROC: a toolbox for automated reachset optimal controller synthesis. HSCC 2021: 23:1-23:6 - [c131]Stefan B. Liu, Matthias Althoff:
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. IROS 2021: 777-783 - [c130]Xiao Wang, Hanna Krasowski
, Matthias Althoff:
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. ITSC 2021: 466-472 - [c129]Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff:
Sampling-Based Trajectory Repairing for Autonomous Vehicles. ITSC 2021: 572-579 - [c128]Gerald Würsching
, Matthias Althoff:
Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets. ITSC 2021: 828-835 - [c127]Luis Gressenbuch, Matthias Althoff:
Predictive Monitoring of Traffic Rules. ITSC 2021: 915-922 - [c126]Sebastian Maierhofer, Moritz Klischat
, Matthias Althoff:
CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. ITSC 2021: 3176-3182 - [c125]Hanna Krasowski
, Matthias Althoff:
Temporal Logic Formalization of Marine Traffic Rules. IV 2021: 186-192 - [c124]Edmond Irani Liu, Matthias Althoff:
Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles. IV 2021: 1037-1044 - [e6]Goran Frehse, Matthias Althoff:
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. EPiC Series in Computing 80, EasyChair 2021 [contents] - [d1]Stefan B. Liu, Andrea Giusti, Matthias Althoff:
Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison". IEEE DataPort 2021 - [i12]Stefan B. Liu, Bastian Schürmann, Matthias Althoff:
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. CoRR abs/2103.01626 (2021) - 2020
- [j17]Christian Pek
, Stefanie Manzinger
, Markus Koschi
, Matthias Althoff
:
Using online verification to prevent autonomous vehicles from causing accidents. Nat. Mach. Intell. 2(9): 518-528 (2020) - [j16]Matthias Althoff
:
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace. IEEE Trans. Autom. Control. 65(2): 477-492 (2020) - [c123]Victor Gaßmann
, Matthias Althoff:
Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm. ACC 2020: 4715-4721 - [c122]Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire
, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling
, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2020: 16-48 - [c121]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet
, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire
, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2020: 49-75 - [c120]Niklas Kochdumper, Ahmad Tarraf
, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff:
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. ASP-DAC 2020: 199-204 - [c119]Niklas Kochdumper, Matthias Althoff:
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. CDC 2020: 2130-2137 - [c118]Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff:
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CDC 2020: 5145-5152 - [c117]Niklas Kochdumper, Bastian Schürmann, Matthias Althoff:
Utilizing dependencies to obtain subsets of reachable sets. HSCC 2020: 1:1-1:10 - [c116]Niklas Kochdumper, Matthias Althoff:
Reachability analysis for hybrid systems with nonlinear guard sets. HSCC 2020: 2:1-2:10 - [c115]Amr Alanwar
, Hazem Said, Ankur Mehta, Matthias Althoff:
Event-Triggered Diffusion Kalman Filters. ICCPS 2020: 206-215 - [c114]Xiao Wang, Saasha Nair, Matthias Althoff:
Falsification-Based Robust Adversarial Reinforcement Learning. ICMLA 2020: 205-212 - [c113]Stefan B. Liu, Matthias Althoff:
Optimizing performance in automation through modular robots. ICRA 2020: 4044-4050 - [c112]Matthias Althoff, Matthias Mayer
, Robert Müller:
Automatic Synthesis of Human Motion from Temporal Logic Specifications. IROS 2020: 4040-4046 - [c111]Moritz Klischat
, Matthias Althoff:
A Multi-Step Approach to Accelerate the Computation of Reachable Sets for Road Vehicles. ITSC 2020: 1-7 - [c110]Moritz Klischat
, Edmond Irani Liu, Fabian Holtke, Matthias Althoff:
Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles. ITSC 2020: 1-7 - [c109]Hanna Krasowski
, Xiao Wang, Matthias Althoff:
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. ITSC 2020: 1-7 - [c108]Egon Ye, Matthias Althoff:
Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models. ITSC 2020: 1-7 - [c107]Egon Ye, Philip Spiegel, Matthias Althoff:
Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving. ITSC 2020: 1-7 - [c106]Edmond Irani Liu, Christian Pek, Matthias Althoff:
Provably-Safe Cooperative Driving via Invariably Safe Sets. IV 2020: 516-523 - [c105]Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff:
Formalization of Interstate Traffic Rules in Temporal Logic. IV 2020: 752-759 - [c104]Christian Pek, Vitaliy Rusinov, Stefanie Manzinger, Murat Can Üste, Matthias Althoff:
CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms. IV 2020: 1013-1020 - [c103]Moritz Klischat
, Matthias Althoff:
Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles. IV 2020: 2065-2072 - [i11]Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part I: low level models, from sensing to tracking. CoRR abs/2002.11669 (2020) - [i10]Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Matthias Althoff:
Distributed Set-Based Observers Using Diffusion Strategy. CoRR abs/2003.10347 (2020) - [i9]Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox:
Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour. CoRR abs/2003.11959 (2020) - [i8]Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. CoRR abs/2006.04260 (2020) - [i7]Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff:
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CoRR abs/2006.12091 (2020) - [i6]Xiao Wang
, Saasha Nair, Matthias Althoff:
Falsification-Based Robust Adversarial Reinforcement Learning. CoRR abs/2007.00691 (2020) - [i5]Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff:
Privacy Preserving Set-Based Estimation Using Partially Homomorphic Encryption. CoRR abs/2010.11097 (2020)
2010 – 2019
- 2019
- [j15]Matthias Althoff
, Andrea Giusti
, Stefan B. Liu
, Aaron Pereira:
Effortless creation of safe robots from modules through self-programming and self-verification. Sci. Robotics 4(31) (2019) - [j14]Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3(3): 30:1-30:26 (2019) - [c102]Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray:
A modal interface contract theory for guarded input/output automata with an application in traffic system design. ACC 2019: 1704-1711 - [c101]Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff:
Risk-aware motion planning for automated vehicle among human-driven cars. ACC 2019: 3987-3993 - [c100]Felix Gruber, Matthias Althoff:
Scalable Robust Model Predictive Control for Linear Sampled-Data Systems. CDC 2019: 438-444 - [c99]Amr Alanwar
, Hazem Said, Matthias Althoff:
Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis. CDC 2019: 4133-4139 - [c98]Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse
, Niklas Kochdumper, Rajarshi Ray, Christian Schilling
, Stefan Schupp:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek 2019: 14-40 - [c97]Fabian Immler, Matthias Althoff, Luis Benet
, Alexandre Chapoutot
, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek 2019: 41-61 - [c96]Jingyuan Wu, Johannes Ruenz, Matthias Althoff:
Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms. ITSC 2019: 1032-1038 - [c95]Egon Ye, Matthias Althoff:
Model-based Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model. ITSC 2019: 1128-1135 - [c94]Markus Koschi, Christian Pek
, Sebastian Maierhofer, Matthias Althoff:
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. ITSC 2019: 2879-2886 - [c93]Moritz Klischat
, Matthias Althoff:
Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms. IV 2019: 2352-2358 - [c92]Moritz Klischat, Octav Dragoi, Mostafa Eissa, Matthias Althoff:
Coupling SUMO with a Motion Planning Framework for Automated Vehicles. SUMO 2019: 1-9 - [e5]Goran Frehse, Matthias Althoff:
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. EPiC Series in Computing 61, EasyChair 2019 [contents] - [i4]Niklas Kochdumper, Matthias Althoff:
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. CoRR abs/1901.01780 (2019) - [i3]Niklas Kochdumper, Bastian Schürmann, Matthias Althoff:
Utilizing Dependencies to Obtain Subsets of Reachable Sets. CoRR abs/1910.08354 (2019) - 2018
- [j13]Andrea Giusti
, Martijn J. A. Zeestraten
, Esra Icer
, Aaron Pereira
, Darwin G. Caldwell
, Sylvain Calinon
, Matthias Althoff
:
Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics. IEEE Robotics Autom. Mag. 25(2): 18-27 (2018) - [j12]Aaron Pereira
, Matthias Althoff
:
Overapproximative Human Arm Occupancy Prediction for Collision Avoidance. IEEE Trans Autom. Sci. Eng. 15(2): 818-831 (2018) - [j11]Andrea Giusti
, Matthias Althoff
:
On-the-Fly Control Design of Modular Robot Manipulators. IEEE Trans. Control. Syst. Technol. 26(4): 1484-1491 (2018) - [j10]Sebastian Sontges
, Matthias Althoff
:
Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes. IEEE Trans. Intell. Transp. Syst. 19(6): 1855-1866 (2018) - [j9]Andrea Giusti
, Jörn Malzahn, Nikolaos G. Tsagarakis
, Matthias Althoff
:
On the Combined Inverse-Dynamics/Passivity-Based Control of Elastic-Joint Robots. IEEE Trans. Robotics 34(6): 1461-1471 (2018) - [c91]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling
, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c90]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c89]Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper:
Implementation of Taylor models in CORA 2018. ARCH@ADHS 2018: 145-173 - [c88]