12 citations · 25 across the 11 of their papers we have counts for
9 papers · 1 filter
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.…
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…
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…
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…