34 citations · 93 across the 18 of their papers we have counts for
3 papers · 1 filter
Predictive feedback boundary control of semilinear and quasilinear 2x2 hyperbolic PDE-ODE systems
Timm Strecker, Ole Morten Aamo, Michael Cantoni
We present a control design for semilinear and quasilinear 2x2 hyperbolic partial differential equations with the control input at one boundary and a nonlinear ordinary differentia…
Boundary Feedback Control of 2x2 Quasilinear Hyperbolic Systems: Predictive Synthesis and Robustness Analysis
Timm Strecker, Ole Morten Aamo, Michael Cantoni
We present a predictive feedback control method for a class of quasilinear hyperbolic systems with one boundary control input. Assuming exact model knowledge, convergence to the or…
Sampling Polynomial Trajectories for LTL Verification
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is…