Cover Image

Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jing, Haoming, Nakahira, Yorie
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

Online Adaptive Probabilistic Safety Certificate with Language Guidance
by: Wang, Zhuoyuan, et al.
Published: (2025)

Physics-informed RL for Maximal Safety Probability Estimation
by: Hoshino, Hikaru, et al.
Published: (2024)

Stabilizing Linear Systems under Partial Observability: Sample Complexity and Fundamental Limits
by: Zhang, Ziyi, et al.
Published: (2025)

Sample-Optimal Zero-Violation Safety For Continuous Control
by: Ray, Ritabrata, et al.
Published: (2024)

Generalizable Physics-Informed Learning for Stochastic Safety-Critical Systems
by: Wang, Zhuoyuan, et al.
Published: (2024)

A Generalizable Physics-informed Learning Framework for Risk Probability Estimation
by: Wang, Zhuoyuan, et al.
Published: (2023)

Context-aware LLM-based Safe Control Against Latent Risks
by: Deng, Xiyu, et al.
Published: (2024)

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise
by: Zhang, Ziyi, et al.
Published: (2024)

Autonomous Drifting Based on Maximal Safety Probability Learning
by: Hoshino, Hikaru, et al.
Published: (2024)

Multi-Level Multi-Fidelity Methods for Path Integral and Safe Control
by: Wang, Zhuoyuan, et al.
Published: (2025)

UAVGENT: A Language-Guided Distributed Control Framework
by: Zhang, Ziyi, et al.
Published: (2026)

Neural Spline Operators for Risk Quantification in Stochastic Systems
by: Wang, Zhuoyuan, et al.
Published: (2025)

Physics-Informed Deep B-Spline Networks
by: Wang, Zhuoyuan, et al.
Published: (2025)

Rate-cost tradeoffs in continuous-time control with a biomolecular application
by: Nakahira, Yorie, et al.
Published: (2025)

Physics-Informed Representation and Learning: Control and Risk Quantification
by: Wang, Zhuoyuan, et al.
Published: (2023)

Fractional Risk Analysis of Stochastic Systems with Jumps and Memory
by: Sun, Yimeng, et al.
Published: (2026)

Safe Driving in Occluded Environments
by: Wang, Zhuoyuan, et al.
Published: (2025)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Safety Certification is Classification
by: Schön, Oliver, 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)

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

Safety-Aware Performance Boosting for Constrained Nonlinear Systems
by: Saccani, Danilo, et al.
Published: (2026)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
by: Rober, Nicholas, et al.
Published: (2023)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
by: Zaker, Mahdieh, et al.
Published: (2025)

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

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Safety Certification in the Latent space using Control Barrier Functions and World Models
by: Anand, Mehul, et al.
Published: (2025)

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
by: Akbarzadeh, Omid, et al.
Published: (2025)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
by: Wu, Taoran, et al.
Published: (2025)

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

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

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

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

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

Probabilistic Latent Variable Modeling for Dynamic Friction Identification and Estimation
by: Vantilborgh, Victor, et al.
Published: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Dynamic Passivity Multipliers for Plug-and-Play Stability Certificates of Converter-Dominated Grids
by: Gorbunov, Andrey, et al.
Published: (2026)