conftrace_

neural network dynamic model

2 papers

Explore in graph

Also known as

NNDM

Co-occurring keywords · papers mentioning both

safe control (2) bernstein over-approximation (1) safety index (1) forward invariance (1) control synthesis (1) relu neural network (1) barrier function (1) real-time optimization (1) mixed integer programming (1)

Papers

Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 Safe Control with Neural Network Dynamic Models L4DC 2022