search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Feature sim hybridization #8

Closed stanleybak closed 8 years ago

stanleybak commented 8 years ago

Added the hybridize file.

stanleybak commented 8 years ago

This is the same as the previous pull request, added the mixed triggered file now too (I had renamed it to mixedtriggere from timetriggered, but git doesn't track renames like that.

If you approve, I'll do the merge.

In terms of consistent naming for passes, I completely agree. I think this would be a big advantage for using a command line parser library, where we could do something like -pass hybridized-mixedtriggered -pass blahblah (or something similar).

ttj commented 8 years ago

Great, thanks!

Yes, hopefully the arg4j thing will work.

Also, I'd like to try to merge Luan's fork soonish before things get too outdated. I'll try to get him to finish pulling in the order reduction pass soon ( http://verivital.com/hyst/pass-order-reduction/ ).

There were a couple generic functions I'd like to refactor later as a part of this: we needed matrices (to use some matlab functions), so he wrote some basic method to convert an expression to a matrix. It doesn't look perfect, but I guess it works so far.

The refactoring I'd like to do is to use objects for the matrices (instead of strings), then his function (which creates in matlab syntax) would be printer agnostic.

This is related to the (very long ago) feature request to classify dynamics.

Anyway, not exactly the place for that, but wanted to mention before we get too far off in terms of different forks.

This fork also has some of the stateflow changes, maybe we can coordinate with Christian to get all of that working properly.