kwesirutledge Goto Github PK
Name: Kwesi Rutledge
Type: User
Bio: Robotics Researcher @AD-Research and Full-Stack Developer @The-Velo-Network . Formerly, Robotics Researcher @robustrobotics, @MIT-REALM, and @ozay-group
Location: Boston, MA
Name: Kwesi Rutledge
Type: User
Bio: Robotics Researcher @AD-Research and Full-Stack Developer @The-Velo-Network . Formerly, Robotics Researcher @robustrobotics, @MIT-REALM, and @ozay-group
Location: Boston, MA
This repository is based on the work of `On abstraction-based controller design with output feedback` by Rupak Majumdar, Necmiye Ozay, and Anne-Kathrin Schmuck.
A curated list of awesome Go frameworks, libraries and software
Brom is a helper library for the Drake robotics simulation and verification library.
My experiments with Continuum Robot Kinematics are documented here. Test functions and functions that incorporate various methods for continuum robot kinematics will be contained (hopefully in different folders) in this project.
Testing for the Discrete Knowledge Graphs project.
A planning, control, and analysis toolbox for nonlinear dynamical systems. Please see the WIKI for documentation.
Code for drone control
A template repository for projects that run on our Franka Research 3
A short repository written in the form of MPT3. Meant to make it easier to analyze Polyhedron objects in go.
This is meant to be a library for golang which implements several of the nicer functions from MATLAB for doing Control Theory work including manipulation of Polyhedra (like MPT3).
Generalized Mixed Integer Optimization in Go
This project is meant to implement an optimization toolbox with nice default features like MATLAB's YALMIP. It is a spiritual successor to the goop library from MIT's Distributed Robotics Lab. This version is meant to be written in pure Go and makes use of my own low-level library for interfacing with Gurobi.
unofficial Gurobi inferface for Golang
This repository contains the example files (in Julia) that were used to compare the ability of Diagonally Dominant Sums of Squares (DSOS) polynomials to replace Sums of Squares (SOS) polynomials within a certain problem class: Stability Number Calculation. Mostly written in Julia, this contains multiple notebooks outlining our examples.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
An implementation of the Knowledge Abstraction and Minimization algorithm from Ozay, Majumdar and Schmuck.
Code for controlling a Kinova Gen3 Manipulator via Drake.
A set of experiments used to perform design of control algorithms for the temporal logic KLTL.
This repository is meant to house some of the ideas from the joint project between Prof. Ozay (University of Michigan) and Prof. Jungers (Université catholique de Louvain) about scheduling measurements for a linear system.)
This is meant to document and store my exploration of the 'Principles of Model Checking' text by Baier and Katoen.
An implementation of the algorithms in Baier and Katoen (and maybe more!). Feel free to message me about desired functionality or errors that you might find.
An implementation of some of the algorithms developed in the Principles of Model Checking by Baier and Katoen. This repository is meant to be used as a learning tool and thus may not include the most efficient algorithms.
Toolkit for learning controllers based on robust control Lyapunov barrier functions
Some of the code that I use to explore ideas (Model Checking, Game Theory, etc.) while a member of the Özay Group at the University of Michigan.
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.