Cover Image

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order

Fuente: arXiv

Saved in:

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

Similar Items

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)

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

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

Solving Monotone Variational Inequalities with Best Response Dynamics
by: Chen, Yu-Wen, et al.
Published: (2024)

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

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

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

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

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

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

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)

On Exact Solutions to the Linear Bellman Equation
by: Ohlin, David, et al.
Published: (2025)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
by: Haimovich, Hernan, et al.
Published: (2026)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

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

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

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

Stabilizing Optimal Control for Nonlinear Stochastic Systems: A Parametric Gradient-Based Approach
by: Ito, Yuji, et al.
Published: (2025)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
by: Liu, Zishun, et al.
Published: (2026)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

A Framework for Adaptive Stabilisation of Nonlinear Stochastic Systems
by: Siriya, Seth, et al.
Published: (2025)

Time-Reversal of Stochastic Maximum Principle
by: Taghvaei, Amirhossein
Published: (2024)

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
by: Deplano, Diego, et al.
Published: (2023)

Uncertainty Propagation in Stochastic Hybrid Systems with Dimension-Varying Resets
by: C., Tejaswi K., et al.
Published: (2026)

Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems
by: Siriya, Seth, 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)

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

Distance Between Stochastic Linear Systems
by: Renganathan, Venkatraman, et al.
Published: (2025)

Stabilizing Rate of Stochastic Control Systems
by: Jia, Hui, et al.
Published: (2025)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
by: Anderson, Brendon G., et al.
Published: (2023)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
by: Deplano, Diego, et al.
Published: (2019)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

Normalization of ReLU Dual for Cut Generation in Stochastic Mixed-Integer Programs
by: Bansal, Akul, et al.
Published: (2026)

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

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

Peak Time-Windowed Risk Estimation of Stochastic Processes
by: Miller, Jared, et al.
Published: (2024)

Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
by: Yu, Hongzhe, et al.
Published: (2024)

Discrete Homogeneity and Quantizer Design for Nonlinear Homogeneous Control Systems
by: Zhou, Yu, et al.
Published: (2026)

Non-Asymptotic Bounds for Closed-Loop Identification of Unstable Nonlinear Stochastic Systems
by: Siriya, Seth, et al.
Published: (2024)

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