Bastian Schürmann

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Convex Combinations

Autonomous Vehicles

Tracking Control

Top Venues

Publications

Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. IEEE Trans. Robotics 39 (5) (2023)
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Formal Safety Net Control Using Backward Reachability Analysis. IEEE Trans. Autom. Control. 67 (11) (2022)
Bastian Schürmann, Matthias Althoff
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. IEEE Trans. Autom. Control. 66 (3) (2021)
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)
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. CoRR (2021)
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Utilizing dependencies to obtain subsets of reachable sets. HSCC (2020)
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Utilizing Dependencies to Obtain Subsets of Reachable Sets. CoRR (2019)
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)
Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff
Risk-aware motion planning for automated vehicle among human-driven cars. ACC (2019)
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA (2018)
Bastian Schürmann, Niklas Kochdumper, Matthias Althoff
Reachset Model Predictive Control for Disturbed Nonlinear Systems. CDC (2018)
Davide Calzolari, Bastian Schürmann, Matthias Althoff
Comparison of trajectory tracking controllers for autonomous vehicles. ITSC (2017)
Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff
Ensuring drivability of planned motions using formal methods. ITSC (2017)
Bastian Schürmann, Matthias Althoff
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. HSCC (2017)
Anna-Kathrin Kopetzki, Bastian Schürmann, Matthias Althoff
Methods for order reduction of zonotopes. CDC (2017)
Bastian Schürmann, Matthias Althoff
Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems. ACC (2017)
Bastian Schürmann, Ahmed El-Guindy, Matthias Althoff
Closed-form expressions of convex combinations. ACC (2016)
Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle
First steps toward formal controller synthesis for bipedal robots. HSCC (2015)