UNM Human-Centered Systems and Control Lab

abyvinod-NAASS2018

Bi-criterion optimization with safety as a criterion (spacecraft docking problem)

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.

ajthor-ortiz-CDC2021

Code for SReachTools Kernel Module

ajthor-ortiz-L4DC2021

ajthor-vigsiv-HSCC2020

Code for "Stochastic Reachability of Systems up to a Million Dimensions"

hscc2018

Fourier transform-based polytopic underapproximation to the stochastic reach-avoid set for stochastic LTI systems (HSCC 2018 paper)

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).

SReachTools

THIS IS NOT AN ACTIVELY MAINTAINED REPO. MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)

unm-hscl/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

unm-hscl/ajthor-CDC2021

Code for the paper, "Stochastic Optimal Control via Hilbert Space Embeddings of Distributions," CDC 2021.

unm-hscl/abyvinod-NAASS2018

Bi-criterion optimization with safety as a criterion (spacecraft docking problem)

unm-hscl/ajthor-ortiz-CDC2021

Code for SReachTools Kernel Module

unm-hscl/hscc2018

Fourier transform-based polytopic underapproximation to the stochastic reach-avoid set for stochastic LTI systems (HSCC 2018 paper)

unm-hscl/SReachTools

THIS IS NOT AN ACTIVELY MAINTAINED REPO. MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)

unm-hscl/ajthor-ortiz-L4DC2021

unm-hscl/ajthor-vigsiv-HSCC2020

Code for "Stochastic Reachability of Systems up to a Million Dimensions"

unm-hscl/shawnpriore-approximate-quantiles

Code for the paper, "Approximate Quantiles for Stochastic Optimal Control of LTI Systems with Arbitrary Disturbances," ACC 2022.

unm-hscl/shawnpriore-DC-multisatellite-rendezvous

Code for the paper, "Stochastic multi-satellite maneuvering with constraints in an elliptical orbit," ACC 2021 (Submitted).

unm-hscl/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

unm-hscl/yuliya-matlsahova-microgrid-interface

Microgrid interface design via combinatorial optimization

unm-hscl/abyvinod-vigsiv-iterfree-ACC2019

unm-hscl/vigsiv-CSS-L-STOC-ECF

Code for the paper: "Stochastic Optimal Open-Loop Control Using Empirical Characteristic Functions"

unm-hscl/abyvinod-CDC2019-AffineControllerSynthesis

CDC 2019: Affine controller synthesis for stochastic reachability via difference of convex programming

unm-hscl/abyvinod-CSSL2017

CSS-L 2017 paper on using Fourier transform-based open-loop underapproximation

unm-hscl/ajthor-ACC2021

Approximate Stochastic Reachability for High Dimensional Systems

unm-hscl/ajthor-LCSS-2019

Stochastic reachability using kernel mean embeddings.

unm-hscl/ARCH-COMP

unm-hscl/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

unm-hscl/gleasonj-automatica-lagrangian

gleasonj and abyvinod codes for the Lagrangian Automatica paper

unm-hscl/hscc2019-tool-examples

Examples for the HSCC 2019 Tool Paper of SReachTools

unm-hscl/Penguin

unm-hscl/shawnpriore-moment-control

unm-hscl/shawnpriore-random-control

unm-hscl/shawnpriore-sample-bound-mpc

unm-hscl/shawnpriore-sample-gaussian

unm-hscl/shawnpriore-t-dist-cwh

unm-hscl/shawnpriore-time-varying-plant