Bastian Schürmann

18 papers B 1C 4Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification.
IEEE Trans. Robotics
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
2022 J jnl
Formal Safety Net Control Using Backward Reachability Analysis.
IEEE Trans. Autom. Control.
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
2021 — conf
AROC: a toolbox for automated reachset optimal controller synthesis.
HSCC
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff
2021 J jnl
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems.
IEEE Trans. Autom. Control.
Bastian Schürmann, Matthias Althoff
2021 J jnl
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems.
CoRR
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
2020 — conf
Utilizing dependencies to obtain subsets of reachable sets.
HSCC
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2019 C conf
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
ACC
Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray
2019 C conf
Risk-aware motion planning for automated vehicle among human-driven cars.
ACC
Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff
2019 J jnl
Utilizing Dependencies to Obtain Subsets of Reachable Sets.
CoRR
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
2018 B conf
A Formally Verified Motion Planner for Autonomous Vehicles.
ATVA
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
2018 — conf
Reachset Model Predictive Control for Disturbed Nonlinear Systems.
CDC
Bastian Schürmann, Niklas Kochdumper, Matthias Althoff
2017 — conf
Comparison of trajectory tracking controllers for autonomous vehicles.
ITSC
Davide Calzolari, Bastian Schürmann, Matthias Althoff
2017 — conf
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems.
HSCC
Bastian Schürmann, Matthias Althoff
2017 — conf
Ensuring drivability of planned motions using formal methods.
ITSC
Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff
2017 — conf
Methods for order reduction of zonotopes.
CDC
Anna-Kathrin Kopetzki, Bastian Schürmann, Matthias Althoff
2017 C conf
Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems.
ACC
Bastian Schürmann, Matthias Althoff
2016 C conf
Closed-form expressions of convex combinations.
ACC
Bastian Schürmann, Ahmed El-Guindy, Matthias Althoff
2015 — conf
First steps toward formal controller synthesis for bipedal robots.
HSCC
Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle