UNM Hybrid Systems and Control Lab's repositories
abyvinod-TAC-ProbabilisticOccupancy
Code for TAC submission on "Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems" https://arxiv.org/abs/1803.07180
ajthor-CDC2021
Code for the paper, "Stochastic Optimal Control via Hilbert Space Embeddings of Distributions," CDC 2021.
abyvinod-NAASS2018
Bi-criterion optimization with safety as a criterion (spacecraft docking problem)
ajthor-ortiz-CDC2021
Code for SReachTools Kernel Module
SReachTools
THIS IS NOT AN ACTIVELY MAINTAINED REPO. MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
ajthor-vigsiv-HSCC2020
Code for "Stochastic Reachability of Systems up to a Million Dimensions"
shawnpriore-approximate-quantiles
Code for the paper, "Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances," ACC 2022.
shawnpriore-DC-multisatellite-rendezvous
Code for the paper, "Stochastic multi-satellite maneuvering with constraints in an elliptical orbit," ACC 2021 (Submitted).
abyvinod-SRTT-2020
Code for Automatica submission on "Stochastic reachability of a target tube: Theory and Computation" https://arxiv.org/abs/1810.05217 | Demonstrates SReachTools for multiple applications
yuliya-matlsahova-microgrid-interface
Microgrid interface design via combinatorial optimization
vigsiv-CSS-L-STOC-ECF
Code for the paper: "Stochastic Optimal Open-Loop Control Using Empirical Characteristic Functions"
abyvinod-CDC2019-AffineControllerSynthesis
CDC 2019: Affine controller synthesis for stochastic reachability via difference of convex programming
abyvinod-CSSL2017
CSS-L 2017 paper on using Fourier transform-based open-loop underapproximation
ajthor-ACC2021
Approximate Stochastic Reachability for High Dimensional Systems
ajthor-LCSS-2019
Stochastic reachability using kernel mean embeddings.
Automatica-2013
Supplementary materials for the paper: "Lagrangian methods for approximating the viability kernel in high-dimensional systems" by John Maidens, Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, and Guy A. Dumont
gleasonj-automatica-lagrangian
gleasonj and abyvinod codes for the Lagrangian Automatica paper
hscc2019-tool-examples
Examples for the HSCC 2019 Tool Paper of SReachTools