jarmill Goto Github PK
Name: Jared Miller
Type: User
Name: Jared Miller
Type: User
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.
Quantify the safety of trajectories by the peak-minimizing optimal control cost needed to crash into the unsafe set
Methods for data-driven system analysis with occupation measures.
Data-driven stabilization of positive linear systems. Full-state feedback and Linf sample noise by default.
Estimate the distance of closest approach to an unsafe set
Data-Driven Control of ARX models as corrupted by Linfinity-bounded Error in Variables
Error-in-variables control of quadratically-bounded noise processes. Application include data-driven Gaussian superstabilizing control.
Data-driven stabilization and robust control of linear systems corrupted by error in variables
A fork of gloptipoly3 (https://homepages.laas.fr/henrion/software/gloptipoly/: Didier Henrion, Jean-Bernard Lasserre and Johan Loefberg.)
safety analysis for objects in high energy synchrotron beams.
Peak estimation of hybrid systems, with support routines.
Find the distance of a test point/trajectory to the set of global optima generated by a basis of cost functions
my website
A beautiful, simple, clean, and responsive Jekyll theme for academics
Data-Driven Control of Linear Parameter Varying (LPV) systems under Process Noise with Quadratic Matrix Inequalities (QMI)
Multiresolution Atomic Norm System Identification
Class based implementation for measure (gloptipoly) management
MIMO system identification by active set methods
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.
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
Create new Julia packages, the easy way
Bound the probability of ending up in the unsafe set using occupation measures. Applied to stochastic process systems (SDE).
Reinforcement (Q) learning agent that learns to play SwingCopters. Final Project for AI (NU 4100)
Data-Driven Control in which transition observations are inside large intervals/buckets
SeDuMi: A linear/quadratic/semidefinite solver for Matlab and Octave
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.
Sieve-SDP: A simple facial reduction algorithm to preprocess semidefinite programs
Find the maximal volume of intersection between an affine plane and a compact basic semialgebraic set
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.
Solver for Large-Scale Rank-One Semidefinite Relaxations
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.