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 ...

We present a general method for normalizing nontrivial bound‐state wave functions. In particular, we consider explicit and formally complete asymptotic expansions of the solutions of the wave equation ...

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 ...