Extracting forward invariant sets from neural network-based control barrier functions

DOI10.1145/3716863.3718050MaRDI QIDQ6904625zbMATH OpenFDO

Authors Goli Vaisi, James Ferlez, Yasser Shoukry

Publication date 7 November 2025

Full work available at URL https://doi.org/10.1145/3716863.3718050

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• A Partial Order on the Regions of R n Dissected by Hyperplanes
• Constructing Arrangements of Lines and Hyperplanes with Applications
• Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
• Reverse search for enumeration

This page was built for publication: Extracting forward invariant sets from neural network-based control barrier functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904625)