From 5c1f807f735a61ffb4539ae5771129f0d77f2bc0 Mon Sep 17 00:00:00 2001 From: Sayan Saha Date: Mon, 21 Sep 2015 15:25:55 -0400 Subject: [PATCH 1/3] Update LICENSE --- LICENSE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LICENSE b/LICENSE index d3d279f..9086591 100644 --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2015, sahas3 +Copyright (c) 2015, Sayan Saha All rights reserved. Redistribution and use in source and binary forms, with or without From de8ac2753433b9a0bbe16c1d360c5e17567ce024 Mon Sep 17 00:00:00 2001 From: Sayan Saha Date: Mon, 21 Sep 2015 15:28:20 -0400 Subject: [PATCH 2/3] Update README.md --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b720219..d1acbb0 100644 --- a/README.md +++ b/README.md @@ -13,6 +13,8 @@ We use the Gurobi solver as back-end to solve the optimization problem, though o For the user-interactive example to work without modifications, Gurobi needs to be installed and configured for Matlab. See http://www.gurobi.com. +The user-interactive example also uses a customized ginput.m file by Jiro Doke (http://www.mathworks.com/matlabcentral/fileexchange/38703-custom-ginput/content/ginputc.m) and is included here. + # Example Once everything is installed, you can run the file 'find_OptimalTraj_mpc_m3pi.m' and choose either to run the in-built @@ -20,4 +22,4 @@ example or provide a reach-avoid MTL specification of your choice. # Contact Us -You can contact sahas3@rpi.edu for any queries or to report any bugs in the code. \ No newline at end of file +You can contact sahas3@rpi.edu for any queries or to report any bugs in the code. From cd61716cb3ab365f0c6d6fcd06516cb6792aba0e Mon Sep 17 00:00:00 2001 From: Sayan Saha Date: Wed, 23 Sep 2015 14:48:40 -0400 Subject: [PATCH 3/3] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index d1acbb0..7fdbdac 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ # MILP-MTL An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications +See http://tinyurl.com/sahaResearch#MILP-MTL for details. # Installing Dependencies