12 citations · 25 across the 11 of their papers we have counts for
14 papers
Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification
Mohamad H. Kazma, Hongchao Zhang, Abdallah A. Albustami +4
Differential-algebraic equation (DAE) systems arise in power networks, multibody mechanics, and chemical processes, where algebraic constraints couple dynamic and algebraic states.…
Scen-Opt: A Scenario Optimization Toolbox for Data-Driven Convex Programming
Ben Wooding, Simone Garatti, Marco C. Campi +1
The scenario approach is a well-established statistical framework for data-driven decision-making. In particular, in data-driven optimization, the scenario approach unveils how the…
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3
Graph neural networks (GNNs) have become a prominent approach for developing fast, topology-aware surrogates in electric power systems, supporting tasks such as power flow (PF) ana…
NNV3: Expanding Neural Network Verification to New Architectures and Domains
Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8
We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…
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…
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…
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Oliver Schön, Shammakh Naseer, Ben Wooding +1
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspi…
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…
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
Ben Wooding, Abolfazl Lavaei
This paper is concerned with developing a software tool, called IMPaCT, for the parallelized verification and controller synthesis of large-scale stochastic systems using interval…
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
This work is concerned with an assume-guarantee approach to compositionally control a New England 39-bus Test System (NETS). The proposed scheme is based on the new notion of robus…
Data-Driven Abstraction-Based Control Synthesis
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati +2
This paper studies formal synthesis of controllers for continuous-space systems with unknown dynamics to satisfy requirements expressed as linear temporal logic formulas. Formal ab…
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach i…