Ruikun presented our recent work on neural Lyapunov control of unknown nonlinear systems with stability guarantees at NeurIPS 2022 in New Orleans. Congratulations to Ruikun and Juju on their joint work!
Two new books on formal methods and reinforcement learning for nonlinear control design have been published by members of the Hybrid Systems Labs!
