Imagen de Portada

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Damare, Amol, Roy, Shouvik, Sharma, Roshan, DSouza, Keith, Smolka, Scott A., Stoller, Scott D.
Formato:	Preprint
Publicado:	2022
Materias:	Systems and Control Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

Monotone Neural Barrier Certificates
por: Jafarpour, Saber, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
por: Toulkani, Naeim Ebrahimi, et al.
Publicado: (2024)

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