strategoutil

Name	strategoutil JSON
Version	0.1.1 JSON
	download
home_page
Summary	Python utility functions library for UPPAAL Stratego
upload_time	2023-06-13 07:36:57
maintainer
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/workflows/build/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": "",
    "name": "strategoutil",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.6",
    "maintainer_email": "",
    "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/b2/a4/68de6312eb6373f92f797b5e2418ba42f17a681d068a97044a8faf51e653/strategoutil-0.1.1.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/workflows/build/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.1",
    "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": "d31395a04a7d032a2b6bab4f9a90b0ef022c7065585e357a5aa93bb7b2eaf097",
                "md5": "5245eaea7e09535ce7b837873b39b3a3",
                "sha256": "3f2b4b2ec142e56f6dbe04ffd79faa4749b7ba8fc9e6ef762fdbf68e1b3f3af1"
            },
            "downloads": -1,
            "filename": "strategoutil-0.1.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "5245eaea7e09535ce7b837873b39b3a3",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.6",
            "size": 9830,
            "upload_time": "2023-06-13T07:36:56",
            "upload_time_iso_8601": "2023-06-13T07:36:56.224165Z",
            "url": "https://files.pythonhosted.org/packages/d3/13/95a04a7d032a2b6bab4f9a90b0ef022c7065585e357a5aa93bb7b2eaf097/strategoutil-0.1.1-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "b2a468de6312eb6373f92f797b5e2418ba42f17a681d068a97044a8faf51e653",
                "md5": "3d92dd3750b619f4e2099cddced8d213",
                "sha256": "e59ba390c70323e418111d517f851207f701e85a8b9da3a4225569a2f62ea2c8"
            },
            "downloads": -1,
            "filename": "strategoutil-0.1.1.tar.gz",
            "has_sig": false,
            "md5_digest": "3d92dd3750b619f4e2099cddced8d213",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.6",
            "size": 11041,
            "upload_time": "2023-06-13T07:36:57",
            "upload_time_iso_8601": "2023-06-13T07:36:57.831465Z",
            "url": "https://files.pythonhosted.org/packages/b2/a4/68de6312eb6373f92f797b5e2418ba42f17a681d068a97044a8faf51e653/strategoutil-0.1.1.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-06-13 07:36:57",
    "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"
}