Ioannis Filippidis

setuptools installs release candidates, unlike pip

2

The recommended way to fetch and compile CUDD and its Cython bindings is `python setup.py install --fetch --cudd`. This uses `setuptools` for installing dependencies, so it allows release candidates, as...

improve labeled graph terminology and documentation

3

This issue is intended as a place to collect notable references on labeled graphs and fix a consistent terminology on automata, (state) transition systems and (state) machines. This post will...

multiple CUDD builds on Travis CI

6

Both `gr1c` and `dd.cudd` (for testing the option of using `omega` with `cudd`) build CUDD on Travis CI, which is suboptimal. For now, we can let this be so, but...

deprecate "states" based API of `transys`

4

The new API of `networkx` is simpler and Python 3 friendly. After #183, the time has come to replace the module `tulip.transys.labeled_graphs` and delete most of `transys`. ### Preview -...

`epydoc` does not support Python 3

2

The API documentation uses `epydoc`: https://github.com/tulip-control/tulip-control/blob/f704eaec18335a9bdbb4ad279c854756a10090e6/doc/Makefile#L12 but `epydoc` is written in Python 2: ```python >>> from epydoc.cli import cli Traceback (most recent call last): ... File ".../.virtualenvs/dev/lib/python3.6/site-packages/epydoc/cli.py", line 428 print...

prefer functions as strategies, instead of transducers with internal state

24

Functions are what is synthesized. Functions are simple. Functions are flat, because no state is nested inside them. Functions are explicit, because all state is outside, visible to the user,...

enumerate initial states correctly for all types of initial conditions

3

The Mealy machine returned from synthesis appears to be constructed in a way that does not handle all cases of initial conditions correctly. How quantification of initial conditions is communicated...

simulate discrete-time switched systems

3

Depends on #60. Requires some decisions related to: - If the states are controlled by the system, then: - If the modes are controlled by the system, then no user...

Integrate with event-triggered semantics (events are arrivals at new cells): - RHC (not RHTLP simulation, which seems to be the topic of #41), i.e., individual transitions using `get_input`(to be renamed)...

distinguishing families of tests

1

The test families `base` and `hybrid` were introduced (86892f30f3b38731b97e537d45531cd3d91fefa6) at a time when `polytope` required `cvxopt`, so tests depending on `polytope` were not included in the family `hybrid`: https://github.com/tulip-control/tulip-control/blob/86892f30f3b38731b97e537d45531cd3d91fefa6/run_tests.py#L26-L30 because...