11 citations · 14 across the 3 of their papers we have counts for
5 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-…
Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
Implementation of Model Predictive Control (MPC) on hardware with limited computational resources remains a challenge. Especially for long-distance maneuvers that require small sam…
Monitoring with Verified Guarantees
Dauer J. C., Finkbeiner B., Schirmer S
Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For e…