Ioannis Filippidis

@Tkabb did the changes in da600463113d524fadac2825ed33ba72408a3158 lead to a working example within Matlab, or are they a suggested partial solution? (I am not sure how to interpret the commit message.)

@Tkabb thanks for confirming that the simulation works, and clarifying where each change is needed.

The availability of type checks using explicit containers is to some extent justified, because it addresses the issue for generators and deterministic automata, as well as deterministic transducers (with ports...

From the above description, it is evident that `transys` is too complicated for what it needs to do. I should have written it differently. I believe that the situation has...

The interface `tulip.interfaces.ltl2ba` will remain unchanged. The module `tulip.transys.algorithms` contains pieces of old code that are not operational, and await to be erased, except for one: the function `ltl2ba`. This...

Thanks for reporting this behavior. Can you please provide some details about the following: - Does this arise when calling the function [`tulip.interfaces.gr1c.check_realizable`](https://github.com/tulip-control/tulip-control/blob/c72abfe57f5b72a97bd0b0d023d7a7c0f5caffa3/tulip/interfaces/gr1c.py#L424)? I expect that if `gr1c` crashed in...

Also, is the addition of 128 by unix documented somewhere? [From this discussion](http://stackoverflow.com/a/18731911/1959808) it appears to be system-dependent.

For reference, the exit codes of `gr1c` are documented [here](http://slivingston.github.io/gr1c/index.html). I am not the author of `gr1c`, so I cannot comment on this design decision. @slivingston may have comments on...

The module `tulip.transys.algorithms` contains excerpts from older code that were moved there during an overhaul (e.g., 1392b3ed2939ba177eedd055397f819201475ead). They have not been reimplemented, and are not currently under development. Older versions...

[`FAdo`](https://pypi.python.org/pypi/FAdo/1.3.2) is a package that claims to increment Hopcroft's minimization algorithm. This package violates PEP8 and its repository appears to not be where advertised, so I do not recommend using...