:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Damare, Amol, Roy, Shouvik, Sharma, Roshan, DSouza, Keith, Smolka, Scott A., Stoller, Scott D.
Format:	Preprint
Published:	2022
Subjects:	Systems and Control Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2202.09710
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
by: Adhikary, Sunandan, et al.
Published: (2026)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
by: Nesti, Federico, et al.
Published: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
by: Lutz, Sterre, et al.
Published: (2025)

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

SAC-MoE: Reinforcement Learning with Mixture-of-Experts for Control of Hybrid Dynamical Systems with Uncertainty
by: D'Souza, Leroy, et al.
Published: (2025)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Cumulative-Time Signal Temporal Logic
by: Chen, Hongkai, et al.
Published: (2025)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

Neural Continuous-Time Supermartingale Certificates
by: Neustroev, Grigory, et al.
Published: (2024)

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
by: Lefringhausen, Robert, et al.
Published: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

The Dynamic Search for the Minimal Dynamic Extension
by: D'Souza, Rollen S.
Published: (2026)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
by: Wooding, Ben, et al.
Published: (2024)

Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments
by: D'Souza, Leroy, et al.
Published: (2025)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems
by: Sabouni, Ehsan, et al.
Published: (2024)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

HyRRT-Connect: Bidirectional Motion Planning for Hybrid Dynamical Systems
by: Wang, Nan, et al.
Published: (2025)

Approximate Information States for Worst-Case Control and Learning in Uncertain Systems
by: Dave, Aditya, et al.
Published: (2023)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Diffusion Model-based Parameter Estimation in Dynamic Power Systems
by: Zhu, Feiqin, et al.
Published: (2024)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Banach Control Barrier Functions for Large-Scale Swarm Control
by: Gao, Xuting, et al.
Published: (2026)

Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers
by: Scott, Paul, et al.
Published: (2014)

A Comparative Study of Artificial Potential Fields and Reciprocal Control Barrier Function-based Safety Filters
by: Li, Ming, et al.
Published: (2024)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)

A Hierarchical Signal Coordination and Control System Using a Hybrid Model-based and Reinforcement Learning Approach
by: Peng, Xianyue, et al.
Published: (2025)

KAPPS: A knowledge-based CPPS Architecture for the Circular Factory
by: Hoffmann, Etienne, et al.
Published: (2026)