21 citations · 34 across the 2 of their papers we have counts for
2 papers
cs.RO2021★ 13 cited
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Robots are used increasingly often in safety-critical scenarios, such as robotic surgery or human-robot interaction. To ensure stringent performance criteria, formal controller syn…
eess.SY2019★ 21 cited
Utilizing Dependencies to Obtain Subsets of Reachable Sets
Niklas Kochdumper, Bastian Schürmann, Matthias Althoff
Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invarian…