Code

Computation and visualization of the underapproximations of reach-avoid sets via Lagrangian Methods for “Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods”

J. D. Gleason, A. P. Vinod, M. M. K. Oishi
In the Proceeding of the IEEE Conference on Decision and Control (CDC), Melbourne, Australia, 2017.

Download .ZIP file

Computation and visualization for Fourier transform-based underapproximation of the stochastic reach-avoid problem for “Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms”

A. P. Vinod and M. M. K. Oishi
IEEE Control Systems Letters (L-CSS), vol. 1, no. 2, pp. 316-321, October 2017.

Download .ZIP file

Computation and visualization for obstacle avoidance in presence of stochastic obstacles for “Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance”

B. HomChaudhuri, A. P. Vinod, and M. M. K. Oishi
In the Proceedings of American Control Conference (ACC), Seattle, WA, USA, 2017.

Download .ZIP file

Computation and visualization for pursuit of non-adversarial target with stochastic dynamics for “Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms”

A. P. Vinod, B. HomChaudhuri, and M. M. K. Oishi
In the Proceedings of Hybrid Systems: Control and Computation (HSCC), Pittsburg, PA, USA, 2017.
Repeatability Evaluated

Download .ZIP file

Computation and visualization of ReachAvoid sets for space vehicle docking for “Computing Reach-Avoid Sets for Space Vehicle Docking under Continuous Thrust”

B. HomChaudhuri, M. M. K. Oishi, M. Shubert, M. Baldwin, and R. S. Erwin
In the Proceeding of the IEEE Conference on Decision and Control (CDC), Las Vegas, NV, USA, 2016.

Download .ZIP file

Viable Set Computation for Linear-Gaussian System with Unknown and Bounded Variance for “Viable Set Approximation for Linear-Gaussian Systems with Unknown, Bounded Variance”

Joseph Gleason, Abraham P. Vinod, Meeko M. K. Oishi, and R. Scott Erwin
In the Proceedings of the Conference on Decision and Control, Las Vegas, Nevada, December 2016, p. 7049-7055.

Download .ZIP file

Design of user-interface for a swarm of UAVs for “User-interface design for MIMO LTI human-automation systems through sensor placement”

A. P. Vinod, T. H. Summers, and M. M. K. Oishi
In the Proceedings of American Control Conference, Boston, MA, USA, 2016.

Download .ZIP file

Hybrid identification and visualization for “Detection of manual tracking submovements in Parkinson's disease through hybrid optimization”

C. Gonzalez, D. Svenkeson, D. Kim, M.J. McKeown, and M. Oishi
In the Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, Georgia, October 2015, p. 291-297.

Download .ZIP file

Dynamic programming based computation of stochastic reachable sets and visualization for “Stochastic reachability for control of spacecraft relative motion”

K. Lesser, M. Oishi, and R.S. Erwin
In the Proceedings of the IEEE Conference on Decision and Control, Florence, Italy, December 2013, p. 4705-4712.

Download .ZIP file

Downloads

Code

Computation and visualization of the underapproximations of reach-avoid sets via Lagrangian Methods for “Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods”

Computation and visualization for Fourier transform-based underapproximation of the stochastic reach-avoid problem for “Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms”

Computation and visualization for obstacle avoidance in presence of stochastic obstacles for “Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance”

Computation and visualization for pursuit of non-adversarial target with stochastic dynamics for “Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms”

Computation and visualization of ReachAvoid sets for space vehicle docking for “Computing Reach-Avoid Sets for Space Vehicle Docking under Continuous Thrust”

Viable Set Computation for Linear-Gaussian System with Unknown and Bounded Variance for “Viable Set Approximation for Linear-Gaussian Systems with Unknown, Bounded Variance”

Design of user-interface for a swarm of UAVs for “User-interface design for MIMO LTI human-automation systems through sensor placement”

Hybrid identification and visualization for “Detection of manual tracking submovements in Parkinson's disease through hybrid optimization”

Dynamic programming based computation of stochastic reachable sets and visualization for “Stochastic reachability for control of spacecraft relative motion”