Scott C. Livingston
Scott C. Livingston
closes #33 The changes here are under the contrib/ directory, so committing directly to `master` branch may have been welcome. Nonetheless I opened this pull request to create a place...
Last witnessed under the [directory old/contrib/tulip_ros/](https://github.com/tulip-control/tulip-control/tree/e8c783977de8546ebb3ce5cc96e9d9cb0b7bc35f/old/contrib/tulip_ros) in commit e8c783977de8546ebb3ce5cc96e9d9cb0b7bc35f
[Colaboratory](https://colab.research.google.com/notebooks/welcome.ipynb) is able to perform a full installation of TuLiP including optional dependencies such as GLPK. This task is to create Jupyter notebooks corresponding to the [examples](https://github.com/tulip-control/tulip-control/tree/afa152d8fa044b797f9681c7fd976a3814a59b75/examples). Then, in the...
- [ ] evaluate current status of installing and using TuLiP on Windows - [ ] decide which versions of Windows should be supported - [ ] write special instructions...
As of commit 98bd53af718c2899418a89bc715fc5d40a0a500e (`master` branch), several of the examples are based on a task of repeatedly visiting "home" cell and, when requested, eventually reaching a (parking) "lot" in a...
(Copied from https://sourceforge.net/p/tulip-control/feature-requests/12/ with creation date 2012-05-30 by @murrayrm but assigned to no one.) It would be useful to be able to call PRISM for logic/MDP synthesis from within TuLiP.
http://wiki.ros.org/smach Design considerations, including my recommendations: - Should the generated code depend on the `tulip` package? No, unless some crucial or sophisticated part of TuLiP is used in the output...
(Copied from https://sourceforge.net/p/tulip-control/feature-requests/15/ with creation date 2012-05-31, by @murrayrm but assigned to no one.) Take Jun's work in switching control systems and integrate. The interesting part is converting TuLiP to...
The branch [aug_sys](https://github.com/tulip-control/tulip-control/tree/aug_sys) has not changed since 2015-01-28. This issue is intended to track review and handling of this branch. The nominal goal is to decide what to save from...
Propose algorithms that should be available in or for use with TuLiP. Tasks: * [ ] create list of abstraction algorithms * [ ] for each, decide whether to independently...