yotakayama

yotakayama's Stars

• kyegomez/BitNet

  Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch

  Language:Python1.5k3936142

• UW-ACL/SCPToolbox.jl

  Sequential Convex Programming Toolbox for nonconvex trajectory optimization.

  Language:Julia24711954

• OpenMDAO/Aviary

  NASA's aircraft analysis, design, and optimization tool

  Language:Python129922553

• arbabiha/KoopmanMPC_for_flowcontrol

  A data-driven framework for control of nonlinear flows with Koopman Model Predictive Control

  Language:MATLAB1118146

• tim283/smpc_example

  Short example of MPC and specifically stochastic MPC (SMPC) with chance constraints for Matlab.

  Language:MATLAB481216

• ZiweiXU/LENSR

  Language:Jupyter Notebook394310

• BluSTL/BluSTL

  BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.

  Language:Matlab263011

• DrewSingletary/segway_sim

  ROS-based C++ segway simulation environment. Includes branches for MPC and control barrier functions. New version of cyberpod_sim_ros.

  Language:C++25318

• ShaoruChen/Polytopic-SLSMPC

  Implement SLS MPC for linear systems subject to polytopic model uncertainty and additive disturbances.

  Language:MATLAB25107

• hanyoseob/matlab-koopman

  Koopman operator

  Language:MATLAB22219

• clear-nus/gpt-pddl

  Language:PDDL18221

• anqif/chancecons

  Chance constraints in CVXPY

  Language:Python16102

• ShaoruChen/Lumped-Uncertainty-SLS-MPC

  Robust model predictive control of uncertain linear dynamical systems subject to polytopic model uncertainty and additive disturbances.

  Language:MATLAB15205

• tungminhphan/traffic-intersection

  This is an example of the design-by-contract method

  Language:Python14306

• yotakayama/STLCCP

  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications

  Language:Python13111

• Xinyi-Yu/MPC4STL-TID

  Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition

  Language:Python11202

• ShaoruChen/NN-System-PSF

  Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.

  Language:Python10101

• StanfordASL/chreach

  Convex hulls of reachable sets

  Language:Python880

• urosolia/MultiRate

  Language:MATLAB8203

• ZikangXiong/STL-Mobile-Robot

  Turn STL formulas into maps and planed paths, control robots with DRL controllers.

  Language:Python5101

• rtechair/ZonalControlSimulator

  Language:MATLAB4341

• tungminhphan/reactive_contracts

  An implementation of a reactive GR(1) contract

  Language:Python4100

• chenyx09/Backup-CBF-Code

  Some unorganized code for the paper "Backup Control Barrier Functions: Formulation and Comparative Study"

  Language:MATLAB3100

• ianno/pyco

  This library provides tools to perform synthesis of Linear Temporal Logic (LTL)-based Assume/Guarantee (A/G)contracts. Given a contract describing the system specification, PyCo is able to choose other contracts from a library, and connect them together such that their composition is a refinement of the specification.

  Language:Python3100

• ShaoruChen/DeepSplit

  Solving the linear programming-based neural network verification problem through Alternating Direction Method of Multipliers (ADMM).

  Language:Python3201

• chenyx09/Automated_crossroad

  Language:Python2201

• chenyx09/LCADMM

  Language:Python1101

• ericskim/cdc17dynamiccontracts

  Scripts for CDC17 paper on dynamic contracts. Mirror of the code originally hosted on http://blogs.bu.edu/sadra/research/dynamic-contracts/

  Language:Python1100

• ericskim/hscc18_modular

  Language:C++1200

• GTLIDAR/ChanceConstrainedRobustCITO

  Language:Python1201