Bastian Schürmann

From MaRDI portal
Revision as of 13:16, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2178183

Available identifiers

zbMath Open schurmann.bastianMaRDI QIDQ2178183

List of research outcomes





PublicationDate of PublicationType
AROC2024-02-21Paper
Formal Safety Net Control Using Backward Reachability Analysis2023-09-25Paper
A formally verified motion planner for autonomous vehicles2023-07-28Paper
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems2021-05-28Paper
Utilizing dependencies to obtain subsets of reachable sets2021-01-25Paper
Set-based control for disturbed piecewise affine systems with state and actuation constraints2020-05-07Paper
First steps toward formal controller synthesis for bipedal robots with experimental implementation2017-10-04Paper
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems2017-07-11Paper
First steps toward formal controller synthesis for bipedal robots2017-05-19Paper

Research outcomes over time

This page was built for person: Bastian Schürmann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2178183&oldid=6143259"
Powered by MediaWiki