UNM Hybrid Systems and Control Lab

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

Language:MATLABGPL-3.0700

ajthor-CDC2021

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

Language:MATLAB500

abyvinod-NAASS2018

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

Language:MatlabMIT300

ajthor-ortiz-CDC2021

Code for SReachTools Kernel Module

Language:MATLAB300

hscc2018

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

Language:MatlabMIT300

SReachTools

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

Language:MATLABGPL-3.0300

ajthor-vigsiv-HSCC2020

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

Language:MATLAB2 40

shawnpriore-approximate-quantiles

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

Language:MATLAB200

shawnpriore-DC-multisatellite-rendezvous

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

Language:MATLAB200

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

Language:PythonGPL-3.0100

yuliya-matlsahova-microgrid-interface

Microgrid interface design via combinatorial optimization

Language:MATLABMIT100

abyvinod-vigsiv-iterfree-ACC2019

Language:MATLABGPL-3.001 2

vigsiv-CSS-L-STOC-ECF

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

Language:MATLABMIT000

abyvinod-CDC2019-AffineControllerSynthesis

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

Language:MATLABGPL-3.0000

abyvinod-CSSL2017

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

Language:MatlabMIT000

ajthor-ACC2021

Approximate Stochastic Reachability for High Dimensional Systems

Language:MATLAB000

ajthor-LCSS-2019

Stochastic reachability using kernel mean embeddings.

Language:MATLAB000

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

Language:MatlabMIT000