Jarmill

Pinned Repositories

crash-safety
Quantify the safety of trajectories by the peak-minimizing optimal control cost needed to crash into the unsafe set
Language:MATLAB1 1 00
data_driven_occ
Methods for data-driven system analysis with occupation measures.
Language:MATLAB1 1 00
data_driven_pos
Data-driven stabilization of positive linear systems. Full-state feedback and Linf sample noise by default.
Language:MATLAB3 1 02
distance
Estimate the distance of closest approach to an unsafe set
Language:MATLAB1 3 00
eiv_arx
Data-Driven Control of ARX models as corrupted by Linfinity-bounded Error in Variables
Language:MATLAB2 1 01
eiv_quad
Error-in-variables control of quadratically-bounded noise processes. Application include data-driven Gaussian superstabilizing control.
Language:Julia1 1 00
lpv_qmi
Data-Driven Control of Linear Parameter Varying (LPV) systems under Process Noise with Quadratic Matrix Inequalities (QMI)
Language:MATLAB2 1 02
peak
Estimate the peak of a function across all trajectories. Based on occupation measures, results in a hierarchy of SDPs. Assumes dynamics and objective are polynomial, and semialgebriac regions.
Language:MATLAB1 2 10
QCopters
Reinforcement (Q) learning agent that learns to play SwingCopters. Final Project for AI (NU 4100)
Language:Python2 4 01
SDPfw
Reformulation of SDPs using block factor-width two matrices
Language:MATLAB1 2 11

Jarmill's Repositories

Jarmill/data_driven_pos
Data-driven stabilization of positive linear systems. Full-state feedback and Linf sample noise by default.
Language:MATLAB3 1 02
Jarmill/eiv_arx
Data-Driven Control of ARX models as corrupted by Linfinity-bounded Error in Variables
Language:MATLAB2 1 01
Jarmill/lpv_qmi
Data-Driven Control of Linear Parameter Varying (LPV) systems under Process Noise with Quadratic Matrix Inequalities (QMI)
Language:MATLAB2 1 02
Jarmill/crash-safety
Quantify the safety of trajectories by the peak-minimizing optimal control cost needed to crash into the unsafe set
Language:MATLAB1 1 00
Jarmill/data_driven_occ
Methods for data-driven system analysis with occupation measures.
Language:MATLAB1 1 00
Jarmill/distance
Estimate the distance of closest approach to an unsafe set
Language:MATLAB1 3 00
Jarmill/eiv_quad
Error-in-variables control of quadratically-bounded noise processes. Application include data-driven Gaussian superstabilizing control.
Language:Julia1 1 00
Jarmill/error_in_variables
Data-driven stabilization and robust control of linear systems corrupted by error in variables
Language:MATLAB10
Jarmill/inverse_optimal
Find the distance of a test point/trajectory to the set of global optima generated by a basis of cost functions
Language:MATLAB1 1 00
Jarmill/peak
Estimate the peak of a function across all trajectories. Based on occupation measures, results in a hierarchy of SDPs. Assumes dynamics and objective are polynomial, and semialgebriac regions.
Language:MATLAB1 2 10
Jarmill/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
Language:MATLAB1 2 00
Jarmill/prob_unsafe
Bound the probability of ending up in the unsafe set using occupation measures. Applied to stochastic process systems (SDE).
Language:MATLAB1 1 0
Jarmill/timedelay
Analysis and control of time delayed systems with occupation measures.
Language:MATLAB1 1 01
Jarmill/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.
Language:MATLAB0 1 00
Jarmill/gloptipoly3_mod
A fork of gloptipoly3 (https://homepages.laas.fr/henrion/software/gloptipoly/: Didier Henrion, Jean-Bernard Lasserre and Johan Loefberg.)
Language:MATLAB2 0
Jarmill/hybrid_peak_est
Peak estimation of hybrid systems, with support routines.
Language:MATLAB1 0
Jarmill/jarmill.github.io
my website
Language:JavaScript1 0
Jarmill/jarmill_site
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:JavaScript1 0
Jarmill/MANSI
Multiresolution Atomic Norm System Identification
Language:MATLAB2 02
Jarmill/meas_class
Class based implementation for measure (gloptipoly) management
Language:MATLAB2 0
Jarmill/mimoBB
MIMO system identification by active set methods
Language:MATLAB2 0
Jarmill/PkgTemplates.jl
Create new Julia packages, the easy way
Language:Julia1 0
Jarmill/quantized_ddc
Data-Driven Control in which transition observations are inside large intervals/buckets
Language:MATLAB1 0
Jarmill/sedumi
SeDuMi: A linear/quadratic/semidefinite solver for Matlab and Octave
Language:C1 0
Jarmill/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.
Language:MATLAB1 0
Jarmill/SieveSDP
Sieve-SDP: A simple facial reduction algorithm to preprocess semidefinite programs
Language:MATLAB1 0
Jarmill/slice_volume
Find the maximal volume of intersection between an affine plane and a compact basic semialgebraic set
Language:Julia2 0
Jarmill/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.
Language:Julia0 01
Jarmill/STRIDE
Solver for Large-Scale Rank-One Semidefinite Relaxations
Language:MATLAB0 0
Jarmill/TSSOS
A sparse polynomial optimization tool based on (quasi) block Moment-SOS hierarchies.
Language:Julia1 0