Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties Matthias Althoff (), Bruce H. Krogh, and Olaf Stursberg Abstract As an important approach to analyzing safety of a dynamic system, this pape

Source URL: www6.in.tum.de

• Systems theory
• Cybernetics
• Matrix
• State space
• Itō diffusion
• Linear map
• Mathematics
• Matrix theory
• Control theory

Reachable Set Computation for Uncertain Time-Varying Linear Systems Matthias Althoff Colas Le Guernic

Source URL: www6.in.tum.de

• Matrix theory
• Matrix
• Linear map
• Projection
• Singular value decomposition
• Square root of a matrix
• Algebra
• Mathematics
• Linear algebra

Probabilistic Collision State Checker for Crowded Environments Daniel Althoff, Matthias Althoff, Dirk Wollherr and Martin Buss Abstract— For path planning algorithms of robots it is important that the robot does not re

Source URL: www6.in.tum.de

• Theoretical computer science
• Control theory
• Motion planning
• Computational physics
• Velocity obstacle
• Occupancy grid mapping
• Kinematics
• Collision detection
• Probability density function
• Robot kinematics
• Applied mathematics
• Mathematics

Design and Capabilities of the Munich Cognitive Automobile Matthias Goebl, Matthias Althoff, Martin Buss, Georg F¨arber, Falk Hecker, Bernd Heißing, Sven Kraus, Robert Nagel, Fernando Puente Le´on, Florian Rattei, Mar

Source URL: www6.in.tum.de

• Autonomous car
• Robotics
• Technology
• Radar
• LIDAR
• Robotic sensing
• Intelligent transportation system

Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans

Source URL: www6.in.tum.de

• Oscillators
• Concurrency
• Electronic design
• Phase-locked loop
• Charge pump
• Petri net
• Reachability
• Electronic engineering
• Electronics
• Electrical engineering

Probabilistic Mapping of Dynamic Obstacles Using Markov Chains for Replanning in Dynamic Environments Florian Rohrm¨uller, Matthias Althoff, Dirk Wollherr and Martin Buss Abstract— Robots acting in populated environme

Source URL: www6.in.tum.de

• Theoretical computer science
• Velocity obstacle
• Occupancy grid mapping
• Robotics
• Mechanical engineering
• Markov chain
• Acceleration
• Robot
• Geometry
• Robot kinematics
• Physics
• Motion planning

Safety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles Matthias Althoff, Olaf Stursberg, and Martin Buss Abstract— An approach for the safety assessment of planned trajectories of autonomou

Source URL: www6.in.tum.de

• Symbol
• Mathematics
• Markov models
• Markov chain
• Stochastic matrix

Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models Matthias Althoff and John M. Dolan Abstract— We present an approach to verify the planned maneuvers of an autom

Source URL: www6.in.tum.de

• Applied mathematics
• Constructible universe
• FO
• Differential equation
• Matrix exponential
• Science
• Control theory
• Mathematics
• State space

Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles Matthias Althoff and John M. Dolan Abstract— We compute the set of all possible behaviors of an autonomous vehicle using rea

Source URL: www6.in.tum.de

• Differential equation
• Science
• Systems science
• Systems theory
• Control theory
• Cybernetics
• Dynamical system

Erreichbarkeitsanalyse von Verkehrsteilnehmern zur Verbesserung von Fahrerassistenzsystemen Matthias Althoff ∗ Olaf Stursberg ∗ Martin Buss ∗ ∗

Source URL: www6.in.tum.de