5 papers
k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
Ben Wooding, Hongchao Zhang, Taylor T. Johnson +1
While conventional (k=1) discrete-time barrier certificate conditions impose strict safety constraints by requiring the function to be non-increasing at every step, k-inductive bar…
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
We develop an open-source software tool, called PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs…
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Jamie Gardner, Ben Wooding, Amy Nejati +1
TRUST is an open-source software tool developed for data-driven controller synthesis of dynamical systems with unknown mathematical models, ensuring either stability or safety prop…
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
Ben Wooding, Abolfazl Lavaei
This work is concerned with synthesizing safety controllers for discrete-time nonlinear systems beyond polynomials with unknown mathematical models using the notion of k-inductive…