Git Product home page Git Product logo
  • šŸ‘‹ Hi, Iā€™m Haitong Ma @mahaitongdae. DAE represents the old name of my undergraduate department, department of automotive engineering. It is now School of Vehicle and Mobility at Tsinghua University. After graduating from Tsinghua University, I am fortunate to pursue my PhD at Harvard SEAS working with Prof. Na Li.
  • šŸ‘€ Iā€™m interested in the intersection between control, learning and optimization, and broad areas where these techniques could be applied to.
  • šŸ“„ My previous research mostly focus on developing provable learning-based safety guarantees for dynamical systems (by CBF or reachability analysis) using reinforcement learning.
  • šŸŒ± Iā€™m currently learning about the crazyflies, which is an open-sourced quadrotor developed by Bitcraze.
  • šŸ“« Feel free to reach me through issues and email!

Haitong's GitHub stats

Haitong Ma's Projects

aa203-homework icon aa203-homework

Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.

baselines icon baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

carla-ppo icon carla-ppo

This repository hosts a customized PPO based agent for Carla. The goal of this project is to make it easier to interact with and experiment in Carla with reinforcement learning based agents -- this, by wrapping Carla in a gym like environment that can handle custom reward functions, custom debug output, etc.

cbf-sos icon cbf-sos

Synthesis of control barrier functions with SOS

clf-cbf-qp icon clf-cbf-qp

Matlab class/functions to simulate a system implementing a control lyapunov-control barrier function quadratic program controller

cpo-pytorch icon cpo-pytorch

An implementation of Constrained Policy Optimization (Achiam 2017) in PyTorch

cql icon cql

Code for conservative Q-learning

crabs icon crabs

Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations

crazyflie-firmware icon crazyflie-firmware

The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.

dbo icon dbo

Distributed Bayesian Optimization for Multi-Agent Systems

dcrl icon dcrl

Density Constrained Reinforcement Learning

diffusion_policy icon diffusion_policy

[RSS 2023] Diffusion Policy Visuomotor Policy Learning via Action Diffusion

entropy-search icon entropy-search

Entropy Search for Information-Efficient Global Optimization - JMLR v13

feasible-actor-critic icon feasible-actor-critic

Code for paper Feasible Actor-Critic: Constrained Reinforcement Learning for Ensuring Statewise Safety.

focops icon focops

Pytorch Implementation for First Order Constrained Optimization in Policy Space (FOCOPS).

gnn-motion-planning icon gnn-motion-planning

The official repo for NeurIPS 2021 paper 'Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks'

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    šŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. šŸ“ŠšŸ“ˆšŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ā¤ļø Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.