scipplan 0.2.0a2__py2.py3-none-any.whl → 0.2.2a0__py2.py3-none-any.whl

scipplan/parse_model.py

@@ -10,13 +10,68 @@ from math import exp, log, sqrt, sin, cos, isclose
 
 from pyscipopt.scip import Model, SumExpr
 
-def switch_comparator(comparator):
-    if isinstance(comparator, ast.Eq): return ast.NotEq()
-    if isinstance(comparator, ast.NotEq): return ast.Eq()
-    if isinstance(comparator, ast.Lt): return ast.Gt()
-    if isinstance(comparator, ast.LtE): return ast.GtE()
-    if isinstance(comparator, ast.Gt): return ast.Lt()
-    if isinstance(comparator, ast.GtE): return ast.LtE()
+
+def linearise(expr: ast.Compare, aux_var: Variable) -> tuple[ast.Compare, ast.Compare]:
+    """linearise
+    This function linearises an inequality using an auxilary variable
+    
+    The linearisation process is as follows.
+    If the expression is of the form of E1 <= E2, then we linearise by using the following expressions.
+    z=0 ==> E1 <= E2 and z=1 ==> E1 > E2 (equivalent to E1 >= E2 + feastol). This is then equivalent to,
+    E2 + feastol - M + z*M <= E1 <= E2 + zM.
+    
+    Similarly, for E1 < E2 we have z=0 ==> E1 < E2 which is equivalent to E1 <= E2 - feastol + z*M 
+    and z=1 ==> E1 >= E2.
+    Thus for E1 < E2 we have,
+    E2 + z*M - M <= E1 <= E2 + z*M - feastol.
+    
+    If, however, the inequality is of the form of E1 >= E2 then we evaluate the expression, E2 <= E1.
+    Similarly, if the expression is E1 > E2 then we evaluate the expression E2 < E1.
+    
+    :param expr: An inequality expression which is linearised.
+    :type expr: ast.Compare
+    :param aux_var: An auxiliary variable used when linearising the inequality to determine if the expression is true or false.
+    :type aux_var: Variable
+    :raises ValueError: If expr is not a valid inequality (i.e. doesn't use <, <=, > and >=)
+    :return: both the linearised inequalities
+    :rtype: tuple[ast.Compare, ast.Compare]
+    """
+    if not isinstance(expr.ops[0], (ast.Lt, ast.LtE, ast.Gt, ast.GtE)):
+        raise ValueError("Only <, <=, > or >= are allowed")
+    if isinstance(expr.ops[0], ast.GtE):
+        expr.left, expr.comparators[0] = expr.comparators[0], expr.left
+        expr.ops[0] = ast.LtE()
+    if isinstance(expr.ops[0], ast.Gt):
+        expr.left, expr.comparators[0] = expr.comparators[0], expr.left
+        expr.ops[0] = ast.Lt()
+    
+    if isinstance(expr.ops[0], ast.LtE):
+        lhs = ast.BinOp(
+            left=expr.comparators[0], 
+            op=ast.Add(), 
+            right=ast.parse(f"feastol - bigM + {aux_var.name} * bigM").body[0].value
+        )
+        rhs = ast.BinOp(
+            left=expr.comparators[0], 
+            op=ast.Add(), 
+            right=ast.parse(f"{aux_var.name} * bigM").body[0].value
+        )
+    if isinstance(expr.ops[0], ast.Lt):
+        lhs = ast.BinOp(
+            left=expr.comparators[0], 
+            op=ast.Add(), 
+            right=ast.parse(f"{aux_var.name} * bigM - bigM").body[0].value
+        )
+        rhs = ast.BinOp(
+            left=expr.comparators[0], 
+            op=ast.Add(), 
+            right=ast.parse(f"{aux_var.name} * bigM - feastol").body[0].value
+        )
+    expr1 = ast.Compare(lhs, [ast.LtE()], [expr.left])
+    expr2 = ast.Compare(expr.left, [ast.LtE()], [rhs])
+    return expr1, expr2
+    
+
 
 @dataclass
 class Expressions:
@@ -37,8 +92,8 @@ class Expressions:
 
 class ParserType(Enum):
     """ParserType
-    "enum type CALCULATOR: Used to calculate using feastol
-    "enum type PARSER: Used to parse an expression and create the correct minlp constraints
+    enum type CALCULATOR: Used to calculate using feastol
+    enum type PARSER: Used to parse an expression and create the correct minlp constraints
     """
     CALCULATOR = "calculator"
     PARSER = "parser"
@@ -149,25 +204,15 @@ class ParseModel:
                             else:
                                 aux_var: Variable = self.expressions.aux_vars[idx]
                     
-                            aux_vars.append(aux_var)
+                            if self.params.add_aux_vars is True:
+                                aux_vars.append(aux_var)
                             self.variables[aux_var.name] = aux_var.model_var
                             
-                            expr.left = ast.BinOp(
-                                left=expr.left, 
-                                op=(ast.Add() if isinstance(expr.ops[0], (ast.Gt, ast.GtE)) else ast.Sub()), 
-                                right=ast.parse(f"bigM * {aux_var.name}").body[0].value
-                            )
-                            self.expressions.add_expressions(self.evaluate(expr))
-                            
-                            expr.ops[0] = switch_comparator(expr.ops[0])
+                            expr1, expr2 = linearise(expr, aux_var)
                             
-                            expr.comparators[0] = ast.BinOp(
-                                left=expr.comparators[0], 
-                                op=(ast.Add() if isinstance(expr.ops[0], (ast.Gt, ast.GtE)) else ast.Sub()), 
-                                right=ast.parse(f"feastol - bigM").body[0].value
-                            )
-                            
-                            self.expressions.add_expressions(self.evaluate(expr))
+                            self.expressions.add_expressions(self.evaluate(expr1))
+                            self.expressions.add_expressions(self.evaluate(expr2))
+
                         else:
                             raise Exception("or expressions may only be made up of inequalities")
                     lhs = SumExpr()
@@ -236,4 +281,4 @@ if __name__ == "__main__":
 #     print(calc(
 # """
 # a + b + c >= 5 or a - b - c == 10
-# """))
+# """))

scipplan/plan_model.py

@@ -116,12 +116,17 @@ class PlanModel:
             
             self.var_names.add(name)
             
-            for t in range(self.config.horizon):
-                variables[(name, t)] = Variable.create_var(self.model, name, vtype, t, self.constants)
-                var_type = variables[(name, t)].var_type
-            if var_type is VarType.STATE:
-                variables[(name, self.config.horizon)] = Variable.create_var(self.model, name, vtype, self.config.horizon, self.constants)
-                    
+            if vtype.startswith("global"):
+                var = Variable.create_var(self.model, name, vtype, "global", self.constants)
+                for t in range(self.config.horizon + 1):
+                    variables[(name, t)] = var
+            else:
+                for t in range(self.config.horizon):
+                    variables[(name, t)] = Variable.create_var(self.model, name, vtype, t, self.constants)
+                    var_type = variables[(name, t)].var_type
+                if var_type is VarType.STATE:
+                    variables[(name, self.config.horizon)] = Variable.create_var(self.model, name, vtype, self.config.horizon, self.constants)
+
         return variables
                 
          
@@ -160,8 +165,6 @@ class PlanModel:
         for cons_idx, (translation, constraints) in enumerate(translations.items()):
             for idx, constraint in enumerate(constraints):
                 if (self.config.provide_sols is False) and (translation == "temporal_constraints"):
-                    # for func_name, func in self.ode_functions.items():
-                    #     constraint = constraint.replace(func_name, func)
                     pattern = r"|".join(f"({func_name})" for func_name, func in self.ode_functions.items())
                     constraint = re.sub(pattern, lambda x: self.ode_functions[x.group(0)], constraint)
                     constraints[idx] = constraint
@@ -297,7 +300,7 @@ class PlanModel:
 
         dt = Symbol(dt_var)
         # Used to represent constant variables
-        temp_var = Symbol("TEMP_VAR")
+        temp_var = Symbol("ODES_TEMP_VAR")
 
         variables = {}
         states = []

scipplan/scipplan.py

@@ -68,7 +68,8 @@ class SCIPPlan:
                 "zero_crossing_coefficient": zero_cross.coef,
                 "new_dt_val": zero_cross.new_dt_val,
                 "horizon": zero_cross.horizon,
-                "iteration": zero_cross.iteration
+                "iteration": zero_cross.iteration,
+                "constraint_idx": zero_cross.constraint_idx
             })
             
             if self.config.show_output is True:
@@ -80,19 +81,19 @@ class SCIPPlan:
             
             self.scip_model.freeTransform()
             
-            for idx, constraint in enumerate(self.plan.translations["temporal_constraints"]):
-                t = zero_cross.horizon
-                # aux_vars = self.plan.aux_vars["temporal_constraints"][idx][t]
-                aux_vars = const_gen_aux_vars[idx][t]
-                # Only add aux vars if there are no aux vars added for the secific constraint
-                params = self.plan.get_parser_params(horizon=t, add_aux_vars=aux_vars is None)
-                params.variables[self.config.dt_var] *= zero_cross.coef
-                exprs = PM(params).evaluate(constraint, aux_vars=aux_vars)
-                if const_gen_aux_vars[idx][t] is None:
-                    const_gen_aux_vars[idx][t] = exprs.aux_vars
-                    
-                for eqtn_idx, eqtn in enumerate(exprs):
-                    self.plan.model.addCons(eqtn, f"{constraint}_{idx}_{eqtn_idx}")
+            t = zero_cross.horizon
+            idx = zero_cross.constraint_idx
+            constraint = self.plan.translations["temporal_constraints"][idx]
+            aux_vars = self.plan.aux_vars["temporal_constraints"][idx][t]
+            # Only add aux vars if there are no aux vars added for the specific constraint
+            params = self.plan.get_parser_params(horizon=t, add_aux_vars=aux_vars is None)
+            params.variables[self.config.dt_var] *= zero_cross.coef
+            exprs = PM(params).evaluate(constraint, aux_vars=aux_vars)
+            if const_gen_aux_vars[idx][t] is None:
+                const_gen_aux_vars[idx][t] = exprs.aux_vars
+             
+            for eqtn_idx, eqtn in enumerate(exprs):
+                self.plan.model.addCons(eqtn, f"{constraint}_{idx}_{eqtn_idx}")
             
             iteration += 1
 
@@ -104,7 +105,7 @@ class SCIPPlan:
         for h in range(self.config.horizon):
             dt = self.scip_model.getVal(self.plan.variables[(self.config.dt_var, h)].model_var)
             
-            for constraint in self.plan.translations["temporal_constraints"]:
+            for idx, constraint in enumerate(self.plan.translations["temporal_constraints"]):
                 is_violated = False
                 
                 for time in iterate(0, dt, self.config.epsilon):
@@ -129,6 +130,7 @@ class SCIPPlan:
                         start=cross_interval[0],
                         end=cross_interval[1],
                         dt_interval=dt,
+                        constraint_idx = idx,
                     )
         
         return ZeroCrossing(is_violated=False)
@@ -213,4 +215,4 @@ def main():
     print(f"Total time: {solve_time:.3f}")
 
 if __name__ == "__main__":
-    main()
+    main()

scipplan/zero_crossing.py

@@ -11,6 +11,7 @@ class ZeroCrossing:
     dt_interval: float = None
     coef: float = field(init=False, default=None)
     new_dt_val: float = field(init=False, default=None)
+    constraint_idx: int = None
     
     def __post_init__(self):
         if self.is_violated is True:
@@ -25,4 +26,4 @@ class ZeroCrossing:
                     """))
             avg_interval = (self.start + self.end) / 2.0
             self.coef = avg_interval / self.dt_interval
-            self.new_dt_val = self.coef * self.dt_interval
+            self.new_dt_val = self.coef * self.dt_interval

{scipplan-0.2.0a2.dist-info → scipplan-0.2.2a0.dist-info}/LICENSE

@@ -1,4 +1,4 @@
-Copyright (c) 2024 Ari Gestetner
+Copyright (c) 2025 Buser Say
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

scipplan-0.2.2a0.dist-info/METADATA

@@ -0,0 +1,105 @@
+Metadata-Version: 2.1
+Name: scipplan
+Version: 0.2.2a0
+Summary: Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation in Python.
+Author: Ari Gestetner, Buser Say
+Author-email: ari.gestetner@monash.edu, buser.say@monash.edu
+License: MIT License
+Keywords: scip,automated planner
+Classifier: Development Status :: 3 - Alpha
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Natural Language :: English
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: PySCIPOpt==5.2.1
+Requires-Dist: sympy==1.13.3
+
+# SCIPPlan
+
+SCIPPlan [1,2,3] is a SCIP-based [4] hybrid planner for domains with i) mixed (i.e., real and/or discrete valued) state and action spaces, ii) nonlinear state transitions (which can be specified as ODEs or directly as solution equations) that are functions of time, and iii) general reward functions. SCIPPlan iteratively i) finds violated constraints (i.e., zero-crossings) by simulating the state transitions, and ii) adds the violated (symbolic) constraints back to its underlying optimisation model, until a valid plan is found.
+
+## Example Domain: Navigation
+
+<img src=./visualisation/scipplan_navigation_1.gif width="32%" height="32%"> <img src=./visualisation/scipplan_navigation_2.gif width="32%" height="32%"> <img src=./visualisation/scipplan_navigation_3.gif width="32%" height="32%">
+
+
+Figure 1: Visualisation of different plans generated by SCIPPlan [1,2,3] for example navigation domains where the red square represents the agent, the blue shapes represent the obstacles, the gold star represents the goal location and the delta represents time. The agent can control its acceleration and the duration of its control input to modify its speed and location in order to navigate in a two-dimensional maze. The purpose of the domain is to find a path for the agent with minimum makespan such that the agent reaches its the goal without colliding with the obstacles. 
+
+Note that SCIPPlan does not linearise or discretise the domain to find a valid plan.
+
+## Dependencies
+
+i) Solver: SCIP (the current implementation uses the python interface to the SCIP solver, i.e., PySCIPOpt [5]). This version of SCIPPlan has only been tested on PySCIOpt>=4.0.0 using earlier an version of pyscipopt may result in unintended behaviour. 
+
+ii) Symbolic Mathematics: SymPy [6].
+
+## Installing and Running SCIPPlan
+In order to Install SCIPPlan you need to ensure you have a working version of the SCIP optimisation suite on your system which can be installed from [the SCIP website](https://www.scipopt.org). For more information about SCIP and PySCIPOpt refer to this [installation guide](https://github.com/scipopt/PySCIPOpt/blob/master/INSTALL.md).
+
+After installing SCIP you will be able to install SCIPPlan using
+```bash
+pip install scipplan
+```
+Now you will be able to run some of the example domains which include 
+- Navigation (3 instances)
+
+To run one of these examples all you need to do is run
+```bash
+scipplan -D navigation -I 1
+```
+which will run the 1st instance of the navigation domain using the ODEs as the transition function with the help of SymPy [6]. Similarly, the command
+```bash
+scipplan -D navigation -I 1 --provide-sols
+```
+will run the the 1st instance of the navigation domain using the solution equations as the transition function. For more information regarding the available tags and what they mean run `scipplan --help`.
+
+Alternatively you can import scipplan classes to run it using python.
+```py
+from scipplan.scipplan import SCIPPlan
+from scipplan.config import Config
+from scipplan.helpers import write_to_csv
+```
+this will import the only two classes and function needed to run SCIPPlan. Then to set the configuration either create an instance of the Config class by setting the params or by retrieving the cli input
+```py
+# Set params
+config = Config(domain="navigation", instance=1)
+# Retrieve cli args
+config = Config.get_config()
+```
+after which you are able to solve problem by either using the solve or optimize methods
+```py
+# The optimize method just optimises the problem for the given horizon
+plan = SCIPPlan(config)
+plan.optimize()
+# Class method which takes input the config, solves the problem 
+# with auto incrementing the horizon until a solution is found then 
+# returns the plan as well as the time taken to solve the problem
+plan, solve_time = SCIPPlan.solve(config)  
+```
+In order to save the generated constraints for the horizon solved as well as the results, use the following code
+```py
+write_to_csv("new_constraints", plan.new_constraints, config)
+write_to_csv("results", plan.results_table, config)
+```
+
+## Citation
+
+If you are using SCIPPlan, please cite the papers [1,2,3] and the underlying SCIP solver [4].
+
+## References
+[1] Buser Say and Scott Sanner. [Metric Nonlinear Hybrid Planning with Constraint Generation](http://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop06/docs/proceedings.pdf#page=23). In PlanSOpt, pages 19-25, 2018.
+
+[2] Buser Say and Scott Sanner. [Metric Hybrid Factored Planning in Nonlinear Domains with Constraint Generation](https://link.springer.com/chapter/10.1007/978-3-030-19212-9_33). In CPAIOR, pages 502-518, 2019.
+
+[3] Buser Say. [Robust Metric Hybrid Planning in Stochastic Nonlinear Domains Using Mathematical Optimization](https://ojs.aaai.org/index.php/ICAPS/article/view/27216). In ICAPS, pages 375-383, 2023.
+
+[4] [SCIP](https://www.scipopt.org/)
+
+[5] [PySCIPOpt](https://github.com/SCIP-Interfaces/PySCIPOpt)
+
+[6] [SymPy](https://www.sympy.org/en/index.html)

scipplan-0.2.2a0.dist-info/RECORD

@@ -0,0 +1,28 @@
+build/lib/scipplan/__init__.py,sha256=6tjLoCc3ID0D6ilf2H0cTgot-fHu_HzeXfo5MAyfYLc,196
+build/lib/scipplan/config.py,sha256=Ojs_pdjhwRuANPJcGyb3m5mMGqbTZkHuNvppd_Wd4FQ,5615
+build/lib/scipplan/helpers.py,sha256=YmS0HPQymsO5_e3jK7WQ-hBRZnxoZtewLhuzubw5sR4,975
+build/lib/scipplan/parse_model.py,sha256=yGYGY0ZfBC8OPfX3i2kbyDKrsJ94duDm_RlxlbzNaZ4,11206
+build/lib/scipplan/plan_model.py,sha256=Pz2RaYFcx1ZV6BQmr-ikUKAiQ8LqNhA0DPhdT8Ls6u8,14373
+build/lib/scipplan/scipplan.py,sha256=aO4r0vaNWHgnZq1Pf9Y86t33OYBQD4O9pRAOZNR2ods,8724
+build/lib/scipplan/variables.py,sha256=3sxY3zQuxsa5z2fTFjv4zOSb9GarzojZ4W4kIx9FX68,2561
+build/lib/scipplan/zero_crossing.py,sha256=0auSm3-3993tyFVtq4gGeF4wScbkyGxfNw6pG2dsAvs,1075
+scipplan/__init__.py,sha256=6tjLoCc3ID0D6ilf2H0cTgot-fHu_HzeXfo5MAyfYLc,196
+scipplan/config.py,sha256=Ojs_pdjhwRuANPJcGyb3m5mMGqbTZkHuNvppd_Wd4FQ,5615
+scipplan/helpers.py,sha256=YmS0HPQymsO5_e3jK7WQ-hBRZnxoZtewLhuzubw5sR4,975
+scipplan/parse_model.py,sha256=yGYGY0ZfBC8OPfX3i2kbyDKrsJ94duDm_RlxlbzNaZ4,11206
+scipplan/plan_model.py,sha256=Pz2RaYFcx1ZV6BQmr-ikUKAiQ8LqNhA0DPhdT8Ls6u8,14373
+scipplan/scipplan.py,sha256=aO4r0vaNWHgnZq1Pf9Y86t33OYBQD4O9pRAOZNR2ods,8724
+scipplan/variables.py,sha256=3sxY3zQuxsa5z2fTFjv4zOSb9GarzojZ4W4kIx9FX68,2561
+scipplan/zero_crossing.py,sha256=0auSm3-3993tyFVtq4gGeF4wScbkyGxfNw6pG2dsAvs,1075
+scipplan/translation/odes_navigation_1.txt,sha256=Uv13eTSTvURb6TtY7rq-otlpJMS8cQDYSyaO3X2_SRs,1015
+scipplan/translation/odes_navigation_2.txt,sha256=DcbpXv-q0NP8Tx10YKqD6425esblgPNlTxchkyWMJAc,1192
+scipplan/translation/odes_navigation_3.txt,sha256=ZFTyFEiL1KP0yxOCOzOSoXz9dXulRmtXDBnfZqaVbaE,1370
+scipplan/translation/solutions_navigation_1.txt,sha256=5iLPRtJXqfAXi0QG-3WPtKn8t0pH4-E2AtNp8-7k1CQ,1542
+scipplan/translation/solutions_navigation_2.txt,sha256=b1c74m54iRCcZoe8uqquUQyn6HtRTiFqIA8ss2mZUdg,1895
+scipplan/translation/solutions_navigation_3.txt,sha256=Jv3bzMt84LVyR1DSVJ5B8Ky9id_khZ1PxZ1s3QPKpk8,2249
+scipplan-0.2.2a0.dist-info/LICENSE,sha256=KLZVolgtGLnK2b-INKXXO7wOneDlgmIUP6WC4R5wRC4,1053
+scipplan-0.2.2a0.dist-info/METADATA,sha256=-UKhTY5lscjt3a_VpgcSOM2cx89cZTMO-Ys_K6L6QgU,5818
+scipplan-0.2.2a0.dist-info/WHEEL,sha256=Kh9pAotZVRFj97E15yTA4iADqXdQfIVTHcNaZTjxeGM,110
+scipplan-0.2.2a0.dist-info/entry_points.txt,sha256=3qiNbbp6qIwivyPmmikyp7ByCfmsa9rGFNJPcN9Is8I,52
+scipplan-0.2.2a0.dist-info/top_level.txt,sha256=zE5zfBzLJlVjWUD5VuiQ5YPY7HtvU7uuw9hHKX9XaMo,41
+scipplan-0.2.2a0.dist-info/RECORD,,

{scipplan-0.2.0a2.dist-info → scipplan-0.2.2a0.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: bdist_wheel (0.42.0)
+Generator: bdist_wheel (0.45.1)
 Root-Is-Purelib: true
 Tag: py2-none-any
 Tag: py3-none-any

scipplan-0.2.2a0.dist-info/top_level.txt

@@ -0,0 +1,5 @@
+build
+dist
+output
+scipplan
+visualisation

scipplan/translation/constants_navigation_1.txt

@@ -1,2 +0,0 @@
-Epsilon = config_epsilon
-bigM = config_bigM

scipplan/translation/constants_navigation_2.txt

@@ -1,2 +0,0 @@
-bigM = config_bigM
-Epsilon = config_epsilon

scipplan/translation/constants_navigation_3.txt

@@ -1 +0,0 @@
-Epsilon = config_epsilon

scipplan/translation/goals_navigation_1.txt

@@ -1,2 +0,0 @@
-Location_x == 8.0
-Location_y == 8.0

scipplan/translation/goals_navigation_2.txt

@@ -1,2 +0,0 @@
-Location_x == 8.0
-Location_y == 8.0

scipplan/translation/goals_navigation_3.txt

@@ -1,2 +0,0 @@
-Location_x == 8.0
-Location_y == 8.0

scipplan/translation/initials_navigation_1.txt

@@ -1,4 +0,0 @@
-Location_x == 0.0
-Location_y == 0.0
-Speed_x == 0.0
-Speed_y == 0.0

scipplan/translation/initials_navigation_2.txt

@@ -1,4 +0,0 @@
-Location_x == 0.0
-Location_y == 0.0
-Speed_x == 0.0
-Speed_y == 0.0

scipplan/translation/initials_navigation_3.txt

@@ -1,4 +0,0 @@
-Location_x == 0.0
-Location_y == 0.0
-Speed_x == 0.0
-Speed_y == 0.0

scipplan/translation/instantaneous_constraints_navigation_1.txt

@@ -1,9 +0,0 @@
-Location_x <= 10.0
-Location_y <= 10.0
-Location_x >= 0.0
-Location_y >= 0.0
-Accelerate_x <= 0.5
-Accelerate_y <= 0.5
-Accelerate_x >= -0.5
-Accelerate_y >= -0.5
-(Location_x <= 4.0) or (Location_x >= 6.0) or (Location_y <= 4.0) or (Location_y >= 6.0)

scipplan/translation/instantaneous_constraints_navigation_2.txt

@@ -1,10 +0,0 @@
-Location_x <= 10.0
-Location_y <= 10.0
-Location_x >= 0.0
-Location_y >= 0.0
-Accelerate_x <= 0.5
-Accelerate_y <= 0.5
-Accelerate_x >= -0.5
-Accelerate_y >= -0.5
-(Location_x <= 2.0) or (Location_x >= 4.0) or (Location_y <= 1.0) or (Location_y >= 5.0)
-(Location_x <= 5.0) or (Location_x >= 7.0) or (Location_y <= 5.0) or (Location_y >= 9.0)

scipplan/translation/instantaneous_constraints_navigation_3.txt

@@ -1,11 +0,0 @@
-Location_x <= 10.0
-Location_y <= 10.0
-Location_x >= 0.0
-Location_y >= 0.0
-Accelerate_x <= 0.5
-Accelerate_y <= 0.5
-Accelerate_x >= -0.5
-Accelerate_y >= -0.5
-(Location_x <= 2.0) or (Location_x >= 4.0) or (Location_y <= 1.0) or (Location_y >= 9.0)
-(Location_x <= 4.0) or (Location_x >= 7.0) or (Location_y <= 7.0) or (Location_y >= 9.0)
-(Location_x <= 4.0) or (Location_x >= 9.0) or (Location_y <= 2.0) or (Location_y >= 6.0)

scipplan/translation/pvariables_navigation_1.txt

@@ -1,8 +0,0 @@
-action_continuous: Accelerate_x
-action_continuous: Accelerate_y
-action_continuous: Dt
-action_boolean: Mode
-state_continuous: Location_x
-state_continuous: Location_y
-state_continuous: Speed_x
-state_continuous: Speed_y

scipplan/translation/pvariables_navigation_2.txt

@@ -1,8 +0,0 @@
-action_continuous: Accelerate_x
-action_continuous: Accelerate_y
-action_continuous: Dt
-state_continuous: Location_x
-state_continuous: Location_y
-state_continuous: Speed_x
-state_continuous: Speed_y
-action_boolean: Mode

scipplan/translation/pvariables_navigation_3.txt

@@ -1,8 +0,0 @@
-action_continuous: Accelerate_x
-action_continuous: Accelerate_y
-action_boolean: Mode
-action_continuous: Dt
-state_continuous: Location_x
-state_continuous: Location_y
-state_continuous: Speed_x
-state_continuous: Speed_y

scipplan/translation/reward_navigation_1.txt

@@ -1 +0,0 @@
--1.0*(Dt + Mode * Epsilon)

scipplan/translation/reward_navigation_2.txt

@@ -1 +0,0 @@
--1.0*(Dt + Epsilon * Mode)

scipplan/translation/reward_navigation_3.txt

@@ -1 +0,0 @@
--1.0*(Dt+Epsilon*Mode)

scipplan/translation/temporal_constraints_navigation_1.txt

@@ -1,6 +0,0 @@
-Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
-Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
-Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
-Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
-
-(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 4.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 6.0)

scipplan/translation/temporal_constraints_navigation_2.txt

@@ -1,6 +0,0 @@
-Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
-Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 10.0
-Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
-Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 0.0
-(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 2.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 4.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 1.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 5.0)
-(Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 5.0) or (Location_x + Speed_x*(Dt + Epsilon*Mode) + 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 7.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) <= 5.0) or (Location_y + Speed_y*(Dt + Epsilon*Mode) + 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) >= 9.0)

scipplan/translation/temporal_constraints_navigation_3.txt

@@ -1,7 +0,0 @@
-Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 10.0
-Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 10.0
-Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 0.0
-Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 0.0
-(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 2.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 4.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 1.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0)
-(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 7.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 7.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0)
-(Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 4.0) or (Location_x + Speed_x*(Dt+Epsilon*Mode) + 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 9.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) <= 2.0) or (Location_y + Speed_y*(Dt+Epsilon*Mode) + 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) >= 6.0)

scipplan/translation/transitions_navigation_1.txt

@@ -1,4 +0,0 @@
-Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt + Epsilon*Mode) - 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
-Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt + Epsilon*Mode) - 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
-Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt + Epsilon*Mode) == 0.0
-Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt + Epsilon*Mode) == 0.0

scipplan/translation/transitions_navigation_2.txt

@@ -1,4 +0,0 @@
-Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt + Epsilon*Mode) - 0.5*Accelerate_x*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
-Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt + Epsilon*Mode) - 0.5*Accelerate_y*(Dt + Epsilon*Mode)*(Dt + Epsilon*Mode) == 0.0
-Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt + Epsilon*Mode) == 0.0
-Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt + Epsilon*Mode) == 0.0

scipplan/translation/transitions_navigation_3.txt

@@ -1,4 +0,0 @@
-Location_x_dash - 1.0*Location_x - 1.0*Speed_x*(Dt+Epsilon*Mode) - 0.5*Accelerate_x*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) == 0.0
-Location_y_dash - 1.0*Location_y - 1.0*Speed_y*(Dt+Epsilon*Mode) - 0.5*Accelerate_y*(Dt+Epsilon*Mode)*(Dt+Epsilon*Mode) == 0.0
-Speed_x_dash - 1.0*Speed_x - 1.0*Accelerate_x*(Dt+Epsilon*Mode) == 0.0
-Speed_y_dash - 1.0*Speed_y - 1.0*Accelerate_y*(Dt+Epsilon*Mode) == 0.0