3 papers
eess.SY2026
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…
cs.RO2026
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…
cs.LO2025
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-…