4 papers
Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
This paper presents a systematic framework for computing formally guaranteed trajectory tracking error bounds for autonomous helicopters based on Robust Positive Invariant (RPI) se…
Robust Helicopter Ship Deck Landing With Guaranteed Timing Using Shrinking-Horizon Model Predictive Control
Philipp Schitz, Paolo Mercorelli, Johann C. Dauer
We present a runtime efficient algorithm for autonomous helicopter landings on moving ship decks based on Shrinking-Horizon Model Predictive Control (SHMPC). First, a suitable plan…
Trace Repair for Temporal Behavior Trees
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer +2
We present methods for repairing traces against specifications given as temporal behavior trees (TBT). TBT are a specification formalism for action sequences in robotics and cyber-…
Feasibility of multiple robust control barrier functions for bounding box constraints
Mark Spiller, Emilia Isbono, Philipp Schitz
Enforcing multiple constraints based on the concept of control barrier functions (CBFs) is a remaining challenge because each of the CBFs requires a condition on the control inputs…