Probabilistic reachability of discrete-time nonlinear stochastic systems
From MaRDI portal
Cites work
- A barrier function approach to finite-time stochastic system verification and control
- A Contraction Theory Approach to Stochastic Incremental Stability
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Applied interval analysis. With examples in parameter and state estimation, robust control and robotics. Incl. 1 CD-ROM
- Computing bounded reach sets from sampled simulation traces
- Convex computation of the maximum controlled invariant set for polynomial control systems
- Data-Driven Reachability Analysis From Noisy Data
- Direct feedback control design for nonlinear systems
- Efficient finite abstraction of mixed monotone systems
- High-dimensional probability. An introduction with applications in data science
- Probabilistic reachability analysis of stochastic control systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reachability Analysis of Discrete-Time Systems With Disturbances
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Stochastic reachability of a target tube: theory and computation
- Unpredictability and undecidability in dynamical systems
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
This page was built for publication: Probabilistic reachability of discrete-time nonlinear stochastic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7303178)
