The following pages link to Meeko M. K. Oishi (Q2021291):
Displaying 12 items.
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems (Q3015126) (← links)
- Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness (Q4561425) (← links)
- Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems (Q5002119) (← links)
- SReachTools (Q5239216) (← links)
- SReachTools: A MATLAB stochastic reachability toolbox (Q5239250) (← links)
- Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms (Q5275317) (← links)
- A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics (Q5353401) (← links)
- Observability Analysis of Continuous‐Time <scp>LTI</scp> Systems with Limited Derivative Data (Q5420192) (← links)
