Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Time-Certified and Efficient NMPC via Koopman Operator
Liang Wu, Yunhong Che, Bo Yang +2
Certifying and accelerating execution times of nonlinear model predictive control (NMPC) implementations are two core requirements. Execution-time certificate guarantees that the N…
eess.SY2025
A Predictive and Sampled-Data Barrier Method for Safe and Efficient Quadrotor Control
Ming Gao, Zhanglin Shangguan, Shuo Liu +3
This paper proposes a cascaded control framework for quadrotor trajectory tracking with formal safety guarantees. First, we design a controller consisting of an outer-loop position…