conftrace_

neural network control

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

port-hamiltonian system (2) stability guarantee (2) lyapunov function (2) satisfiability modulo theories (1) neural network control system (1) reachable set analysis (1) autonomous vehicle safety (1) control system verification (1) neural control policy (1) certificate function (1)

Papers

Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025 Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025 Neuromechanical Autoencoders: Learning to Couple Elastic and Neural Network Nonlinearity ICLR 2023 Distributed Neural Network Control with Dependability Guarantees: a Compositional Port-Hamiltonian Approach L4DC 2022 Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NeurIPS 2022 Total Energy Shaping with Neural Interconnection and Damping Assignment - Passivity Based Control L4DC 2022 Differentiable Fluids with Solid Coupling for Learning and Control AAAI 2021