Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthias Althoff
Automatic Centralized Controller Design for Modular and Reconfigurable Robot Manipulators
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
Estimating the Domain of Attraction Based on the Invariance Principle
Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics
ARCH-COMP17 Category Report: Continuous Systems With Nonlinear Dynamics
Coupling SUMO With a Motion Planning Framework for Automated Vehicles
‹
1
2
