Buchumschlag

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Zishun, Jafarpour, Saber, Chen, Yongxin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Statistics Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2025)

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
von: Liu, Zishun, et al.
Veröffentlicht: (2025)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
von: Galarza-Jimenez, Felipe, et al.
Veröffentlicht: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2026)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
von: Liu, Zishun, et al.
Veröffentlicht: (2026)

Data-Driven Adversarial Online Control for Unknown Linear Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2023)

Debiasing Continuous-time Nonlinear Autoregressions
von: Kuang, Simon, et al.
Veröffentlicht: (2025)

A New Proof of Sub-Gaussian Norm Concentration Inequality
von: Liu, Zishun, et al.
Veröffentlicht: (2025)

Autonomy in the Real-World: Autonomous Trajectory Planning for Asteroid Reconnaissance via Stochastic Optimization
von: Echigo, Kazuya, et al.
Veröffentlicht: (2024)

Monotonicity and Contraction on Polyhedral Cones
von: Jafarpour, Saber, et al.
Veröffentlicht: (2022)

Generation and Balancing Capacity in Future Electric Power Systems -- Scenario Analysis Using Bayesian Networks
von: Borenius, Seppo, et al.
Veröffentlicht: (2025)

Optimal State Estimation in the Presence of Non-Gaussian Uncertainty via Wasserstein Distance Minimization
von: Prabhat, Himanshu, et al.
Veröffentlicht: (2024)

Forward Invariance in Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
von: Omidi, Saber, et al.
Veröffentlicht: (2025)

Geometric Reachability for Attitude Control Systems via Contraction Theory
von: Xu, Chencheng, et al.
Veröffentlicht: (2025)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Kernel Mean Embedding Topology: Weak and Strong Forms for Stochastic Kernels and Implications for Model Learning
von: Saldi, Naci, et al.
Veröffentlicht: (2025)

The optimizing mode classification stabilization of sampled stochastic jump systems via an improved hill-climbing algorithm based on Q-learning
von: Wang, Guoliang
Veröffentlicht: (2024)

Distributed adaptive estimation for stochastic large regression models
von: Gan, Die, et al.
Veröffentlicht: (2026)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
von: Ajeyemi, Damola, et al.
Veröffentlicht: (2025)

Non-Asymptotic Analysis of Classical Spectrum Estimators for $L$-mixing Time-series Data with Unknown Means
von: Zheng, Yuping, et al.
Veröffentlicht: (2025)

Standard LSParameter Estimators Ensure Finite Convergence Time for Linear Regression Equations Under an Interval Excitation Assumption
von: Ortega, Romeo, et al.
Veröffentlicht: (2025)

Excess Mean Squared Error of Empirical Bayes Estimators
von: Ju, Yue, et al.
Veröffentlicht: (2025)

On Asymptotic Analysis of the Two-Stage Approach: Towards Data-Driven Parameter Estimation
von: Lakshminarayanan, Braghadeesh, et al.
Veröffentlicht: (2025)

Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees
von: Baheri, Ali, et al.
Veröffentlicht: (2025)

Response time central-limit and failure rate estimation for stationary periodic rate monotonic real-time systems
von: Zagalo, Kevin, et al.
Veröffentlicht: (2022)

Uncertainty Propagation and Bayesian Fusion on Unimodular Lie Groups from a Parametric Perspective
von: Ye, Jikai, et al.
Veröffentlicht: (2024)

Exact Asymptotic Estimation of Unknown Parameters of Perturbed LRE with Application to State Observation
von: Glushchenko, Anton, et al.
Veröffentlicht: (2023)

Long-Context Linear System Identification
von: Yüksel, Oğuz Kaan, et al.
Veröffentlicht: (2024)

Joint Learning of Linear Dynamical Systems under Smoothness Constraints
von: Tyagi, Hemant
Veröffentlicht: (2024)

The Collusion of Memory and Nonlinearity in Stochastic Approximation With Constant Stepsize
von: Huo, Dongyan, et al.
Veröffentlicht: (2024)

Second Order Statistics Analysis and Comparison between Arithmetic and Geometric Average Fusion
von: Li, Tiancheng, et al.
Veröffentlicht: (2019)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
von: Jafarpour, Saber, et al.
Veröffentlicht: (2023)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

Signed-Perturbed Sums Estimation of ARX Systems: Exact Coverage and Strong Consistency (Extended Version)
von: Carè, Algo, et al.
Veröffentlicht: (2024)

Covert Bayesian Quickest Change Detection
von: Lo, Yun-Feng, et al.
Veröffentlicht: (2026)