Skip to content
View kwesiRutledge's full-sized avatar

Sponsoring

@jinzhu

Highlights

  • Pro

Block or report kwesiRutledge

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Abstraction-Based-Controller-Design Abstraction-Based-Controller-Design Public

    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.

    MATLAB

  2. kinova_drake kinova_drake Public

    Forked from vincekurtz/kinova_drake

    Code for controlling a Kinova Gen3 Manipulator via Drake.

    Python 1

  3. ModelChecking ModelChecking Public

    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.

    Go 2

  4. systemRepository systemRepository Public

    This repository is meant to contain some definitions of systems in the MATLAB environment. I hope to use it to easily create examples for future research papers/fun experiments.

    MATLAB

  5. MatProGo-dev/MatProInterface.go MatProGo-dev/MatProInterface.go Public

    A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).

    Go

  6. MatProGo-dev/SymbolicMath.go MatProGo-dev/SymbolicMath.go Public

    A symbolic math module for the Go (Golang) Programming Language.

    Go 5