1 citations · 1 across the 3 of their papers we have counts for
6 papers
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
Haoyu Li, Xiangru Zhong, Hao Cheng +2
Learning-based methods for synthesizing controllers have gained popularity due to their high expressiveness and strong empirical performance. However, in safety-critical scenarios…
TorchLean: Formalizing Neural Networks in Lean
Robert Joseph George, Jennifer Cruden, Will Adkisson +3
Neural networks are increasingly deployed in scientific, safety critical, and mission critical pipelines, yet verification and analysis are often performed outside the programming…
Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation
Eren Tekeler, Xiangru Zhong, Huan Zhang +1
Security-Constrained DC Optimal Power Flow (SC DCOPF) is an important tool for transmission system operators, enabling economically efficient and physically secure dispatch decisio…
Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
Haoyu Li, Xiangru Zhong, Bin Hu +1
Learning-based neural network (NN) control policies have shown impressive empirical performance. However, obtaining stability guarantees and estimates of the region of attraction o…
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
Haoyu Li, Xiangru Zhong, Bin Hu +1
Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. Howev…
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes
Yangge Li, Chenxi Ji, Xiangru Zhong +2
We introduce abstract rendering, a method for computing a set of images by rendering a scene from a continuously varying range of camera positions. The resulting abstract image-whi…