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
  • #197
Closed
Open
Issue created Oct 01, 2021 by Sander Thuijsman@sthuijsmanReporter

Add option to define event order in databased synthesis

In the following paper it is shown that (next to BDD variable order) the event order in synthesis has an influence on the computational effort: "Computational effort of BDD-based supervisor synthesis of extended finite automata", 2019, Sander Thuijsman, Dennis Hendriks, Rolf Theunissen, Michel Reniers, Ramon Schifflers (link). Currently the user can only set the variable order. The option can be added to also select an event order. The synthesis algorithm then iterates in the event order over all SynthesisEdges labeled by the respective event. The benefit of implementation is allowing easier experimentation on computational effort of databased synthesis.

Assignee
Assign to
Time tracking

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