Bastian Schürmann

According to our database, Bastian Schürmann authored at least 17 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification.

Stefan B. Liu, Bastian Schürmann, Matthias Althoff

IEEE Trans. Robotics, October, 2023

2022

Formal Safety Net Control Using Backward Reachability Analysis.

Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff

IEEE Trans. Autom. Control., 2022

2021

Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems.

Bastian Schürmann, Matthias Althoff

IEEE Trans. Autom. Control., 2021

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems.

Stefan B. Liu, Bastian Schürmann, Matthias Althoff

CoRR, 2021

AROC: a toolbox for automated reachset optimal controller synthesis.

Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

2020

Utilizing dependencies to obtain subsets of reachable sets.

Niklas Kochdumper, Bastian Schürmann, Matthias Althoff

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

A modal interface contract theory for guarded input/output automata with an application in traffic system design.

Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray

Proceedings of the 2019 American Control Conference, 2019

Risk-aware motion planning for automated vehicle among human-driven cars.

Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff

Proceedings of the 2019 American Control Conference, 2019

2018

Reachset Model Predictive Control for Disturbed Nonlinear Systems.

Bastian Schürmann, Niklas Kochdumper, Matthias Althoff

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

A Formally Verified Motion Planner for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Ensuring drivability of planned motions using formal methods.

Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Comparison of trajectory tracking controllers for autonomous vehicles.

Davide Calzolari, Bastian Schürmann, Matthias Althoff

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems.

Bastian Schürmann, Matthias Althoff

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Methods for order reduction of zonotopes.

Anna-Kathrin Kopetzki, Bastian Schürmann, Matthias Althoff

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems.

Bastian Schürmann, Matthias Althoff

Proceedings of the 2017 American Control Conference, 2017

2016

Closed-form expressions of convex combinations.

Bastian Schürmann, Ahmed El-Guindy, Matthias Althoff

Proceedings of the 2016 American Control Conference, 2016

2015

First steps toward formal controller synthesis for bipedal robots.

Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015