Jared Miller's repositories
data_driven_pos
Data-driven stabilization of positive linear systems. Full-state feedback and Linf sample noise by default.
crash-safety
Quantify the safety of trajectories by the peak-minimizing optimal control cost needed to crash into the unsafe set
data_driven_occ
Methods for data-driven system analysis with occupation measures.
error_in_variables
Data-driven stabilization and robust control of linear systems corrupted by error in variables
inverse_optimal
Find the distance of a test point/trajectory to the set of global optima generated by a basis of cost functions
peak_attractor
Estimate the peak of a a function p(x) on an attractor of a dynamical system. Based on the work of https://arxiv.org/pdf/2005.03346.pdf, of which code is available at http://homepages.laas.fr/mkorda/Attractor.zip
prob_unsafe
Bound the probability of ending up in the unsafe set using occupation measures. Applied to stochastic process systems (SDE).
chance_peak
Probabilistic peak estimation: At each point in time, the probability that a state function will exceed a solved threshold has probability <epsilon. Based on the theory of value-at-risk approximations.
gloptipoly3_mod
A fork of gloptipoly3 (https://homepages.laas.fr/henrion/software/gloptipoly/: Didier Henrion, Jean-Bernard Lasserre and Johan Loefberg.)
hybrid_peak_est
Peak estimation of hybrid systems, with support routines.
jarmill.github.io
my website
jarmill_site
A beautiful, simple, clean, and responsive Jekyll theme for academics
MANSI
Multiresolution Atomic Norm System Identification
meas_class
Class based implementation for measure (gloptipoly) management
PkgTemplates.jl
Create new Julia packages, the easy way
quantized_ddc
Data-Driven Control in which transition observations are inside large intervals/buckets
set_connected
Find out if two sets X0 and X1 are path-connected within a third set X. If so, find a path between a point in X0 and X1.
SieveSDP
Sieve-SDP: A simple facial reduction algorithm to preprocess semidefinite programs
slice_volume
Find the maximal volume of intersection between an affine plane and a compact basic semialgebraic set
SparseDynamicSystem
SparseDynamicSystem computes region of attraction (ROA), maximum positively invariant set (MPI), global attractor (GA) for polynomial dynamic systems based on the sparsity adapted moment-SOS hierarchies.
STRIDE
Solver for Large-Scale Rank-One Semidefinite Relaxations