Eclipse ESCET (Supervisory Control Engineering Toolkit) 0.6

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
  • ESCET toolkit release notes
  • Chi release notes
  • CIF release notes
  • ToolDef release notes
• Eclipse ESCET GitLab v0.6 issues