Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

DOI10.1145/3049797.3049818zbMath1369.93582arXiv1610.04550OpenAlexW2535870504MaRDI QIDQ5275317

Meeko M. K. Oishi, Baisravan Homchaudhuri, A. P. Vinod

Publication date: 11 July 2017

Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.04550

zbMATH Keywords

Fourier transformconvex optimizationstochastic reachability

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Numerical methods in Fourier analysis (65T99)

Related Items (2)

State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• CVX
• MPT
• Ellipsoidal Toolbox

This page was built for publication: Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms