Abstract: Real-time safety-critical control is essential for high-level autonomous driving. Existing methods usually formulate safety-critical control as a constrained optimal control problem (COCP), ...
We study examples where conformal invariance implies rational critical indices, triviality of the underlying quantum field theory and emergence of hypergeometric functions as solutions of the field ...
Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...