UNM Hybrid Systems and Control Lab

shawnpriore-t-dist-cwh

shawnpriore-time-varying-plant

shawnpriore-random-control

shawnpriore-moment-control

shawnpriore-sample-bound-mpc

shawnpriore-sample-gaussian

shawnpriore-approximate-quantiles

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

vigsiv-CSS-L-STOC-ECF

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

ajthor-ortiz-L4DC2021

shawnpriore-DC-multisatellite-rendezvous

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

ajthor-CDC2021

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

yuliya-matlsahova-microgrid-interface

Microgrid interface design via combinatorial optimization

Penguin

gleasonj-automatica-lagrangian

gleasonj and abyvinod codes for the Lagrangian Automatica paper

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)

hscc2019-tool-examples

Examples for the HSCC 2019 Tool Paper of SReachTools

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

abyvinod-CDC2019-AffineControllerSynthesis

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

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

ajthor-ACC2021

Approximate Stochastic Reachability for High Dimensional Systems

ajthor-vigsiv-HSCC2020

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

ajthor-LCSS-2019

Stochastic reachability using kernel mean embeddings.

abyvinod-vigsiv-iterfree-ACC2019

ARCH-COMP

hscc2018

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

abyvinod-CSSL2017

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

abyvinod-NAASS2018

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

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