34 citations · 93 across the 18 of their papers we have counts for
3 papers · 1 filter
Explicit Time-Optimal Speed Profiles for Planar Paths with Monotone Curvature
Daniel Selvaratnam, Michael Cantoni, Chris Manzie
Minimum-time speed profiles are constructed for planar paths with smooth strictly-monotonic signed curvature, subject to constraints on velocity, normal acceleration and tangential…
MITL Verification Under Timing Uncertainty
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying on high frequency sampling. Instead, it is assumed…
Event-triggered boundary control of 2x2 semilinear hyperbolic systems
Timm Strecker, Michael Cantoni, Ole Morten Aamo
We present an event-triggered boundary control scheme for hyperbolic systems. The trigger condition is based on predictions of the state on determinate sets, where the control inpu…