Open ttj opened 8 years ago
Also, just a comment, the way this should be handled should allow the user to select whether a network should be composed by Hyst first, or not composed and attempted to translate the network (which down the road we'll improve for more general networks). The current status is the Stateflow converter is always trying to translate networks over as networks, although of course that will not work in general for now.
The most general (and probably smartest) way to do this would be to match the same arguments for passes as the Hyst executable itself (e.g., this would be specified as say -flatten), and the really best way to implement it would be we could probably use the same library for parsing this and reuse all of Hyst's code directly for this. That said, that will require some work, so just having an argument like -flatten that will apply the composition pass first would be worthwhile.
Yes, I will look into the problem and try to resolve it soon.
Hi Luan,
The network changes you made in the converter have introduced some bugs, and additionally, a few of the latest changes in Hyst now cause some errors in some of the models that previously worked.
I have commented out the failing cases in the script file, and put all the failing cases up front:
https://github.com/ttj/hyst/blob/master/src/matlab/paper_script_ifm2016ha2slsf.m
The two main ones to look at are the cruise control, five dim switch, (which are both non-networked and fails now) and the buck_hysteresis_dcm, which is also not networked but is failing. There are a few other failing models now, but partly due to new features (e.g., time triggered transition support specified in the continization examples, etc.). The errors are: