strategoutil

Name	strategoutil JSON
Version	0.1.4 JSON
	download
home_page	None
Summary	Python utility functions library for UPPAAL Stratego
upload_time	2024-06-18 14:26:36
maintainer	None
docs_url	None
author	Mihhail Samusev, Martijn Goorden
requires_python	>=3.6
license	MIT
keywords	uppaal stratego mpc
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # strategoutil
Collection of utility functions and classes to interface [UPPAAL Stratego](https://uppaal.org/features/#uppaal-stratego) controllers with Python.

## Repo status
[![Project Status: Active – The project has reached a stable, usable state and is being actively developed.](https://www.repostatus.org/badges/latest/active.svg)](https://www.repostatus.org/#active)
[![badge](https://github.com/DEIS-Tools/strategoutil/actions/workflows/build.yml/badge.svg)](https://github.com/DEIS-Tools/strategoutil/actions)
[![Documentation Status](https://readthedocs.org/projects/strategoutil/badge/?version=latest)](https://strategoutil.readthedocs.io/en/latest/?badge=latest)

See which OS and Python versions combinations are supported [here](https://github.com/DEIS-Tools/strategoutil/actions).

## Getting started
 1) Use pip or clone this git repo to install `strategoutil` to your environment

```sh
pip install strategoutil
# OR
git clone https://github.com/DEIS-Tools/strategoutil.git
cd strategoutil
pip install -e .
```

2) Look how `strategoutil` is used with [example projects](https://github.com/mihsamusev/stratego_mpc_example)

3) Look at the [documentation](https://strategoutil.readthedocs.io/en/latest/)
## Functionality
Currently, *strategoutil* contains the tool *STOMPC* that is capable of performing the following
actions:

- Write input variables to Stratego model `*.xml` files
- Parse outputs of `simulate` queries to get timeseries of important variables
- Run `verifyta` with chosen query `*.q` and run parameters
- Create model predictive control (MPC) routines where plant is either defined within the same Stratego model, or plant is defined as external process, simulataor, etc.








            

Raw data

            {
    "_id": null,
    "home_page": null,
    "name": "strategoutil",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.6",
    "maintainer_email": null,
    "keywords": "uppaal, stratego, MPC",
    "author": "Mihhail Samusev, Martijn Goorden",
    "author_email": "msam@build.aau.dk, magoorden@cs.aau.dk",
    "download_url": "https://files.pythonhosted.org/packages/3e/c6/1d9f702548ca037a89f82f7541e53b2cea0e3c9305636d72db8f38596954/strategoutil-0.1.4.tar.gz",
    "platform": null,
    "description": "# strategoutil\nCollection of utility functions and classes to interface [UPPAAL Stratego](https://uppaal.org/features/#uppaal-stratego) controllers with Python.\n\n## Repo status\n[![Project Status: Active \u2013 The project has reached a stable, usable state and is being actively developed.](https://www.repostatus.org/badges/latest/active.svg)](https://www.repostatus.org/#active)\n[![badge](https://github.com/DEIS-Tools/strategoutil/actions/workflows/build.yml/badge.svg)](https://github.com/DEIS-Tools/strategoutil/actions)\n[![Documentation Status](https://readthedocs.org/projects/strategoutil/badge/?version=latest)](https://strategoutil.readthedocs.io/en/latest/?badge=latest)\n\nSee which OS and Python versions combinations are supported [here](https://github.com/DEIS-Tools/strategoutil/actions).\n\n## Getting started\n 1) Use pip or clone this git repo to install `strategoutil` to your environment\n\n```sh\npip install strategoutil\n# OR\ngit clone https://github.com/DEIS-Tools/strategoutil.git\ncd strategoutil\npip install -e .\n```\n\n2) Look how `strategoutil` is used with [example projects](https://github.com/mihsamusev/stratego_mpc_example)\n\n3) Look at the [documentation](https://strategoutil.readthedocs.io/en/latest/)\n## Functionality\nCurrently, *strategoutil* contains the tool *STOMPC* that is capable of performing the following\nactions:\n\n- Write input variables to Stratego model `*.xml` files\n- Parse outputs of `simulate` queries to get timeseries of important variables\n- Run `verifyta` with chosen query `*.q` and run parameters\n- Create model predictive control (MPC) routines where plant is either defined within the same Stratego model, or plant is defined as external process, simulataor, etc.\n\n\n\n\n\n\n\n",
    "bugtrack_url": null,
    "license": "MIT",
    "summary": "Python utility functions library for UPPAAL Stratego",
    "version": "0.1.4",
    "project_urls": {
        "Source": "https://github.com/DEIS-Tools/strategoutil",
        "Tracker": "https://github.com/DEIS-Tools/strategoutil/issues"
    },
    "split_keywords": [
        "uppaal",
        " stratego",
        " mpc"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "8b850a96ab5ab2cd0edcf8a62296a9c4af8be250c1f1e6e141b15124a1e91c72",
                "md5": "676cfcff08bd086209e3b09558b02448",
                "sha256": "0fc738e438d33bb11248117a657cafe0e5a20d4c69a818c4e14659aaa5f401bd"
            },
            "downloads": -1,
            "filename": "strategoutil-0.1.4-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "676cfcff08bd086209e3b09558b02448",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.6",
            "size": 9983,
            "upload_time": "2024-06-18T14:26:33",
            "upload_time_iso_8601": "2024-06-18T14:26:33.120181Z",
            "url": "https://files.pythonhosted.org/packages/8b/85/0a96ab5ab2cd0edcf8a62296a9c4af8be250c1f1e6e141b15124a1e91c72/strategoutil-0.1.4-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "3ec61d9f702548ca037a89f82f7541e53b2cea0e3c9305636d72db8f38596954",
                "md5": "4db565e3f3f2b5fc668fd9e832fad9fe",
                "sha256": "25d5820f3f10012019ed73167c7964da157a45d4245e4dcd51732f25f0881f29"
            },
            "downloads": -1,
            "filename": "strategoutil-0.1.4.tar.gz",
            "has_sig": false,
            "md5_digest": "4db565e3f3f2b5fc668fd9e832fad9fe",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.6",
            "size": 11263,
            "upload_time": "2024-06-18T14:26:36",
            "upload_time_iso_8601": "2024-06-18T14:26:36.418443Z",
            "url": "https://files.pythonhosted.org/packages/3e/c6/1d9f702548ca037a89f82f7541e53b2cea0e3c9305636d72db8f38596954/strategoutil-0.1.4.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-06-18 14:26:36",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "DEIS-Tools",
    "github_project": "strategoutil",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "strategoutil"
}