Cover Image

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sivaramakrishnan, Karthik, Sivaramakrishnan, Vignesh, Devonport, Rosalyn Alex, Oishi, Meeko M. K.
Format:	Preprint
Published:	2023
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

Characterizing Human Feedback-Based Control in Naturalistic Driving Interactions via Gaussian Process Regression with Linear Feedback
by: DiPirro, Rachel, et al.
Published: (2025)

Data-driven robust Markov decision processes on Borel spaces: performance guarantees via an axiomatic approach
by: Ramani, Sivaramakrishnan
Published: (2026)

The Impact of Social Value Orientation on Nash Equilibria of Two Player Quadratic Games
by: Calderone, Dan, et al.
Published: (2024)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
by: Dietrich, Elizabeth, et al.
Published: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Uniform Sampling from the Reachable Set Using Optimal Transport
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Quantitative Flow Approximation Properties of Narrow Neural ODEs
by: Elamvazhuthi, Karthik
Published: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory
by: Tabuada, Paulo, et al.
Published: (2020)

Stochastic Optimal Control via Local Occupation Measures
by: Holtorf, Flemming, et al.
Published: (2022)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Scalable Two-Stage Stochastic Optimal Power Flow via Separable Approximation
by: Lamichhane, Shishir, et al.
Published: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Stochastic Shortest Path Problem with Failure Probability
by: Otsubo, Ritsusamuel
Published: (2024)

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

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

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

Dynamic Programming in Probability Spaces via Optimal Transport
by: Terpin, Antonio, et al.
Published: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
by: Miller, Jared, et al.
Published: (2024)

(Corrected Version) Push-LSVRG-UP: Distributed Stochastic Optimization over Unbalanced Directed Networks with Uncoordinated Triggered Probabilities
by: Hu, Jinhui, et al.
Published: (2023)

Transmission Neural Networks: Approximate Receding Horizon Control for Virus Spread on Networks
by: Gao, Shuang, et al.
Published: (2025)

Predictor-Based Output-Feedback Control of Linear Systems with Time-Varying Input and Measurement Delays via Neural-Approximated Prediction Horizons
by: Bhan, Luke, et al.
Published: (2026)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
by: Liu, Zishun, et al.
Published: (2025)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)