├── .gitignore ├── LICENSE ├── README.md ├── constants.py ├── disturb_models.py ├── envs ├── cartpole.py ├── microgrid.py ├── ode_env.py ├── quadrotor_env.py ├── random_hinf_env.py ├── random_nldi_env.py ├── random_pldi_env.py └── rl_wrapper.py ├── main.py ├── plots.py ├── policy_models.py ├── problem_gen ├── cartpole │ ├── A.npy │ ├── B.npy │ ├── C.npy │ ├── D.npy │ ├── G.npy │ └── Numerical Norm Bounds.ipynb └── quadrotor │ ├── A.npy │ ├── C.npy │ ├── G.npy │ ├── Numerical Norm Bounds.ipynb │ └── linearize_dynamics.py ├── rl ├── arguments.py ├── distributions.py ├── model.py ├── ppo.py ├── rarl_ppo.py ├── storage.py ├── trainer.py └── utils.py ├── robust_mpc.py └── sqrtm.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/README.md -------------------------------------------------------------------------------- /constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/constants.py -------------------------------------------------------------------------------- /disturb_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/disturb_models.py -------------------------------------------------------------------------------- /envs/cartpole.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/cartpole.py -------------------------------------------------------------------------------- /envs/microgrid.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/microgrid.py -------------------------------------------------------------------------------- /envs/ode_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/ode_env.py -------------------------------------------------------------------------------- /envs/quadrotor_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/quadrotor_env.py -------------------------------------------------------------------------------- /envs/random_hinf_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/random_hinf_env.py -------------------------------------------------------------------------------- /envs/random_nldi_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/random_nldi_env.py -------------------------------------------------------------------------------- /envs/random_pldi_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/random_pldi_env.py -------------------------------------------------------------------------------- /envs/rl_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/envs/rl_wrapper.py -------------------------------------------------------------------------------- /main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/main.py -------------------------------------------------------------------------------- /plots.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/plots.py -------------------------------------------------------------------------------- /policy_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/policy_models.py -------------------------------------------------------------------------------- /problem_gen/cartpole/A.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/A.npy -------------------------------------------------------------------------------- /problem_gen/cartpole/B.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/B.npy -------------------------------------------------------------------------------- /problem_gen/cartpole/C.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/C.npy -------------------------------------------------------------------------------- /problem_gen/cartpole/D.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/D.npy -------------------------------------------------------------------------------- /problem_gen/cartpole/G.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/G.npy -------------------------------------------------------------------------------- /problem_gen/cartpole/Numerical Norm Bounds.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/cartpole/Numerical Norm Bounds.ipynb -------------------------------------------------------------------------------- /problem_gen/quadrotor/A.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/quadrotor/A.npy -------------------------------------------------------------------------------- /problem_gen/quadrotor/C.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/quadrotor/C.npy -------------------------------------------------------------------------------- /problem_gen/quadrotor/G.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/quadrotor/G.npy -------------------------------------------------------------------------------- /problem_gen/quadrotor/Numerical Norm Bounds.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/quadrotor/Numerical Norm Bounds.ipynb -------------------------------------------------------------------------------- /problem_gen/quadrotor/linearize_dynamics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/problem_gen/quadrotor/linearize_dynamics.py -------------------------------------------------------------------------------- /rl/arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/arguments.py -------------------------------------------------------------------------------- /rl/distributions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/distributions.py -------------------------------------------------------------------------------- /rl/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/model.py -------------------------------------------------------------------------------- /rl/ppo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/ppo.py -------------------------------------------------------------------------------- /rl/rarl_ppo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/rarl_ppo.py -------------------------------------------------------------------------------- /rl/storage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/storage.py -------------------------------------------------------------------------------- /rl/trainer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/trainer.py -------------------------------------------------------------------------------- /rl/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/rl/utils.py -------------------------------------------------------------------------------- /robust_mpc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/robust_mpc.py -------------------------------------------------------------------------------- /sqrtm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/locuslab/robust-nn-control/HEAD/sqrtm.py --------------------------------------------------------------------------------