3 citations · 6 across the 7 of their papers we have counts for
8 papers
Filtering for Liveness: Recurrence via Backup Reachability Control Barrier Functions
David E. J. van Wijk, Pio Ong, Aaron D. Ames +1
Liveness requires a dynamical system to repeatedly accomplish a desired objective over time. In this work, we consider a particular form of liveness known as recurrence, which requ…
Backup Control Barrier Function Synthesis using Sum-of-Squares Reachability
Jungbae Chun, Shima Sadat Mousavi, David E. J. van Wijk +3
Backup control barrier functions (bCBFs) enforce safety for input-constrained nonlinear systems using a pre-certified backup set and controller, but their performance depends stron…
Robust Adaptive Backup Control Barrier Functions
Ersin Daş, David E. J. van Wijk, Tamas G. Molnar +2
We propose a notion of robust adaptive backup control barrier functions for nonlinear control affine systems with parametric uncertainty in both the drift dynamics and actuation ma…
Uncertainty Estimators for Robust Backup Control Barrier Functions
David E. J. van Wijk, Ersin Das, Anil Alan +5
Designing safe controllers is crucial and notoriously challenging for input-constrained safety-critical control systems. Backup control barrier functions offer an approach for the…
Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection
Kyle Dunlap, Kochise Bennett, David van Wijk +2
The trial and error approach of reinforcement learning (RL) results in high performance across many complex tasks, but it can also lead to unsafe behavior. Run time assurance (RTA)…
Stochastic Control Barrier Functions for Economics
David van Wijk
Control barrier functions (CBFs) and safety-critical control have seen a rapid increase in popularity in recent years, predominantly applied to systems in aerospace, robotics and n…
Deep Reinforcement Learning for Autonomous Spacecraft Inspection using Illumination
David van Wijk, Kyle Dunlap, Manoranjan Majji +1
This paper investigates the problem of on-orbit spacecraft inspection using a single free-flying deputy spacecraft, equipped with an optical sensor, whose controller is a neural ne…
Run Time Assurance for Autonomous Spacecraft Inspection
Kyle Dunlap, David van Wijk, Kerianne L. Hobbs
As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-ti…