Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #196
Closed
Open
Issue created Oct 01, 2021 by Sander Thuijsman@sthuijsmanReporter6 of 6 checklist items completed6/6 checklist items

Add DCSH variable ordering algorithm to data-based synthesis tool

An improved variable order heuristic for databased supervisor synthesis is suggested in the following paper: "DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis", 2020, Sam Lousberg, Sander Thuijsman, and Michel Reniers. (link) In summary, four variable orders are computed by applying weighted Cuthill McKee and Sloan algorithms (and reversing both). One order of these can be selected using the Weighted Event Span. This order can be used as an initial guess to apply the (already implemented in CIF) FORCE and sliding window algorithm. The benefit is that this is likely a good initial guess and can greatly induce the required synthesis memory/time usage on average. It also makes the effort of databased synthesis (much) less influenced by the initially provided variable order.

Contribution plan:

  • Improve CIF data-based variable ordering API. (#371 (closed) / !324 (merged))
  • Add graphs as representation to VarOrdererHelper. (!332 (merged))
  • Add node ordering algorithms, including dependencies (pseudo-peripheral node finder algorithms, rooted level structure computation). (!333 (merged))
  • Add DCSH algorithm. (!334 (merged))
  • Add WES metric and adopt it for DCSH algorithm. (!337 (merged))
  • CIF data-based synthesis integration test extensions. (!340 (merged))
Edited Jun 30, 2022 by Dennis Hendriks
Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent