This release has several major new features, including a DSM clustering tool, CIF benchmarking models, named invariants in CIF, the new DCSH variable ordering algorithm, and additional warnings for data-based synthesis. Most of these relate to (the performance of) supervisor synthesis. Furthermore, various internal changes were performed that prepare for future extensions and improvements.
For more information:
- Eclipse ESCET v0.6-RC1 release notes
- Eclipse ESCET GitLab v0.6 issues