Ioannis Filippidis

Thanks, yes existing code will be useful to try and integrate. Above I was thinking of continuous simulation more in the case of system controlled discrete states and for uncontrolled...

Considering the extensive inconsistency and confusion in the literature on the terms transition system, automaton and machine, it is suggested that [`transys`](https://github.com/tulip-control/tulip-control/blob/efd3ad0c0a9f398c73f1e8416d0714ef4d76953c/tulip/transys/transys.py), [`automata`](https://github.com/tulip-control/tulip-control/blob/efd3ad0c0a9f398c73f1e8416d0714ef4d76953c/tulip/transys/automata.py), and [`machines`](https://github.com/tulip-control/tulip-control/blob/efd3ad0c0a9f398c73f1e8416d0714ef4d76953c/tulip/transys/machines.py) be renamed to `generators`, `acceptors`,...

No, I do not intend to rename to `generators` and `acceptors` any more, because by now I consider these as automata (with different path quantification, existential for generators, and universal...

Thank you for reporting this error. The class `InfiniteSequence` currently used in the module `examples/developer/transys/transys_detailed_examples.py` was defined at `tulip.transys.executions.InfiniteSequence`. The module `tulip.transys.executions` was removed in commit 3a244a430ec99c980533dc84a4b0e9012af19e96. The definition of...

I now removed the function `sims_demo`. Functionality for simulating state machines can currently be found in the module [`tulip.transys.machines`](https://github.com/tulip-control/tulip-control/blob/main/tulip/transys/machines.py). For example, the functions `guided_run` and `random_run` (also, direct simulation using...

492467b0ca1517bd466a12daf7f9e9737b56cd8b introduces support for parallel partitioning for switched systems using `multiprocessing`.

There remains to implement merging in logarithmic time in the number of partitions using a binary tree of computations, instead of a linear one, as is currently the case (when...

The patch [above](https://github.com/tulip-control/tulip-control/issues/138#issuecomment-163139511) has been included in https://github.com/tulip-control/tulip-control/commit/4d1cac37fc39846e9d7986536e6a496c7dbc37f4#diff-db73a44c4631fa5fc7c04bff0f7d729aR251.

Thanks for the changes. A quick comment: 8183c390168b40619db9564d9911e8427bc5cc48 appears to be copying some changes that have been merged to branch `master`, and the PR changes are in the following commits...

@Tkabb you need to either generate an [SSH key](https://help.github.com/articles/connecting-to-github-with-ssh/) in order to use `git@...`, or replace that address with the HTTPS address of `tulip`'s repository to define the remote. For...